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 (1)

0
votes
3answers
31 views

I need help to solve this problem

Let $R$ be a subring of a field $F$ such that for each $x \in F$ either $x\in R$ or $x^{-1} \in R$. Prove that if $I$ and $J$ are two ideals of $R$, then either $I \subseteq J$ or $J \subseteq I$.
0
votes
1answer
54 views

Automorphism group of the ring $\mathbb{F}_3\left[t,\frac{1}{t}\right]$

Let $R=\mathbb{F}_3\left[t,\frac{1}{t}\right]$ be a ring. What is the simplest form of $\mathrm{Aut}(R)$ ? Here $t$ is a variable and $R$ is the smallest ring contained in field ...
1
vote
1answer
36 views

Properties of Jacobson radical

I'm looking for an example of ring epimorphism $\varphi:R\rightarrow S$ such that the natural homomorphism $\tilde\varphi:J(R)\rightarrow J(S)$ is not surjective, where $J(R)$ is a Jacobson radical.
0
votes
1answer
29 views

Generators over semiperfect rings

It is clear that if $R$ is a ring with identity and $e\in R$ is an idempotent then $Re$ is a direct summand of $R$ while $R$ is a generator in the category of left $R$-modules. I have my question when ...
2
votes
1answer
38 views

Prove that $(2)$ is a prime ideal in $\mathbb Z[w]$

Let $w\in\mathbb C$ be such that $w^3=1$ and $w\neq1$. Prove that $(2)$ is a prime ideal in $\mathbb Z[w]$, and describe $\mathbb Z[w]/(2)$. What I wanted to do is to show that $\mathbb Z[w]$ is a ...
2
votes
2answers
71 views

Verify that R is a ring

