This tag is for questions about rings, which are a type of algebraic structure studied in abstract algebra and algebraic number theory.

learn more… | top users | synonyms (2)

-1
votes
1answer
17 views

Pick out a polynomial such that ideal $J=q(x)R$ , where $q(x)$ is polynomial and $R$ is ring

In the ring of polynomials $R =\mathbb Z_5[x]$ with coefficients from the field $\mathbb Z_5$, consider the smallest ideal $J$ containing the polynomials, $p_1(x) = x^3 + 4x^2 + 4x + 1$ $p_2(x) = ...
5
votes
1answer
40 views

Is I-adic completion a ring epimorphism?

Let $R$ be a commutative ring and let $I \subset R$ be an ideal. For any $n \ge 1$, the ring homomorphism $R \rightarrow R/I^n$ is surjective, hence an epimorphism in the category of rings. What about ...
0
votes
2answers
38 views

Affine varieties and their ideals

I was reading on Wikipedia about quotient ideals. It mentions that if $W$ and $V$ are affine varieties (assume $V$ is) and $I(V)$ and $I(W)$ are the ideals for $V$ and $W$, then $$I(V):I(W) = ...
1
vote
1answer
15 views

How do you prove a valuation ring is a subring?

Let's say I have a field $\mathbb{F}$. Now suppose I take the set $R = \{x \in \mathbb F^{\times}: \ y(x) \ge 0\} \cup \{0\}$ where $y$ is a function $y:\mathbb F^{\times} \rightarrow \mathbb{Z}$ ...
1
vote
1answer
30 views

How many elements are there in $\mathbb{Z}[\sqrt{2}]/(1+3\sqrt{2})$?

Let $\mathbb{Z}[\sqrt{2}]:= \lbrace a+b\sqrt{2}|a,b \in \mathbb{Z} \rbrace$. How many elements are there in $\mathbb{Z}[\sqrt{2}]/(1+3\sqrt{2})$? I know that every equivalence class of ...
1
vote
2answers
26 views

Proving that a homomorphism between two rings is surjective

The problem: ($\mathscr{F}(\mathbb{R})$ is the set of real valued functions) Let $\phi:\mathscr{F}(\mathbb{R})\to\mathbb{R}\times\mathbb{R}$ be a function defined by $\phi(f)=(f(0),f(1))$ Prove ...
0
votes
0answers
36 views

Show that $(2,1+\sqrt{-5})$ is a maximal ideal in $\mathbb{Z}[\sqrt{-5}]$ [duplicate]

Let $R=\mathbb{Z}[\sqrt{-5}]$ and $I=(2,1+\sqrt{-5})$ an ideal generated by $2$ and $1+\sqrt{-5}$. Show that $I$ is a maximal ideal. So I tried to prove that if $a \notin I$ then $(I,a)$ must be ...
0
votes
0answers
19 views

Groebner basis and prime ideals.

Let $I$ be an ideal in a polynomial ring $K[x,y_1,\dots,y_n]$ and assume that $I \cap K[x]\neq (0)$. Let $>$ be an elimination ordering for $\{y_1, \dots, y_n\}$ and $G$ is a Groebner basis for $I$ ...
0
votes
1answer
33 views

Finite number of maximal ideals of bounded norm

Suppose that we have an integral extension of rings $R\subseteq S$ and $S$ is finitely generated as $R$-module or as $R$-algebra, and $R/\mathfrak m$ is finite for all maximal ideals and $S/\mathfrak ...
2
votes
1answer
23 views

If $a \ne b$ in a ring $R$ satisfy $a^3 = b^3$ and $a^2b = b^2a$, show that $a^2 + b^2$ is not a unit.

If $a \ne b$ in a ring $R$ satisfy $a^3 = b^3$ and $a^2b = b^2a$, show that $a^2 + b^2$ is not a unit. So I am thinking that I should be able to do this by contradiction. So if I assume there is some ...
1
vote
1answer
30 views

There exists a zero dimensional ideal I such that $\dim (R/I) - |V(I)| \geq \alpha > 0$

If $I \subset K[x_1,\dots,x_n]$ is a zero dimensional ideal and $$V(I) = \{ (\alpha_1,\dots,\alpha_n) \in K^n: f((\alpha_1,\dots,\alpha_n)) = 0\ \forall f\in I\}$$ (the variety). I know that ...
0
votes
2answers
18 views

