某所で話題になっていた件についての備忘録です。 命題 空でない集合Gに結合法則を満たす二項演算Bが与えられている（以下、B(x,y)をxyと略記）とき、以下の２条件 （１）Gの任意の元 x について、写像 Lx:G → G, Lx(y)=xy は全単射 （２）Gの任意の元 x に…