似たようなタイトルの２２５の方に書いたら、なんか場違いだったようなんで。
群でx^2y^2=z^2が成り立つならxy=yxが成り立つっていうのはなぜ？