>>345
> ＞位数４の元のある無しで、すぐにその同型がないことくらいわかるじゃろｗｗ
それは、次のNGな主張のこと。（Z_4には位数4の元があり、Z_2×Z_2にはないから）
Z_4 = Z_2×Z_2 が NG