emanではすごくふわふわして説明になってますが、普通群論における二項演算は
A×A→A
なので、前スレの二項演算の定義と一致しませんね