コメント:ここで与えた証明は本質的にはこの本の証明と同じである。ついての仮定を使っていることを明示してみた。最後の2文を加えて、条件(2)との関係を明示した。部分群であることを述べた。関する証明の変更は、一つ前の項目の付記に鑑みれば、不要。$d>0$」は(位数と言った時点で)自動的に成り立っているので、書く必要はない。(改めて書かれてしまうと、何か含意があるのではないかと考えてしまう。$\ldots$である。例2.5.10の交代群。命題2.5.13の(1)$\Rightarrow$(2)の証明。使われているので、そのあとのタイミングで引用されると違和感あり。