>>655
群の形式的定義なら線形代数の学習が終わった時点で知っている人が多いと思うが。