group axioms

群の公理は弱めることが出来ます。具体的には「単位元の存在」「逆元の存在」をそれぞれ「左単位元の存在」「左逆元の存在」か「右単位元の存在」「右逆元の存在」にすることが出来ます。 これについて少し詳しく書いてみました。