確率に自信ニキ来て

[0007 １３２人目の素数さん 2021/03/12(金) 14:56:48.35 ID:Id6rPvzO]

Prop:
G: 群
H⊂Gとする。

HがGの部分群であるためには、

a, b∈H ⇒ ab^(-1)∈H

となることが必要十分。