# Tagged Questions

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

15k 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 ...
329 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$$ ...
489 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'$ ...
367 views

### Ring structure on the Galois group of a finite field

Let $F$ be a finite field. There is an isomorphism of topological groups $(\mathrm{Gal}(\overline{F}/F),\circ) \cong (\widehat{\mathbb{Z}},+)$. It follows that the Galois group carries the structure ...
202 views

### Semirings induced by symmetric monoidal categories with finite coproducts

A symmetric monoidal category with finite coproducts is by definition a symmetric monoidal category $(\mathcal{C},\otimes,1,\dotsc)$ such that the underlying category $\mathcal{C}$ has finite ...
153 views

### On the order of $\mathbb{Z}[X]/(f,g)$ and the resultant $R(f,g)$.

I suspect that $\#\mathbb{Z}[X]/(f,g)=|R(f,g)|$ holds for any two non-constant polynomials $f,g\in\mathbb{Z}[X]$, where $R(f,g)$ is the resultant of $f$ and $g$. I am however unable to prove it. I'd ...
194 views

### Ideals in $C[0,1]$ which are not finitely generated (From Atiyah- Macdonald )

I'm trying to solve the following problem from Atiyah-Macdonald: Is the ring of continuous function on $[0,1]$ is Noetherian ? Certainly not, here are two non terminating ascending chain of ...
132 views

### Study of rings of the form $R+I$

In my life I saw lots of ways of constructing rings: polynomial rings, quotient rings, localizations, endomorphism rings, rings of fractions, integral closure of a ring, center of a ring, etc... These ...
222 views

81 views

### Looking for a special class of ideals such that If every ascending chain of ideals from this class stabilizes, then $R$ is a Noetherian ring.

A commutative ring $R$ is called Noetherian if any one of the following holds: $1.$ Every ascending chain of ideals in $R$ stabilizes, that is, $$I_1\subseteq I_2\subseteq I_3\subseteq\cdots$$ ...
217 views

### Rings satisfying “for all $a \neq 0$, there is nonunit $b$ with $a+b$ a unit”

Consider the following condition on a ring: For every nonzero $a$, there is a nonunit $b$ with the property that $a+b$ is a unit. Observe that if $a$ is already a unit, then $b=0$ will do just ...
158 views

### The difference between the ring version and module version of Chinese Remainder Thereom.

Chinese Remainder Theorem for Commutative Rings If $R$ is a commutative ring with $1$ and $I, J$ are ideals of $R$ that are pairwise coprime or comaximal (meaning $I + J = R$), then $IJ = I \cap J$, ...
330 views