確率に自信ニキ来て

[0006 １３２人目の素数さん 2021/03/12(金) 14:55:45.87 ID:Id6rPvzO]

Def:
G: 群
H⊂Gが、Gの"部分群"であるとは、Gの演算によりH自身が群になること、つまり

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

となることである。(1), (2)から、e∈H。