>>855
そもそもa,bってどういう集合の元よ？
見た感じでは環を1つ固定してその上で新しい演算を定義しているようだが。