Let $\alpha = \frac{1}{2}(1+\sqrt{-19}) \in \mathbb{C}$ and $R = \{a+b\alpha\mid a,b \in \mathbb{Z}\} \subseteq \mathbb{C}$. Is R an integral domain with unity? My attempt: (Please correct me if I ...
3
votes
3answers
62 views

Simple form of a ring

What is a simple form of this ring: $$\mathbb{Z}[\sqrt{2}][x]/(5,x^2+1),$$ I know that $\mathbb{Z}[\sqrt{2}][x]=\mathbb{Z}[x,y]/(y^2-2)$. Probably, I should use second theorem of isomorphism, but I ...
1
vote
1answer
29 views

Rings With Bounded Index of Nilpotency are Dedekind Finite

Recently in an article by A. A. Klein I have seen this result: A ring $R$ with Bounded Index of Nilpotence is Dedekind Finite. Can anyone help me proving this result?
-1
votes
1answer
60 views

Is $\{3,5,6\}$ a $2\mathbb{Z}$-sequence?

I have just started reading about the concept of $M$-regular sequences on my own and to understand the definition I asked myself the following question: Is $\{3,5,6\}$ a $2\mathbb{Z}$-sequence? ...
3
votes
1answer
41 views

What happens if we change the definition of quotient ring to the one that does not have ideal restriction?

From Wikipedia: Given a ring R and a two-sided ideal I in R, we may define an equivalence relation ~ on R as follows: a ~ b if and only if a − b is in I. ...
1
vote
1answer
55 views

Example of $I$-adic topology of submodule not matching subspace topology?

I'm reading about the $I$-adic topology on $M$ for $R$ a commutative ring, $I$ an ideal of $R$ and $M$ an $R$-module. The references I'm reading don't provide examples, but they say that if $N$ is a ...
1
vote
0answers
22 views

what happens if we adjoin elements in a ring not by ideals and quotient ring? [closed]

We often adjoin elements in a ring by using ideals which results in a quotient ring. What happens if we adjoin elements that cannot use ideals method? What is the general property of the resulting ...
2
votes
3answers
69 views

Show that $R/I$ is a field, where $R$ is a PID , where $I$ is a nonzero prime ideal.

Let $I \neq \{0\} $ be a proper ideal of a $PID$ $R$ such that the quotient ring $R/I$ has no zero divisors. I have a problem in showing that $R/I$ is a field. Help Needed!!
2
votes
2answers
31 views

Show that $q\equiv_8 1$ when $q$ is an odd square number [duplicate]

Problem: Given: q is an odd squared number - show that: $q\equiv_8 1$ My assumption: $\forall q\in N:\exists a \in Z: a =1\pmod{2}$ and $a^2=q$. Then I tried to show that it's only true satisfyingly ...
4
votes
2answers
46 views

Why is $I$ often an ideal in quotient ring $A/I$?

When talking about quotient ring $A/I$, where $A$ is a ring, $I$ is often assumed to be an ideal. Why is this so? What makes ideals very important when discussing quotient ring?
1
vote
0answers
39 views

For a given integer $n>1$ , for which type of rings $R$ is it true that $(xy-yx)^n=0 , \forall x,y \in R \implies R$ is commutative?

For a given integer $n>1$ , for which type of rings $R$ is it true that $(xy-yx)^n=0 , \forall x,y \in R \implies R$ is commutative ? (It is obvious indeed that if $R$ is an integral domain or a ...
3
votes
2answers
53 views

Suppose $M$ is a Noetherian $R$-module and $\phi: M \rightarrow M$ is an $R$-module endomorphism of $M$.

So I did an exercise in my algebra textbook which was to show that $\ker(\phi^n) \cap \operatorname{im}(\phi^n) = 0$ and show that if $\phi$ is surjective, then $\phi$ is an isomorphism. I thought to ...
1
vote
1answer
40 views

For a commutative ring $R$, why does $1-ab$ being a non-unit leads to $1-ab \in M$ for some maximal ideal $M$?

Suppose there is a commutative ring $R$, without any restriction. Now suppose $a,b \in R$. If $1-ab$ is a non-unit, why is there at least one maximal ideal $M$ that $1-ab \in M$?
2
votes
1answer
48 views

Is $(X^3 - 18X + 12, 5) \in \mathbb{Z}[X]$ a prime ideal?

I'm trying to determine wheter $A = (X^3 - 18X + 12, 5)$ and $B = (X^3 - 18X + 12, X-1)$ is a prime ideal in $\mathbb{Z}[X]$ and $\mathbb{Q}[X]$. I know that $A = \mathbb{Q}[X]$ since I can make ...
2
votes
1answer
33 views

Is it always possible to extend a ring to a unital ring?

Just started learning algebra. So it's defined that ring is the ring not requiring a multiple 1, while unital ring does. Given a ring, is it always possible to extend it to a unital ring?
1
vote
1answer
43 views

Question related to commutative ring being Noetherian

Let $A$ be a commutative ring with $1$, and $A = (f_1, \ldots, f_n)$. I want to prove the following: If $A$ is a Noetherian ring, then so is $A_{f_i}$ (which is the ring $A$ localized at $f_i \in ...
-2
votes
2answers
40 views

Is integrally closed domain finitely generated? [closed]

Does integrally closed domains have finite number of generators that generate the whole ring?
1
vote
1answer
32 views

Is ring R itself a finitely generated module over $R$?

It seems trivial that ring $R$ itself is a $R$-module. But then can we say R is finitely generated by multiplicative identity? That seems so trivial..
2
votes
1answer
42 views

the number of zero divisors in polynomial ring

I was looking for an answer on the question How much zero divisors are in the ring $\dfrac{\mathbb{Z}_3[x]}{(x^4 + 2)}$? when I came up with the brilliant/hack-isch idea that it might just be ...
1
vote
2answers
61 views

Total ring of fractions of a Noetherian reduced ring is artinian

I'm doing the preparation to an exam, and I'm stuck in the following: If $R$ is a Noetherian ring with zero nilradical ($N(R) = 0$), and $S$ is the set of regular elements of $R$ ($r \in S$ if $rs ...
3
votes
1answer
33 views

Integral closed domain and localization of $\mathbb{Z}$ respect to prime ideal

We know that $\mathbb{Z}$ is integrally closed domain. This means that with respect to its prime ideal $p$, localization $\mathbb{Z}_p$ is also integrally closed in its field of fractions. Suppose ...
2
votes
2answers
65 views

integral ring extension, maximal ideals

Let $\varphi:A\rightarrow A'$ be an integral ring extension. 1) Show that for every maixmal ideal $m'\subset A'$ the ideal $\varphi^{-1}(m')\subset A$ is maximal 2) and that for every maximal ideal ...
2
votes
0answers
40 views

Counting rings of order $p^3$

MathWorld states that there are exactly 52 rings of order 8 (multiplication in rings may be not commutative and perhaps there will be no neutral element) and 53 rings of order $p^3$ where $p$ is an ...
1
vote
1answer
39 views

Characteristic of a ring: intuitive explanation

I know the following definition of characteristic of a ring: it is the smallest positive $n$ such that $$\underbrace{a+\cdots+a}_{n \text{ summands}} = 0$$ for every element a of the ring, if $n$ ...
0
votes
1answer
33 views

example of an integral domain that is not integrally closed and showing that some localization is also integrally not closed

Can anyone show an example of integral domain that is integrally not closed and also show that one of its localization respect to maximal ideal is not integrally closed?
0
votes
0answers
59 views

How cannot localization of any integral domain respect to maximal ideal not be integrally closed?

Suppose that there is integral domain $I$. Now we take localization $I_m$ of $I$ respect to its maximal ideal $m$. $I_m$'s elements will consist of $a/b$ where $a \in I$ and $b \in m$. But integral ...
-4
votes
2answers
42 views

Conditions on ideal b for fields or integral domains

Let $A$ be a ring and $b$ be an ideal of $A$. Prove that 1. $A/b$ is a field $\iff b$ is maximal 2. $A/b$ is an integral domain $\iff b$ is prime I figure that the first is derived from the fact ...
0
votes
0answers
61 views

Solve $x^2 + 2 = y^3$ for integer $x$ and $y$ [duplicate]

I am asked to find all integers $x$ and $y$ which satisfy $x^2 + 2 = y^3$. I am given the hint that I should work in the unique factorization ring $\mathbb{Z}[\sqrt{-2}]$. So I could write the ...
1
vote
1answer
41 views

Why is $\mathbb{Z}_2[X]$ a principal ideal domain?

I used that $\mathbb{Z}_2[X]$ is a principal ideal domain to understand something but than I realized that in the lecture, we only noted that if we have a field, its polynomial ring is a domain. How ...
2
votes
2answers
60 views

Bijection between sets of ideals

Let $A$ be a ring and $\mathfrak{b}$ be an ideal of $A$. Prove that the assignment $$\mathfrak{c} \mapsto \mathfrak{c}/\mathfrak{b}$$ induces a one-to-one correspondence between the ideals of ...
0
votes
3answers
42 views

Paradox of Field & Integral Domain in Venn Diagram

Check out venn diagram from this link, which is the order of number systems that has been embedded in my mind since grade school. Notice here that the integer $\mathbb Z$ is "inside" the rational ...
12
votes
3answers
99 views

Prove that $2$, $3$, $1+ \sqrt{-5}$, and $1-\sqrt{-5}$ are irreducible in $\mathbb{Z}[\sqrt{-5}]$.

So the Norm for an element $\alpha = a + b\sqrt{-5}$ in $\mathbb{Z}[\sqrt{-5}]$ is defined as $N(\alpha) = a^2 + 5b^2$ and so i argue by contradiction assume there exists $\alpha$ such that $N(\alpha) ...
0
votes
1answer
29 views

Ring isomorphism and indempotent element

Let $R$ be a ring. How to show that $R\cong R_1\times R_2 $, where $R_1,R_2$ are nontrivial rings, if and only if there exist $e\in R,\ e\neq0,1$ such that $e^2=e$ ? I need only hints.
3
votes
1answer
39 views

Isomorphism of rings (with parameters)

Let $p$ be a prime number. For each choice of $a,b\in \mathbb{F}_p,$ let $F(a, b)$ be the ring $\mathbb{F}_p[X]/(X^2+aX+b).$ Find all possible choices of $(a, b), (a', b')\in \mathbb F_p \times ...
0
votes
2answers
30 views

In any ring $R$ with a multiplicative identity , does every non-unit element belongs to some maximal ideal of $R$ ?

In a ring $R$ with a multiplicative identity , does every non-unit i.e. non-invertible element belongs to some maximal ideal of $R$ ?
1
vote
2answers
46 views

maximal ideals in $\mathbb{Z}_2[X]$

I am looking for maximal ideals in $\mathbb{Z}_2[X]$. I started by considering principal ideals. \begin{eqnarray*} \langle 0 \rangle &=& \{\}\\ \langle 1 \rangle &=& \mathbb{Z}_2[X] ...
2
votes
1answer
30 views

prime elements, irreducible elements, unique factorization (rings)

I am currently trying to understand different kinds of rings. Is my understanding of the following correct? Prime elements are always irreducible. The decomposition of a ring element into prime ...
1
vote
1answer
49 views

Question about split monomorphisms of free modules over local rings

In May's notes on Cohen-Macaulay and Regular Local Rings, during the proof of Serre's theorem on page 9, he claims that if $R$ is a local ring and $\phi\colon F\to F'$ is a map of finitely ...
2
votes
1answer
64 views

Maximal ideals of $R[x_1,\ldots,x_n]$ that is $R$ is a commutative rings with identity

Let $R$ be a commutative ring with identity and $R[x_1,\ldots,x_n]$ a polynomial ring over $R$. What are maximal ideals in $R[x_1,\ldots,x_n]$? How are, if $R$ is a Hilbert ring (Jacobson ring)?
2
votes
2answers
36 views

Silly question about group rings

Let $R$ be a ring and $G$ be a finite group, and $RG$ be the group ring. What does it mean to say that |$G$| is invertible in $R$? Since |$G$| $\in \mathbb{N}$, so |$G$|is not an element of $R$, does ...
9
votes
2answers
114 views

Prove that $\Bbb Z[\sqrt{2}, \sqrt{3}]$ does not equal $\Bbb Z[\sqrt{2} + \sqrt{3}]$.

Prove that $\Bbb Z[\sqrt{2}, \sqrt{3}]$ does not equal $\Bbb Z[\sqrt{2} + \sqrt{3}]$. This is homework. I want to prove that these are different sets. The first set is the smallest ring ...
3
votes
1answer
48 views

Does there exist $\mathbf{Q} \subset R \subset \mathbf{C}$, $R$ ring & not field

I am looking for an example of a field extension $k \subset F$ and a unital ring $R$ that is not a field such that $$k \subset R \subset F.$$ I know if $F$ is algebraic over $k$, then this is not ...
1
vote
1answer
31 views

A question about opposite ring.

I am reading this article about opposite rings. Are there relevant (or important) results about those rings? What opposite rings for?
2
votes
6answers
61 views

Ring homomorphism $\mathbb{Z}/8\mathbb{Z} \to \mathbb{Z}/5\mathbb{Z}$ implies $1=0$

Let $f$ be an ring homomorphism from $R_1$ to $R_2$ and define $f^*$ as the homomorphism from the group of units of $R_1$ to the group of units of $R_2$. Suppose $f^*$ is surjective, the question is ...
0
votes
1answer
48 views

The monomials not inside $in_<(I)$ form a K-basis inside the Quotient ring

Given the quotient ring $T/I$, where $T=K[x_1,...,x_n]$ is a polynomial ring and $I$ is an ideal. I need to show that for any monomial $x^u:=x_1^{u_1}*...*x_n^{u_n}$, if the monomial is not inside ...