- ベストアンサー
可逆元同士の積は可逆元である証明
R_Earlの回答
- R_Earl
- ベストアンサー率55% (473/849)
xyの逆元はなんでしょうか？ まずはそこから考えてみましょう （ただし(xy)^(-1)というのは無し）。 後はその逆元がZmに含まれる理由を 書けば良いと思います。
関連するQ&A
- 積におけるべき乗について詳しく質問します
http://ja.wikipedia.org/wiki/%E5%86%AA%E4%B9%97 によれば、xとyが積*について可換ならば、有理数rについて (x*y)r=(x^r)*(y^r)が成り立つらしいです。 そこで、 xとyが積*についてx*y=-y*xであるとき、 (x*y)^2=(x^2)*(y^2) が成り立つことを示したいのですが、 (x*y)^2=(x*y)(x*y)=-x*x*y*y=-(x^2)*(y^2) となってうまくいきません。 (x*y)^2=(-y*x)^2=(y*x)^2となり、( )^2 の中ではxとyの積は可換なので (x*y)^2=(x^2)*(y^2) が成り立つだろうと思っていたのですが… ちなみに、xとyが積*についてx*y=-y*xであるとき、 (xy)^4=(xy)(xy)(xy)(xy)=-xxyyxyxy =xxyxyyxy=-xxxyyyxy=xxxyyxyy=-xxxyxyyy =xxxxyyyy=(x^4)(y^4) は成り立つのですが… すると、{(xy)^4)}^(1/2)={(x^4)(y^4)}^(1/2) ∴ (xy)^2=(x^2)(y^2) となります。 xとyが積*についてx*y=-y*xであるとき、 (x*y)^2=(x^2)*(y^2) が成り立つということが間違っているのか、 それとも、証明の途中計算が間違っているのかどっちなのか 教えてください。
- ベストアンサー
- 数学・算数
- 証明問題における変数の定義域について
「x+y>0かつxy>0のとき、y>0であることを示せ。」 この問題なのですが、xとyの定義域が示されていません。 高校数学では、特に定義域が示されていないときは複素数の範囲で考えると教わったので、以下のように答えました。 「この命題の対偶、すなわち『y<=0またはyは虚数 ならば (x+y<=0またはx+yは虚数)または(xy<=0またはxyは虚数)を示す。』 x=1+i, y=1-iのときx+y=2, xy=2であり、対偶は偽であるから、元の命題も偽である。」 と答えたのですが、なんだか腑に落ちません。 複素数の範囲で「y>0」の否定は「y<=0またはyは虚数」ですよね？ 回答よろしくお願いします。
- 締切済み
- 数学・算数
- １次式の積に分解してkを求める
x^2-2y^2+xy+kx+2y+4がx,yについての2つの1次式の積に分解されるとき、kの値を求めよ。 この問題が解けません。 xについて x^2+(y+k)x-(2y^2-2y-4) =x^2+(y+k)x-(y-2)(2y+2) と整理してみたのですが、この先がわかりません。 (そもそもこんなやり方であっているのでしょうか・・・？) アドバイス等よろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
ありがとうございました。考えたらわかりました。