If char$R=n$, show that $\mathbb{Z}1_R\cong \mathbb{Z}_n$.

Let $1_R$ be the identity of a ring $R$ and let $\mathbb{Z}1_R=\{k1_R\mid k\in\mathbb{Z}\}$. If char$R=n$, show that $\mathbb{Z}1_R\cong \mathbb{Z}_n$. So my thought is I just have to think of some ...
2
votes
1answer
26 views

Why is $|V(I)| \leq d_1\cdots d_n$?

If $I \subset K[x_1,\dots,x_n]$ is a zero dimensional ideal and $$V(I) = \{ (\alpha_1,\dots,\alpha_n) \in K^n: f((\alpha_1,\dots,\alpha_n)) = 0\ \forall f\in I\}$$ (the variety). Then if $G$ is a ...
1
vote
3answers
27 views

If $S$ and $T$ are subrings of $R$, is $S+T$ a subring of $R$?

If $S$ and $T$ are subrings of $R$, is $S+T=\{s+t\mid s\in S, t\in T\}$ a subring of $R$? So I think that $S+T$ is a subring, but I am getting stuck trying to prove it. Clearly since $S$ and ...
1
vote
2answers
19 views

Clarify what “inclusion preserving” means in lattice isomorphism theorem

I'm working through Dummit and Foote right now. The lattice isomorphism theorem is stated as follows: "Let I be an ideal of a ring R. The correspondence $A \leftrightarrow A/I $ is an inclusion ...
0
votes
0answers
22 views

why is the collection of all finite subsets of $\mathbb{R}$ not a $\sigma-ring$

It says the definition of a $\sigma-ring$ is if $A,B \in \mathcal R$ then $A \setminus B \in \mathcal R$ and if $ A_{n} \in \mathcal R \forall n \in \mathbb{N}$ then $\cup_{1}^{\infty}A_{n} \in ...
3
votes
1answer
15 views

Relationship between operations of a ring

Is there any requirement that the two operations of a ring have to be related to each other, excluding the requirement of distributivity? We all know from grade school that multiplication of integers ...
2
votes
0answers
12 views

A sufficient condition for factorization in a complete local ring

I think something like the following statement is true, but I don't recall a reference. Suppose $f(x,y)\in k[[x,y]]$ is power series with no constant or linear terms. Then, if the quadratic terms ...
0
votes
1answer
10 views

factors in polynomial rings with field coefficients

I'm reading through Dummit and Foote Abstract Algebra, and I was looking for an explanation of the following: Proposition 9: $F$ a field and $p(x)\in F[x]$. Then $p(x)$ has a factor of degree one if ...
0
votes
0answers
12 views

Proof that maximal ideals in $\mathcal{P}[x_0]$ intersected with $\mathcal{P}$ is a maximal ideal in $\mathcal{P}$ [on hold]

I am trying to show that maximal ideals in $\mathcal{P}[x_0]$ intersected with $\mathcal{P}$ is a maximal ideal in $\mathcal{P}$, where $\mathcal{P}$ is the polynomial ring $K[x_1, \dots, x_n]$ or ...
1
vote
3answers
27 views

A nontrivial solution to the quadratic form $x^2 - xy + y^2$ over the finite field $𝔽_p$ with $p ≡ 1 \pmod3$ a prime

I'm trying to prove that when $p ≡ 1 \pmod3$ is a prime, $p$ is reducible over the Eisenstein integers, and I've gotten to the point where, provided $p\,|\,u^2 - u + 1$ for some integer $u$, then $p$ ...
0
votes
1answer
32 views

Quotient of maximal and prime ideals

Given that $I, J$ are ideals in $R$, $I$ is maximal or prime, do we have that $I/J$ is maximal in $R/J$? $I/J$ is prime in $R/J$? I think it is true but don't see how it works.
2
votes
3answers
65 views

Algebraically, why is $\mathbb{Z}[i]/(i + 1)$ isomorphic to $\mathbb{Z}_{2}$? [duplicate]

I understand geometrically why the Gaussian integers modulo $i+1$ is $\mathbb{Z}_{2}$, using lattices. Is there an algebraic isomorphism construction, however?
0
votes
2answers
44 views

Two ways to decompose $\mathbb Q[G]$ for $G = \{1,g,g^2\}$ and their interrelation.

