- ベストアンサー
整域について
整域に関してですが・・・・ 二つの整域 ( R1, +1, *1 )、 ( R2, +2, *3 ) に対して、代数系 ( R, +, * ) を次のように定義する。 R = R1 * R2 (直積集合) 。任意の a1, b1 ∈ R1、a2, b2 ∈ R2 に対して、 加法 : ( a1, a2 ) + ( b1, b2) = ( a1 +1 b1, a2 +2 b2) 乗法 : ( a1, a2 ) * ( b1, b2) = ( a1 *1 b1, a2 *2 b2) とする。このとき、R1 および R2 の零元を、それぞれ 01 および 02 で表すとき、R の零元を示せ。 という問題があるのですが、この零元は単に 01 * 02 とすればよいのでしょうか？ また、この代数系 ( R, +, * ) は整域にならないとあるのですが、それは整域が乗法に関して零因子を持たない、といった理由からなのでしょうか？ 回答、よろしくお願い致します・・・・m(__)m
- aresukersk
- お礼率77% (7/9)
- 数学・算数
- 回答数1
- ありがとう数1
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
零元は、( 01, 02 ) ですね。 ∀a1, a2, ( a1, a2 ) + ( x1, x2 ) = ( a1, a2 ) を解けば、 ( x1, x2 ) = ( 01, 02 ) と求まります。 整域の定義は「零因子を持たない可換環」です。 a1 ≠ 01, b2 ≠ 02 と置くと、 ( a1, 02 ) * ( 01, b2 ) ＝ ( 01, 02 ) ( a1, 02 ) ≠ ( 01, 02 ) ( 01, b2 ) ≠ ( 01, 02 ) だから 左零因子 ( a1, 02 ), 右零因子 ( 01, b2 ) が存在し、 R は聖域ではありません。
関連するQ&A
- 代数学の問題（整域）で解法が分かりません．
代数学の問題で， (1)a+b√3（a,bは整数）の全体 (2)すべての奇数の集合 これらの集合は整域であるかどうか，理由を明記して判定せよ． という問題なのですが，整域の定義（５つあったと思いますが）に従って，一つ一つ証明していき，全て合ったら整域であり，一つでも違ったら整域ではないと判定する解法でいいのでしょうか． 宜しくお願いします．
- ベストアンサー
- 数学・算数
- ある代数系で 0^0=1 とすることについて
体と言われる代数系においては、0に逆元0^-1はありません。 従って、0^0=0^-1*0^1=1 とはされていません。 逆に言えば、体でなければ、0に逆元が存在し、0^0=1 とすることができるだろうと予想されます。 次のような代数系を定義します。 -- ここから -- 集合X = {0, 1} とする。 加法を以下のように定義する。 0+0=0, 0+1=1 1+0=1, 1+1=0 乗法を以下のように定義する。 0*0=1, 0*1=0 1*0=0, 1*1=1 この代数系では、体での基本法則は以下のようになる。 ・交換法則と結合法則は、加法と乗法で成立する。 ・加法単位元は0で、-0=0, -1=1 となる。 ・乗法単位元は1で、1/0=0, 1/1=1 となる。 ・0≠1。 ・分配法則は成立しない。 -- ここまで -- この代数系で、べき乗を定義します。 べき乗：a^1=a, a^(n+1)=a^n*a より 0^1=0, 0^2=1, 0^3=0, … 1^1=1, 1^2=1, 1^3=1, … さらに a^-1=1/a, a^-n=(a^-1)^n より 0^-1=0, 0^-2=1, 0^-3=0, … 1^-1=1, 1^-2=1, 1^-3=1, … そして a^0=a^-1*a より 0^0=1 1^0=1 となります。 以上の結果から、次のことが分かります。 加法の単位元を０で表し、乗法の単位元を１で表すとき、０＾０＝１となる。 …という例が存在する。 つまり、０＾０が未定義なのは、体に固有の問題であり、 分配法則が成立しない代数系では、０＾０＝１となることがある。 ここまでの計算とこの結論は妥当ですか？
- ベストアンサー
- 数学・算数
- 直積集合の元は必ず集合となる?
度々すいません。また数学基礎論での質問です。 a,bを集合として<a,b>:={{a},{a,b}}と定義し、順序対と呼ぶ。 そして、 A×B:={<a,b>;(a∈A)∧(b∈B)}と定義し、A×Bを直積集合と呼ぶ。 と記載されているのですが、 これだとAやBは集合系(集合が元であるような集合)でa,bは集合ですよね。 (A×Bの元<a,b>は2^(2^(A∪B))の元?) でも 通常、数学基礎論以外の教科書(微分積分や線形代数)ではA×Bの元は集合でない場合で定義されてますよね。 A×B:={<a,b>;(a∈A)∧(b∈B)}が直積集合の定義で微分積分や線形代数での直積集合の定義も含んでいるのなら、 元は集合にも成りうるのでしょうか? 具体的には a,bを集合として<a,b>:={{a},{a,b}}と定義し、A×B:={<a,b>;(a∈A)∧(b∈B)}と定義するのなら実数体の直積集合R×Rの元(例えば(√2,1/2))は集合と言ってもいいのでしょうか?
- ベストアンサー
- 数学・算数
- 大学の数学の授業の課題が解けません。
大学の数学の授業の課題が解けません。 集合Xに加法"＋"と乗法"."を定義したとき、次のそれぞれの性質を持つような代数の例を挙げて、分かりやすく説明せよ。 (1)1+1=1 (2)1+1=0 (3)a・b=a・c a≠0であっても必ずしもb=cとはならない。 解答欄はA4一枚ほどあります。 分かりやすく説明しなければいけないようです💦 教えてください>_<
- 締切済み
- 数学・算数
- ある３元の代数系で 0^0=1 とすることについて
体と言われる代数系においては、0に逆元0^-1はありません。 従って、0^0=0^-1*0^1=1 とはされていません。 逆に言えば、体でなければ、0に逆元が存在し、0^0=1 とすることができるだろうと予想されます。 この質問では、以前の質問の回答を踏まえて、３元で考えます。 http://okwave.jp/qa/q7989312.html 次のような代数系を定義します。 -- ここから -- 集合X = {0, 1, Z} とする。 加法を次のように定義する。 0+0=0, 0+1=1, 0+Z=Z 1+0=1, 1+1=0, 1+Z=Z Z+0=Z, Z+1=Z, Z+Z=Z 乗法を次のように定義する。 0*0=0, 0*1=0, 0*Z=1 1*0=0, 1*1=1, 1*Z=Z Z*0=1, Z*1=Z, Z*Z=Z この代数系では、体での基本法則は以下のようになる。 ・加法において、交換法則と結合法則は成立する。 ・加法単位元は0で、Z以外は逆元 -0=0, -1=1 が存在する。 ・乗法において、交換法則は成立する。 ・乗法において、Zを除いた0, 1で結合法則は成立する。 ・乗法単位元は1で、逆元 1/0=Z, 1/1=1, 1/Z=0 が存在する。 ・Zを除いた0, 1で分配法則は成立する。 ・0≠1。 つまり、Zを除けば、この代数系は体になる。 -- ここまで -- この代数系で、べき乗を定義します。 べき乗：a^1=a, a^(n+1)=a^n*a より 0^1=0, 0^2=0, 0^3=0, … 1^1=1, 1^2=1, 1^3=1, … Z^1=Z, Z^2=Z, Z^3=Z, … さらに a^-1=1/a, a^-n=(a^-1)^n より 0^-1=Z, 0^-2=Z, 0^-3=Z, … 1^-1=1, 1^-2=1, 1^-3=1, … Z^-1=0, Z^-2=0, Z^-3=0, … そして a^0=a^-1*a より 0^0=1 1^0=1 Z^0=1 となります。 以上の結果から、次のことが分かります。 加法の単位元を０で表し、乗法の単位元を１で表すとき、０＾０＝１となる。 …という例が存在する。 つまり、体に０の逆元を添加し、分配法則が成立しない代数系では、０＾０＝１となることがある。 ここまでの計算とこの結論は妥当ですか？
- ベストアンサー
- 数学・算数
- 代数の環の分野の問題です
代数の環の分野の問題です 環Ｒが与えられたときＭｎ（Ｒ）をＲの元を成分にもつｎ字正方行列全体の集合とし、 行列の加法、乗法を通常のように定義すると Ｍｎ（Ｒ）はまた環でありｎ≧2のとき非可換であること を示したいです 教えてください お願いします
- ベストアンサー
- 数学・算数
- 代数の環の分野の問題です
代数の環の分野の問題です 環Ｒが与えられたときＭｎ（Ｒ）をＲの元を成分にもつｎ字正方行列全体の集合とし、 行列の加法、乗法を通常のように定義すると Ｍｎ（Ｒ）はまた環であり一般にｎ≧2のとき非可換であること を示したいです 教えてください お願いします
- 締切済み
- 数学・算数
- 零因子と整域について
Xが+に対して可換群,・に対して半群をなし,分配法則x(y+z)=xy+xz、(x+y)z=xz+yzをなす時Xを環と呼ぶ。 ・に関しての単位元を持つ環を特に単位的環と呼ぶ。 それでa≠0,b≠0でab=0なる環の元を零因子と呼ぶと思うのですが 実際,単位的環ではなくただの環で零因子を持つような環って存在するのでしょうか? そして零因子を持たない可換な環を整域と呼ぶようですが。 零因子を持たない非可換な環には特に呼び方はあるのでしょうか(非可換な整域?)?
- 締切済み
- 数学・算数
- 「直積集合の全集合」とは？
別の方の質問 http://oshiete1.goo.ne.jp/qa4877672.html を見ていて気になった点についてです。 「集合族の空集合と全集合」とは何でしょうか？ 通常、「空集合」や「全集合」は、何らかの集合の ベキ集合族に対して定義される概念かと思います。 一般の集合族に対する「全集合」とは、どのように 定義されるのでしょう？ 「集合族Φの全集合」と言ったら、Φ自身のことでしょうか、 それとも、Φの最大元のことでしょうか？ ご存知の方、解説よろしくお願いします。 先の http://oshiete1.goo.ne.jp/qa4877672.html の例で言えば、 ΨとΩの集合族としての直積は、質問氏の書いている Ψ×Ω ＝ { (A,B) ; A∈Ψ, B∈Ω } ですが、これは、 ベキ集合族ではないし、σ集合族でもありません。 Ｙ と Ｚ の空間としての直積に付随するσ集合族 という意味で 言っているのだとすれば、「直積」は、このΨ×Ωではなく、 Ψ×Ωの任意個の元の和集合全体が成す集合族 になるハズです。 その際、「全集合」が Ｙ×Ｚ であることは違いありませんが… また、A×0 = 0×B = 0 と考えるなら、この式の「×」を 0 と B の集合としての直積と解釈したことになります。 Ψ×Ω ＝ { A×B ; A∈Ψ, B∈Ω } と表記するのならば、 右辺内の A×B は、A と B の対 (A,B) という意図で 標準的でない書き方をしてしまったものと解釈すべきで、 A と B の集合としての直積ではありえません。 その場合、0×B は、Ψ×Ωの元で Ｙ成分が 0、Ｚ成分が B の ものであって、空集合ではありません。
- ベストアンサー
- 数学・算数
- 有限加法族の定義で"φ∈Ω"は不要では?
宜しくお願い致します。 有限加法族の定義で質問です。 有限加法族の定義は 集合Ω(≠φ)の集合族2^Ωが (i) φ∈Ω (ii) A∈2^Ω⇒A^c∈2^Ω (iii)A,B∈2^Ω⇒A∪B∈2^Ω の時、2^Ωを有限加法族という。 だと思います。 (i)は 空集合の定義…空集合φは任意の集合の部分集合とする から当然だと思うのですが。。。 集合Ω(≠φ)の集合族2^Ωが (i) A∈2^Ω⇒A^c∈2^Ω (ii)A,B∈2^Ω⇒A∪B∈2^Ω の時、2^Ωを有限加法族という。 だけでOKだと思うのですが如何でしょうか?
- ベストアンサー
- 数学・算数
お礼
なるほど、、よくわかりました！ 零元に関しては R の演算 + を用いて示せばよかったのですね・・・・。 回答、ありがとうございます！