質問: 群になることの証明なんですが・・・ 集合g={(a,b)|a,b∈r,a≠0}に結合*を (a,b)*(a′,b′)=(aa′,a′b+b′)で定め、 gはこの結合で群になることを示し単位元、(a,b)の逆元を求める問題なんですが、まず群の公理(結合法則、単位元の存在、逆元の存在)を満たすことで証明しようとしたのですが結合法則の証明でつまづいてしまいました!結合法則はx(yz)=(xy)zをこの問題の演算であてはめようとしたのですが計算がよくわかりませんでした。計算手順についてアドバイス頂けないでしょうか?・・・
回答: 計算してみたけど、まー、「そうなる」としか...。 計算結果をそのまま書けばいいんでしょうけど、それもつまらないので。 最初の式が >(a,b)*(a′,b′)=(aa′,a′b+b′) と表現されているのがわかりにくい原因ではないかという気がします。 >(q, r)*(s, t) = (qs, sr+t) とおいてもう一度計算してみたらどうでしょう。