上に「分配則を成り立たせるための定義だ」ってやつがいたけど、そもそも

・Gが加法についてアーベル群
・乗法に関して任意のGの元 a, b, c が結合法則を満足する。
・Gが乗法単位元1を持つ
・（-1）・（-1）=1

上記から右分配則、左分配則が導けるのか？積と和を結びつける式がないから無理だと思うんだが。