# Tagged Questions

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

16k views

### A short proof for $\dim(R[T])=\dim(R)+1$?

If $R$ is a commutative ring, it is easy to prove $\dim(R[T]) \geq \dim(R)+1$. For noetherian $R$, we have equality. Every proof I'm aware of uses quite a bit of commutative algebra and non-trivial ...
3k views

10k views

### Why can't the Polynomial Ring be a Field?

I'm currently studying Polynomial Rings, but I can't figure out why they are Rings, not Fields. In the definition of a Field, a Set builds a Commutative Group with Addition and Multiplication. This ...
549 views

### A ring isomorphic to its finite polynomial rings but not to its infinite one.

I was messing with the ring $k[x_1,\dots,x_n,\dots]$ of polynomials in numerable many variables in order to solve an exercise of Atiyah, and the following question came to me and made me curious: ...
3k views

### An example of a division ring $D$ that is **not** isomorphic to its opposite ring

I recall reading in an abstract algebra text two years ago (when I had the pleasure to learn this beautiful subject) that there exists a division ring $D$ that is not isomorphic to its opposite ring. ...
7k views

### What is Abstract Algebra essentially?

In the most basic sense, what is abstract algebra about? Wolfram Mathworld has the following definition: "Abstract algebra is the set of advanced topics of algebra that deal with abstract algebraic ...
2k views

### Fermat's Last Theorem and Kummer's Objection

In 1847 Lamé had announced that he had proven Fermat's Last Theorem. This "proof" was based on the unique factorization in $\mathbb{Z}[e^{2\pi i/p}]$. However, Kummer, proved that when $p=23$ we do ...
1k views

### $\mathbb C[X]/(X^2)$ is isomorphic to $\mathbb R[Y]/((Y^2+1)^2)$

This question led me to the following: Prove that $\mathbb C[X]/(X^2)$ is isomorphic to $\mathbb R[Y]/((Y^2+1)^2)$.
7k views

### Why is $\mathbb{Z}[\sqrt{-n}], n\ge 3$ not a UFD?

I'm considering the ring $\mathbb{Z}[\sqrt{-n}]$, where $n\ge 3$ and square free. I want to see why it's not a UFD. I defined a norm for the ring by $|a+b\sqrt{-n}|=a^2+nb^2$. Using this I was able ...
342 views

### Does every ring of integers sit inside a ring of integers that has a power basis?

Given a finite extension of the rationals, K, we know that $K=\mathbb{Q}[\alpha]$ by the primitive element theorem, so every $x \in K$ has the form $$x = a_0 + a_1 \alpha + \cdots + a_n \alpha^n$$ ...
657 views

### Is Tolkien's Middle Earth flat?

In the first introductory chapter of his book Gravitation and cosmology: principles and applications of the general theory of relativity Steven Weinberg discusses the origin of non-euclidean ...
1k views

### Ideals of $\mathbb{Z}[X]$

Is it possible to classify all ideals of $\mathbb{Z}[X]$? By this I mean a preferably short enumerable list which contains every ideal exactly once, preferably specified by generators. The prime ...
496 views

### Classification of local Artin (commutative) rings which are finite over an algebraically closed field.

A result in deformation theory states that if every morphism $Y=\operatorname{Spec}(A)\rightarrow X$ where $A$ is a local Artin ring finite over $k$ can be extended to every $Y'\supset Y$ where $Y'$ ...
1k views

### Why is the commutator defined differently for groups and rings?

The commutator of two elements in a group is defined as $[g, h] = g^{−1}h^{−1}gh.$ In a ring, the commutator of two elements is $[a, b] = ab - ba.$ I'm asking because a ring is a (abelian) group ...
1k views

### A (non-artificial) example of a ring without maximal ideals

As a brief overview of the below, I am asking for: An example of a ring with no maximal ideals that is not a zero ring. A proof (or counterexample) that $R:=C_0(\mathbb{R})/C_c(\mathbb{R})$ is a ...
3k views

### Why doesn't $0$ being a prime ideal in $\mathbb Z$ imply that $0$ is a prime number?

I know that $1$ is not a prime number because $1\cdot\mathbb Z=\mathbb Z$ is, by convention, not a prime ideal in the ring $\mathbb Z$. However, since $\mathbb Z$ is a domain, $0\cdot\mathbb Z=0$ is ...
1k views

### A finite ring is a field if its units $\cup\ \{0\}$ comprise a field of characteristic $\ne 2$

Suppose $R$ is a finite ring (commutative ring with $1$) of characteristic $3$ and suppose that for every unit $u \in R\:,\ 1+u\$ is also a unit or $0$. We need to show that $R$ is a field. Is this ...
3k views

### Are there rings whose multiplicative identity is not the number 1 or number 1-based?

Reading the basic definition of rings, I wondered if there are samples of rings whose multiplicative identity is not the number 1 or number 1-based (for instance the identity matrix is 1-based). E.g....
2k views

### Why is ring addition commutative?

What is the motivation behind axiomatically forcing the underpinning group of a ring to be abelian? Noncommutative rings are vastly more complex than commutative ones, so I am assuming that allowing ...
8k views

1k views

### Does every unital ring contain all the integers?

Let us suppose there is a ring $R$ with the multiplicative identity $1$. We know that $1+r\in R$, where $r$ is any element of the ring $R$. Does this mean $1+1$ is also part of the ring, or does $r$...
10k views

### How to show that every Boolean ring is commutative?

A ring $R$ is a Boolean ring provided that $a^2=a$ for every $a \in R$. How can we show that every Boolean ring is commutative? Thanks in advance.
2k views

### How to prove that a complex number is not a root of unity?

$\frac35+i\frac45$ is not a root of unity though its absolute value is $1$. Suppose I don't have a calculator to calculate out its argument then how do I prove it? Is there any approach from ...
5k views

1k views

### Does integration by parts with “deja vu” have a name?

In some integration by parts problems, such as evaluating the integral of $e^x \cos x$ or $\sec^ 3 x$, one performs integration by parts (possibly more than once, and possibly together with algebraic ...
644 views

7k views

### Why are maximal ideals prime?

Could anyone explain to me why maximal ideals are prime? I'm approaching it like this, let $R$ be a commutative ring with $1$ and $A$ be a maximal ideal. Let $a,b\in R:ab\in A$ I'm trying to ...
Let $R$ be a finite ring with unity. Prove that every nonzero element of $R$ is either a unit or a zero-divisor.
### Does $ab=1$ imply $ba=1$ in a ring?
Let $R$ be a ring with unity $1$ and let $a,b\in R$ be not zero divisors. Is there any counterexample for: $$ab=1\quad\Rightarrow \quad ba=1$$