>>545

そう云う時は

Ｚ（Ｇ/Ｚ_1）＞≠｛１｝

とだけ書く。

単位元でない物を探せないのか？
考察するべき群の「元」の意味、実体が分かっているのか？