ここは「提唱者」様に一つ質問への御回答をいただきましょう。
前スレでは明快な答えは得られないようでしたのでよろしく。
可換群Aがあります。記法を＋とし、任意の元aに対しその逆元を-aで表すことにします。
集合Aにもう一つの演算＊を定義しようと思っていますが、
任意の元a,bに対し(-a)*(-b)=abとなっていて欲しいのです。
もし、それがみたされているなら、演算＋と＊の間にはどんな関係があるといえるか
明らかにしていただけないでしょうか。
提唱者様に相応しく、できるだけ一般に答えてください。
或いは研究の道筋だけでも結構でございますよ。