【演習問題7:群論``単位元'' (TPTP/GRP003-1)】
「左単位元はまた右単位元でもある」という問題
ただし、
※ 結合則は、MG節でどう表現されるか?