◆ わからない問題はここに書いてね １３９ ◆

位数8の非可換群をGをする。
Gが位数4の元aを持つとする。N=<a>とおくと、b∈Gかつb^2∈NかつbはNに含まれない元bが存在して
G=<a,b>となるのは何故でしょうか。