0225１３２人目の素数さん
2016/09/12(月) 09:44:21.00ID:UyMF3QTYhttp://i.imgur.com/lQ0PpaA.jpg
有限アーベル群の基本定理の一意性において、G*が文で示されたものと同型になるのは何故なんでしょうか？
また、Gはp群としているのだと思いますが、そのときG*もp群になるはずなのですが、不変量の組のpに突然添え字が付いているのは誤植でしょうか？（p_1=p_2=...=p_t=pなのではないのでしょうか？）
さらにもう一つ、その下の同型も何故成り立つのか分かりません
多く質問して申し訳ありませんが、どれか一つでも教えていただけるとうれしいです