Let $G = \{1,g,g^2\}$ be a cyclic group of order $3$. Consider the group ring $\mathbb Q[G]$. Then we have the two $G$-invariant simple subspaces $$ I = \{ a_0 + a_1 g + a_2 g^2 : a_0 = a_1 = a_2 \} ...
2
votes
1answer
47 views

Suppose A is a principal ideal domain with every ideal of finite index. Must A be a Euclidean domain?

Suppose $A$ is a principal ideal domain with every ideal of finite index (except the zero ideal). Must $A$ be a Euclidean domain? If it's not known, are there any relevant partial results?
0
votes
0answers
21 views

The coordinate ring of $\varepsilon: xy-1=0$ [duplicate]

I want to show that the coordinate ring $\mathbb{R}[x,y]/\mathbb{R}[\varepsilon]$ of $\varepsilon: xy-1=0$ is not isomorphic with the polynomial ring of one variable $\mathbb{R}[x]$. To me this is ...
0
votes
1answer
11 views

Addition of fractions in z11

compute 3/5+2/7+1/6 in Z11. Please give me a hint on how to go about it. I have created a table for Z11 but unsure of the next step.
0
votes
1answer
80 views

Algebraic element - integral domain

Let $K$ a field and $L$ a subfield of $K$. Let the set $\overline{L}:= \{k \in K: k$ is algebraic over $L$ $\}$ is another subfield of $K$. Show that $\overline{\overline{L}}=\overline{L}$. ...
3
votes
2answers
50 views

Prove or disprove : the number $3+2\sqrt{-2}$ is irreducible in the ring $\mathbb{Z}[\sqrt{-2}]$

Prove or disprove: the number $3+2\sqrt{-2}$ is irreducible in the ring $\mathbb{Z}[\sqrt{-2}]$. I think it is sufficient to show that each element (except $0$) in $\mathbb{Z}\sqrt{D}$ with $D ...
0
votes
1answer
12 views

Principal Ideal Domain $R$ and ideal $J\neq 0$ so that that $R/J$ have a finite number of ideals. [duplicate]

Let $R$ a un Principal Ideal Domain(PID) and $J\neq 0$ a ideal of $R$. Show that $R/J$ have a finite number of ideals.
1
vote
1answer
21 views

An isomorphism between product of number fields, contains the same number of factors

Suppose that we have an isomorphism of rings $$f:K_1\oplus\cdots\oplus K_r\to K'_1\oplus\cdots\oplus K'_s,$$ with $K_i$'s and $K_j'$'s are a number fields, the sum and the product are componentwise. ...
1
vote
2answers
49 views

If $G \cong \mathbb Z/3\mathbb Z$, then $\mathbb R[G] \cong \mathbb R \times \mathbb C$

Let $G = \{1,g,g^2\}$ be the cyclic group of order three. Consider the group ring $\mathbb R[G]$, then $\mathbb R[G] \cong \mathbb R \times \mathbb C$ with the isomorphism $$ \varphi(1) = (1,0), ...
0
votes
1answer
42 views

Which of the following are true about the ring of continuous real valued functions C[0,1]

Let $C[0,1]$ be the space of continuous real-valued functions on the interval $[0,1]$. This is a ring under point-wise addition and multiplication. Which of the following are true: (a) For any $x ∈ ...
6
votes
1answer
46 views

Non-Euclidean domains examples which have universal side divisor

Let $R$ be a ring. A nonzero nonunit element of $R$ is called a universal side divisor if for every element $x$ of $R$ there is some element $z$ of R such that $u$ divides $x - z$ in $R$ where $z$ is ...
1
vote
1answer
51 views
+50

Explanation of a proof about graded module structure

Let $\Bbb F$ be a field and $M$ a finitely generated $\Bbb F[x]$-module. The structure theorem for modules over a PID says that $$ M\cong \Bbb F[x]^r\oplus\biggl(\bigoplus_{j=0}^s\Bbb ...
1
vote
2answers
46 views

Exercise concerning quotient rings and ideals

I need help proving the following: Let $A$ and $B$ be rings with $\beta\in B\subseteq A$ and suppose the ideal $\beta A$ is a prime ideal. If the "/" denotes the quotient set and the equality ...
0
votes
1answer
42 views

non-zero divisors in a ring

I am asked to show the following: $ab$ is a non-zero divisor of $R$ if and only if $a$ and $b$ are both non-zero divisors of $R$. $\Rightarrow)$ Suppose $ab$ is a non-zero divisor of R. Then ...
1
vote
0answers
28 views

