定義 正則表現 既約表現 同値な表現 可約と既約 可約と完全可約 基本的な定理 定義 群とは次を満たす集合 $G$ である. 積について閉じている: $\forall a,b\in G,$ $c=ab\in G$ . 積が結合則を満たす: $a,b,c\in G,$ $a(bc)=(ab)c$ . 単位元が存在する: $e\in G$ s.t. $(\forall a\in G,\ ae=ea=a)$ . 逆元が存在する: $\forall a\in G,$ $\exists a^{-1}\in G$ s.t. $aa^{-1}=a^{-1}a=e$ . これに加えて交換則 $\forall …