No.1ベストアンサー
- 回答日時:
ごめんなさいでした。
いやー、鉛筆も持たずに回答かいちゃいけないでした。はい。stomachmanうんうんうなってまじめに考え直しました。結論から言いますと、
「i,-1,あるいは-i倍されている、というのを気にしない、という約束する。だから、(2+5i)(2-5i), (5+2i)(5-2i) ,(-2-5i)(-2+5i), (-5-2i)(-5+2i) は全部同じ分解であるとみなす。そういう約束のもとで分解は1通りである。」
ということでした。
えーなにそれ。と仰らずに、以下の議論におつきあい願います。
数学では、素因数分解の一意性は次の定理で示されています。
定理
「単項イデアル整域において、零元でも正則元でもない元の素元分解は、一意的に可能。ただし同伴のものは同一視する。」
分かんない言葉がいっぱい出てきますが、ひとつづつ解釈しましょう。
●「素元分解」てのは素因数分解の一般名称です。
●「単項イデアル整域」:ここでは (a+bi) (a,b は整数)というものの集合Sについて、その元を素元分解する話をしています。その特別の例が(4n+1)+0iです。こういう(a+bi)全体がなす集合は「単項イデアル整域」ちゅうものになります。説明すると長くなるので、まあ「単項イデアル整域」とはこの集合Sのことだと思ってください。 S = { a+bi | a∈Zかつb∈Z}ただしZは整数。
●「零元」とは0のことです。これは簡単。
●「正則元」というのは逆数が集合Sのうちに存在するもの。(つまりある元uが正則元であるというのは、u(a+bi)=1 になるような(a+bi)が存在するということ。普通の整数のばあいなら、1と-1です。)
Sにおいては、具体的には正則元は1,-1,i,-1だけです。以上、零元と正則元(0,1,-1,i,-1)は素因数分解の対象にしない。
●「同伴」というのは二つの数p,qの間の関係です。pがqで割り切れてしかもqがpで割り切れるときには、pとqは同伴。こういうものは同一視しなくちゃいけない。具体的には、ある数(a+bi)に正則元をかけ算すると同伴の数を作ることができる。(だから、普通の整数の場合は aと-aが同伴の関係にあります。)
(5+2i)×i = (-2+5i),
(5+2i)×(-1)= (-5-2i),
(5+2i)×(-i)= (2-5i)
ですから、これらは全部同一視する。
というわけで、
「(a+bi),(-a-bi),(b-ai),(-b+ai)の4通りは同じ物とみなして区別は付けない」という約束のもとで、「素元分解は、一意的に可能」ということなんでした。
ちなみに、普通の整数の場合には「aと-aの2通りは同じ物と見なして区別をつけない」という約束のもとで、「素元分解(素因数分解)は、一意的に可能」ということなんでした。
ありがとうございました。15分くらい、じーっと眺めて、どうやら納得がいきました。整数の範囲で「1」を掛けるのと「-1」を掛けるのを同一視する、というのを、複素数まで拡大する場合には「i」と「-i」まで広げる、という感じですね。
せっかく知り合った「一意性くん」と別れなきゃいけないかと思ってましたので、ほっとしました。本当にありがとうございました。
No.2
- 回答日時:
タイプミスしちゃいました。
> 具体的には正則元は1,-1,i,-1だけです。以上、零元と正則元(0,1,-1,i,-1)は...
というのは「 1,-1,i,-i だけ」「(0,1,-1,i,-i)」の打ちそこないです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 x^p-1=(x-1)(x-ζ)(x-ζ^2)・・・(x-ζ^p-1)と複素数の中で因数分解できる理 1 2022/11/23 14:59
- 数学 【 数A 自然数の積と素因数の個数 】 2 2023/03/02 23:58
- 数学 中一数学の【最大公約数と最小公倍数】の問題です。 1問だけでも教えていただけると嬉しいです。 (1) 4 2022/08/01 10:19
- 数学 素因数分解は素数になったら辞めるはずなのに、 画像のようにルート24の素因数分解が2の2乗×6と、 5 2023/06/13 22:57
- 数学 nは正の整数であり、偶数。 n(n+1)(n+2)(n+3)は素因数が3つ。 nを求めよ。 という問 8 2022/09/26 18:15
- 数学 「素数」とは、「1と、それ自身でしか割り切れない数」。 「素因数分解」も「素数」の仲間ですか? 3 2022/04/14 22:45
- 数学 素数とか素因数分解、自然数を詳しくお願いします。 自然数ってお風呂って聞いたんですけど、どういうこと 7 2022/04/15 20:36
- 数学 2次以上の多項式g(x)であって, 任意の無理数に対して無理数の値を取るものは存在しないことを示せ. 8 2022/06/27 11:28
- 数学 方程式 √x=-1 の解 2 2022/07/08 17:26
- 数学 数3 複素数 z^3+3z^2+3z-7=0 を解けという問題なのですが、 (z+1)^3=8と変形 3 2023/01/17 15:13
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
数字は存在するのか
-
要素と、部分集合の違いを教え...
-
∈ と ⊂ のはっきりとした違い
-
1から100までの自然数で、3,4,5...
-
部分が全体に等しいのが無限で...
-
二階述語論理と高階述語論理に...
-
数学で、数字の上にある横線の意味
-
6以下の自然数全体の集合の要素...
-
整数における乗法の定義がwell-...
-
集合 全体集合 実数 部分集合A=...
-
supとmaxの違いを教えて下さい。
-
数学でのセミコロンについて
-
空集合のべき集合
-
加法と乗法について閉じている...
-
高校数学で、 150以下の自然数...
-
ボレル可測集合、可測集合の範...
-
べき集合のTeX
-
集合のユニークな要素数の数式...
-
単射の総数
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
空集合のべき集合
-
数字は存在するのか
-
数学で、数字の上にある横線の意味
-
R\\{0} って、0を除く実数って...
-
数学でのセミコロンについて
-
要素と、部分集合の違いを教え...
-
Rの半開区間(0,1]と開区間(0,1)...
-
部分が全体に等しいのが無限で...
-
数字の上のバー
-
集積点が、まったく分かりませ...
-
内包的記法と外延的記法について
-
6以下の自然数全体の集合の要素...
-
ACCESSのSQL
-
すべての自然数とすべての実数...
-
数学の集合で閉じているの意味...
-
集合の記号の読み方等について
-
∈ と ⊂ のはっきりとした違い
-
高校1年の数学Aです。 この、ピ...
-
有理数と実数とではどちらが多いか
おすすめ情報