単項イデアル整域Rにおいて、とある元aを素元分解すると、
a=xyzと分解できた。
このときxとyは互いに素であるから、これらで生成される2つのイデアルRxとRyは互いに素である。
つまり、Rx+Ry=Rが成り立っている。
という文章についてなんですが、xとyが互いに素である というのはどういうことなんでしょうか。
文脈から判断するに、互いに異なる(単元倍をのぞく)素元であるという意味だと思うのですか、
違いますか。
また、なぜxとyが互いに素であるならばRx+Ry=Rが成り立つ
(つまり、それらで生成される単項イデアルは互いに素である)
のでしょうか。
ヒントでもいいので、誰かご教示お願いします。
No.5ベストアンサー
- 回答日時:
何かイロイロ混乱しているようだけれど、
R の異なる素元 x,y は互いに素であることを示せ
という質問ですよね?
文脈上出てきた素元分解 xyz は、質問の事項には
直接関係していません。
R が PID であることを利用してもいいけれど、
素元分解環であることすら仮定する必要はなくて、
一般の整域 R において、直接に証明が可能です。
(素元分解でない環にも、素元は存在します。)
方針としては、素元は必ず既約元であること[1]を示し、
異なる既約元は互いに素であること[2]を示せばよいです。
素元の定義: 環 R の元 x が素元である ⇔
R の元 b,c に対し、x が bc を割り切るならば、
x は b または c を割り切る。
かつ、x は R の単元および零元ではない。
既約元の定義: 環 R の元 x が既約元である ⇔
R の元 b,c が x = bc を満たすならば、
b または c は R の単元である。
かつ、x は R の単元および零元ではない。
互いに素の定義: 環 R の元 x,y が互いに素 ⇔
x,y の公約数は R の単元である。
[1] x が R の素元だとします。
x = bc であれば、x は bc を割り切ることになるので、
素元であることから、x は b または c を割り切ります。
b を割り切る場合を考えましょう。
b = xu となる u が存在することになるので、これを
x = bc へ代入すると、x(1 - uc) = 0 と変形できます。
R が整域であることから x = 0 または uc = 1 ですが、
素元は 0 ではないので、uc = 1。よって、c は単元です。
x が c を割り切る場合には、同様にして、b が単元です。
以上、x は R の既約元であることが示されました。
これは、R が整域であれば、常に成り立ちます。
[2] x,y が R の異なる既約元だとします。
既約元の定義により、x を割り切る数は、
単元または x 自身です。y についても同様です。
x,y がそれぞれ既約元であり、かつ x ≠ y であれば、
x,y の公約数は単元しかありません。
よって、x,y は互いに素と判ります。
No.4
- 回答日時:
「x,yが互いに素」の意味は、普通の整数の場合と同じです。
「xとyが(単数以外の)共通の約数を持たない」ということ。(単数は可逆元なのであらゆる数を割り切ります。整数環における±1のような数ですので、(単数以外の)という断りが必要です)
たとえば、14と15はいずれも素数ではありませんが、互いに素です。
そしてn, m が整数全体をわたるとき、14n+15mはあらゆる整数の値をとります。つまり、14Z +15Z = Z
(ここで、Zは整数全体のなす環のことを表すものとします)
一方、21と15は公約数3を持つので互いに素ではありません。
そのためn, m が整数全体をわたるとき、21n+15mはあらゆる3の倍数の値をとりますが、3の倍数以外の値をとることはありません。
つまり、21Z +15Z = 3Z
単項イデアル整域とは、あらゆるイデアルが単項である、つまりただ一つの元で生成される、ということでした。(整数の全体のなす環 Zは単項イデアル整域の基本的な例になっています)
よってRが単項イデアル整域のときは、 Rx +Ry という二項で生成されているイデアルも、実はある元zがあって Rx +Ry =Rzというふうに一つの元で生成されてしまうわけです。いま x, y∈Rx +Ry =Rz であることからx=r z, y=r' z と書けます。つまりzはx, yの公約数なので、もしx, yが互いに素ならばzは単数でなければいけません。単数zについてはRz =R が成立するので、Rx +Ry =Rとなるわけです。
No.3
- 回答日時:
まさにNo.2さんのいうとおりで
「互いに素」だからにつきる
RがPIDで,Rx+Ryがイデアルなんだから
Rx=Ry=Raとできる
ここで,aが単元でなければ,aは素元分解できるわけで
xとyが互いに素であることに反するということでしょう.
#もちろん
#aがゼロでないのはいうまでもなく・・・
No.2
- 回答日時:
別段、イデアルだからどうのこうのいう問題でもなく、
「互いに素」は互いに素ですよ?
共通の約数を持たない(1以外の)ってことだよ・・・。
難しく考えすぎだと思うんだけど。
>互いに異なる(単元倍をのぞく)素元であるという意味だと思うのですか、・・・
うんと、これでいいよ。
厳密に言うとちょっと違うのかもしれないけれどね。
素元かどうかは不明だけど、共通の素元は持たないってこと。
(=^. .^=) m(_ _)m (=^. .^=)
No.1
- 回答日時:
Rxはイデアル
Ryもイデアル
Rx+Ryもイデアル
Rは単項イデアル整域だから,ある要素aがあって
Rx+Ry=Ra
したがって
RxとRyはRaの部分集合
ということは,xとyはRaの要素,つまりx=ka,y=laと表せる
xとyは互いに素なんだから
これはaが単元であることを意味する
つまりRa=R
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 2次以上の多項式g(x)であって, 任意の無理数に対して無理数の値を取るものは存在しないことを示せ. 8 2022/06/27 11:28
- 数学 環論の素元について 6 2022/05/09 04:04
- 数学 分からない課題で困っています。 どなたか、教えてください。 変数多項式環R[x]からRに対して φ: 2 2022/07/06 11:28
- 大学・短大 C言語線形リストの問題です 3 2022/12/22 00:45
- 哲学 日本語の文法を考える 3 2022/06/23 10:05
- 化学 三次構造を形成する力は親水的相互作用、静電的相互作用、水素結合、分子間力などですか。お教えください。 2 2023/02/06 09:56
- 物理学 素粒子物理学の自己相互作用(self-interactions)というのは何ですか?単なる相互作用な 1 2023/08/14 22:12
- 数学 確率、排反と独立の問題について 2 2022/04/19 11:39
- 数学 環上の加群について 2 2022/07/15 20:42
- 数学 中一数学の【最大公約数と最小公倍数】の問題です。 1問だけでも教えていただけると嬉しいです。 (1) 4 2022/08/01 10:19
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
lim n→0 =n=0となりますが lim ...
-
無限から無限を引いたら何にな...
-
e<3の証明を教えてください。
-
ノートンのウイルス定義のバー...
-
eの0乗は1ってどういう原理です...
-
1未満と1以下の違い
-
数学の両辺2乗と√について教え...
-
「互いに素」の定義…「1と2は互...
-
ACCESS VBAでインポート定義の場所
-
合成関数の定義域と値域の所が...
-
ヘシアンが0の場合どうやって極...
-
複雑な家庭とは
-
「基準」や「定義」が分からな...
-
変数の宣言の名称を教えてくだ...
-
空集合は開集合であることの証...
-
1wordとは、何文字ですか?
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
1未満と1以下の違い
-
無限から無限を引いたら何にな...
-
理論物理学でよく用いられる地...
-
(-1) ^2πってなんで1じゃないん...
-
ACCESS VBAでインポート定義の場所
-
変数の宣言の名称を教えてくだ...
-
「互いに素」の定義…「1と2は互...
-
日本語 ことば ひとまわり ふた...
-
ACCESS IIF関数 複数条件の設...
-
質問の定義が分からないので確...
-
なぜ、直角三角形ではないのにs...
-
min関数 一橋大学過去問
-
質問の定義が分からないので確...
-
ヘシアンが0の場合どうやって極...
-
excel vba 名前付きセルが存在...
-
数字の1とは何なのか?
-
マイナス7は素数ですか?
-
「logx^2=2logx」が間違って...
おすすめ情報