When is the ideal generated by 2 elements equal to the sum of the 2 ideals

Is it true in general that (a,b)=(a)+(b)? I would suppose that (a)+(b)$\subset$(a,b) and i believe the reverse containment should hold as well, i just can't seem to fit the pieces together.
2
votes
1answer
33 views

If there are nonzero elements $a$ and $b$ in $A$ such that $(a+b)^2 = a^2 + b^2$, then $A$ has characteristic 2.

Let $A$ be a finite integral domain. If there are nonzero elements $a$ and $b$ in $A$ such that $(a+b)^2 = a^2 + b^2$, then $A$ has characteristic 2. I was thinking, if $(a+b)^2 = a^2 + 2ab + b^2 = ...
-1
votes
2answers
46 views

Prove R has no nonzero nilpotents if an ideal A has no nonzero nilpotents and R/A has no nonzero nilpotents. [on hold]

I want to prove the following implication: Let $R$ be a ring and $A$ an ideal of $R$. Suppose that $A$ has no nonzero nilpotents and $R/A$ has no nonzero nilpotents. Prove that $R$ has no nonzero ...
2
votes
1answer
30 views

Valuation ring between $F$ and $\mathcal O_F$

Let $(F,v)$ be a complete discrete valuation field (normalized) with ring of integers $\mathcal O_F$. Why cannot exist a valuation ring $A$ of $F$ such that $F\supsetneq A\supsetneq\mathcal O_F$ ...
2
votes
0answers
31 views

The natural numbers form a distributive lattice under gcd and lcm. In arbitrary gcd domains, does gcd distribute over lcm?

Basically what it says in the title. If $A$ is a $\operatorname{gcd}$ domain, for any $x, y, z \in A$, does this identity hold? $$\operatorname{gcd}(x, \operatorname{lcm}(y,z)) = ...
0
votes
2answers
41 views

Prove that the sum of ideals of a ring A equals A and its intersection is zero.

I've been looking at a couple of ring theory exercises and there's this one I don't know how to do it. It goes like this. $A$ is a commutative unital ring, and $e$ an element of $A$, $e \neq ...
1
vote
1answer
17 views

Why must the image of the identity of nonzero ring $A$ must be a zero divisor of the codomain?

Lets say I have a ring homomorphism $f$ which maps from the nonzero rings $A$ to $B$, both of which have identities, but it maps the identity of $A$ to something other than the identity of $B$. Why is ...
0
votes
1answer
20 views

Understanding a terminology in a special type of group

I am trying to understand the following terminologies, and the resulting group (found in this link). In the original reference also, I didn't find the meaning of the terminology I am looking. It is ...
3
votes
1answer
21 views

Characterize units in formal power series $R[x]$

Suppose R is a commutative ring with unity. Define $R[x]$ as "formal power series in the variable $x$ with coefficients from R". These are the infinite sums of the form $ \sum_{n=0}^\infty ...
1
vote
2answers
79 views

Is the element $(0,0,0)\in\mathbb{R}^3$ a divisor of zero?

(I'm assuming that $\mathbb{R}^3=\mathbb{R}\times\mathbb{R}\times\mathbb{R}$) In my assignment, I'm told to prove that exactly one of the following can be true for an element $(x,y,z)\in\mathbb{R}^3$ ...
2
votes
1answer
18 views

Why is the set of units of integer quaternions isomorphic to the quaternion group of order 8?

Let's say that I've got a ring $V$ of integer quaternions of the form $\mathbb{Z} + \mathbb{Z}i + \mathbb{Z}j + \mathbb{Z}k$. Now assume that there exists an element $a = a_1 + a_2i + a_3j + a_4k$ ...
1
vote
1answer
51 views

Why does $ab=ba=1$ imply ${a_1}^2 + {a_2}^2 + {a_3}^2 + {a_4}^2 = 1$?

Let's say that I've got a group $V$ of integer quaternions of the form $\mathbb{Z} + \mathbb{Z}i + \mathbb{Z}j + \mathbb{Z}k$. Now assume that there exists an element $a = a_1 + a_2i + a_3j + a_4k$ ...
1
vote
0answers
38 views

Geometric intuition for normalization as intersection of valuation rings?

Why should the normalization of a ring correspond to the intersection of valuation rings containing it? I am looking for a geometric explanation, if possible. I understand that normalization at a ...