- ベストアンサー
剰余群
g354654の回答
- g354654
- ベストアンサー率0% (0/6)
C/Zの代表元は、x+yi (0≦x<1、-∞<y<∞)です。 イメージとしては、複素平面を、クルクルまきつけて、円柱(無限の高さを持つ)にしたものです。
関連するQ&A
- 2次体の整数環での既約剰余類群はありますか?
有理整数環Zの剰余環Z/mZの部分集合 (Z/mZ)^*={[a]∈Z/mZ|a∈Z、gcd(a,m)=1} は乗法に関して群をなし、既約剰余類群と呼ばれます。 この整数環Zに対して、2次体の整数環Z[ω]で考えると、 剰余環はイデアルAを用いて、Z[ω]/Aとなりますが、 既約剰余類群に対応するものはあるのでしょうか? 2次体の整数環Z[ω]では、いつでも最大公約数があるとは限らないですが、 一意分解環(UFD)では最大公約数があるので、そのときは 既約剰余類群の対応物があるように思うのですが。 あるのでしたら、名前とか参考サイトを教えていただけないでしょうか? ないのでしたら、なぜないかを教えていただけないでしょうか。
- ベストアンサー
- 数学・算数
- 【数学】 部分群であることを示せという問題。
とても簡単な問題のはずなのですが、いまいちリカイできないところがあるので、 正しい答えを教えてください。 有理整数のアーベル群Zの部分集合で、とある固定された整数nのすべての倍数の為す部分集合を nZとかくと、nZはZの部分群となる。これを確認せよ。 というような問題です。
- ベストアンサー
- 数学・算数
- 既約剰余類群の部分群について
群論の問題です。 大学のレポート課題ですが、途中までしかわからず困っているため、お時間のある方ご回答よろしくお願いいたします。 問 既約剰余類群(z/7z)^*の部分群を全て求めよ。 答 部分群の位数は群の位数の約数なので、1,2,3,6のどれかである。 ここまでしかわかりません、、
- ベストアンサー
- 数学・算数
- 剰余類の問題
剰余類の問題について解説がなく自分の考え方が正しいのか判断できず困っています。 問題は 3の剰余類をC0,C1,C2とするとき 1. a ∈ C0 , b ∈ C1 のとき a + b はどれに属するか。 2. a ∈ C1 , b ∈ C2 のとき a + b はどれに属するか。 です。 以下自分の解答↓ C0 は整数を 3 で割った時、あまりが 0 になる整数の集合 C1 は整数を 3 で割った時、あまりが 1 になる整数の集合 C2 は整数を 3 で割った時、あまりが 2 になる整数の集合 なので、n を整数とすると、 C0 = { 3n } C1 = { 3n + 1 } C2 = { 3n + 2 } となる。 よって 1のときは a = 3n , b = 3n + 1 とし a + b = (3n) + (3n + 1) = 6n + 1 = 3(2n) + 1 nは整数なので2nも整数である。よってa + b ∈ C1 2のときは a = 3n + 1 , b = 3n + 2 とし a + b = (3n + 1) + (3n + 2) = 6n + 3 = 3(2n + 1) nは整数なので2n + 1も整数である。よってa + b ∈ C0 1 , 2 ともにC1 , C0 に属しているということは正しいのですが、解答にいたるまでの自分の考え方があっているかどうかがわかりません。(特に剰余類について) どなたかご教授よろしく御願いいたします。
- ベストアンサー
- 数学・算数
- 剰余群
剰余群についての質問です。 説明の準備として以下を定義する。 n = Π(p|n) p^e(p) (nの素因数分解) K = {a∈(Z/nZ)* |gcd(n,a) = 1, a^m ≡ ±1 mod p^e(p),∀p|n} M = {a∈(Z/nZ)* |gcd(n,a) = 1, a^m ≡ 1 mod n} とします。 (本来は、mに意味があるのですが、説明が煩雑になるため、ここでは適当な自然数とみてください) KとMの定義より、 K⊃M. また a∈K ⇒ a^2 ⊂ M (証明ははぶく) ------ここからが質問 このとき K/M ∋ ∀a + M ⇒ (a + M)^2 = 1である。 つまり(K/M)∋a+M の位数は2である。 と続くのですが、 K/Mとはどのような集合を考えたのでしょうか? a + M という剰余類も理解できませんでした。 アドバイスいただけないでしょうか。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 群同型,可換群,巡回群についてのQ&A
よろしくどうぞ。素朴な疑問です。お答えいただけましたら大変幸いでございます(反例も賜れれば尚幸いです)。 Zを整数全体の集合,l,k,m,n,m',n'∈Zで ~は群同型を表す。 Z_l~Z_k且つZ_m~Z_nなら Z_l(+)Z_m~Z_k(+)Z_nは正しいでしょうか? Z_mはmがどんな時,可換群? Z_mはmがどんな時,巡回群? Z_m(+)Z_nはm,nがどんな時,可換群や非可換群になるのでしょう? Z_m(+)Z_nはm,nがどんな時,巡回群や非巡回群になるのでしょう? gcd(m,n)=1ならZ_mn~Z_m(+)Z_nは正しいでしょうか? gcd(m,n)≠1ならZ_mnは何と同型になるのでしょうか?またZ_m(+)Z_nは何と同型になるのでしょうか? Z_m(+)Z_nとZ_m'(+)Z_n' (但し,mn=m'n')はどんな時,同型でどんな時に非同型になるのでしょうか?
- 締切済み
- 数学・算数
- 群について。分からないところがあるのです。
演算+に対して、整数全体の集合は群を成すのですが、 単位元の存在から x+e=x+e=xをみたすeが存在。(xは集合の元) このときe=0となるわけですが、それでも単位元というのですか? つまり0は単位元と。だいたい、単位元といえば1。乗法に対する整数全体の集合とすればe=1となってこれは単位元だろうと分かるのですが。e=0というのは?
- ベストアンサー
- 数学・算数
- 群について質問があります
二つの実数1とー1からなる集合{1、ー1}はなんで、乗法に関して群をなすのでしょうか。 (Z*、×)が群にならないのは理由はなんでしょうか。 群の定義から、考えても具合例が思いつきません。 具体例をつけて教えて頂きませんか。
- ベストアンサー
- 数学・算数