- 締切済み
自明でない因数分解とは?
自明でない因数分解とはどういうものでしょうか? というのもある本にて、 整域Rの元aが、単元でも0でもなく、さらに条件 p,q∈R, a=pq ⇒ pまたはqがRの単元 をみたすとき、いいかえればaが自明でない因数分解を持たないとき、aを既約元という。 と書いてあるからです。
- みんなの回答 (3)
- 専門家の回答
みんなの回答
- graphaffine
- ベストアンサー率23% (55/232)
- kabaokaba
- ベストアンサー率51% (724/1416)
- yumisamisiidesu
- ベストアンサー率25% (59/236)
関連するQ&A
- 【素元の分解】一意性の証明
代数学の初歩にて、2つほど疑問があります。 片方だけでもよいので、どなかたご教示お願いします。 (1)整域Rにて、1つの元の素元分解は一意的である。 すなわち、p_1p_2 ... p_r = q_1q_2 ... q_s (p_i と q_i は素元) とすると、r=sであり、番号をいれかえることで単元倍を除いてp_i = q_i となる。 という命題で、単元倍を除く ということの意味がよくわかりません。 いろいろやって、適当に順番を入れ替えて、q_1 = ap_1 と表せる (aは単元)ことはわかったのですが、その直後、 『すなわち、単元倍を除いて q_1 = p_1である』と続くのですが、 これが意味不明です。どうあがいてもq_1 = p_1は正しくないと思うのですが、 単元倍を除いて というのは一体どういうことなんでしょうか。 (2)上の命題の直後に続く命題です。 任意の単元でない元a≠0が、単元倍を除いて一意的に既約元の積にかけるならば、 整域Rは素元分解整域である。 これを示すためには、条件の下 既約元が素元になることを示せばいいですよね。 0≠a(aは単元でない)をRの既約元として、イデアルRaを考えたとき、 xy∈Raとすると、a | xyで、 条件より x=x_1x_2 ...x_r y=y_1y_2 ... y_s と分解できます。 よって、a | x_1x_2 ...x_r y_1y_2 ... y_s となります。 ここで、『既約元分解の一意性から、既約元aは、とあるx_i かy_iに単元倍を除き等しくなる。』 とあるんですが、ここもさっぱり理解できません。 経験不足であることは十分わかっているのですが、 ヒントだけでも教えていただけないでしょうか。
- ベストアンサー
- 数学・算数
- GF(11)係数での因数分解について
X^10-1をGF(11)係数で因数分解せよという問題があるのですが、 通常の因数分解は (X-1)(X+1)(X^4-X^3+X^2-X+1)(X^4+X^3+X^2+X+1) となるとおもうのですが、 GF(11)係数でとなると、参考になる資料には、 有限体K=GF(q) K={0,a1,a2,…,a(q-1)}とおけば、X^(q-1)-1をK係数で因数分解すると, X^q-1 -1 =(X-a1)(X-a2)…(X-a(q-1)) となる。 と書かれています。 ※a(q-1)の(q-1)はaの下付きの文字です。 普通の因数分解とは似ても似つかない程遠い答えなのですが、どうしてこのようになるのかわかりません。 どなたか教えていただけないでしょうか。
- 締切済み
- 数学・算数
- 因数分解について質問させてください。
S = -r^2+(1/2)ar・・・・・・・・・・・・・・・(1) = -(r-a/4)^2+a^2/16・・・・・・・・・・(2) (1)の式を(2)の形になるようです。 (1)から(2)へ因数分解で処理するみたいです。 どうすればできるのでしょうか? お詳しい方・・、 その過程をできれば詳しく教えて頂けませんでしょうか? お願い致します。 .
- ベストアンサー
- 数学・算数
- 因数分解の問題で・・・
以前も因数分解について投稿したものです。 春休みの課題プリントにある問題なのですが、 兄とも考えても全然分かりません。。。 (1)x^-2xz+2xy-4yz (2)p^-9q^-5p+15q です。 兄の教えだと(2)は、 (p+3q)(p-3q)-5(p-3q) おきかえて、 (p-3q)(p+3q-5)になるのでは?と言っていました。 答えも合っているのかわからないので不安です。 (1)も(2)のようなやりかたでできるのでしょうか? 数学がお得意の方、どうか力を貸してください。
- ベストアンサー
- 数学・算数
お礼
ありがとうございます。 >どんなRの元aについてもa=1・a と書けます >これが自明な因数分解です. これを踏まえると「aが自明でない因数分解を持たない」ということは、「aが自明な因数分解のみ持つ」ということですよね? >整域Rの元aが、単元でも0でもなく、さらに条件 > p,q∈R, a=pq ⇒ pまたはqがRの単元 >をみたすとき、いいかえればaが自明でない因数分解を持たないとき、aを既約元という。 この定義から一体なぜaが自明でない因数分解を持たないということがいえるのでしょうか?