>>665
> 右単位元はあるが左単位元はない非可換半群なら
その非可換半群というのは正式名称ですか？
単位元があるので言うならむしろ非可換モノイドっぽいですが

>>677
> (1')のみ成立するものを聞きたいのか(1')と(2')を満たすものを聞きたいのかどっちなんだ
(1')と(2')を満たすものです。
> それとも結合則も駄目？
結合則はOKです。

そもそもが、非可換群と可換群の区別をするがそれ以前の単位元と逆元の公理がすでに
当然のように可換的であるのが不思議になったのが疑問の発端でした