近世代数--有限交换群--存在子群的阶是群阶的因子
博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。
我整理成一个系列:近世代数,方便检索。
设 G G G为有限交换群, ∣ G ∣ = n , ∀ m ∣ n , ∃ H ≤ G , |G|=n,\forall m\mid n,{\exists}H\le G, ∣G∣=n,∀m∣n,∃H≤G,使得 ∣ H ∣ = m |H|=m ∣H∣=m
证明:数学归纳法
(1) 当 m = 1 m=1 m=1时, H = { e } ≤ G , ∣ H ∣ = ∣ { e } ∣ = 1 H=\{e\}\le G,|H|=|\{e\}|=1 H={
e}≤G,∣H∣=∣{
e}∣=1
(2) 假设在小于 m m m时结论成立;
(3)