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)

180
votes
0answers
8k 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 ...
21
votes
0answers
417 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'$ ...
15
votes
0answers
166 views

Can any commutative ring of characteristic $p\in\mathbb P$ be written as the form $R/(p)$ with $R$ being a ring of characteristic $0$?

Let $S$ be a commutative ring with identity with $\operatorname{char}S=p$, where $p$ is a prime number. I wonder if we can always find a ring $R$ such that $\operatorname{char}R=0$ and $R/(p)\cong ...
15
votes
0answers
161 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 ...
13
votes
0answers
213 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 ...
9
votes
0answers
88 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 ...
9
votes
0answers
176 views

Tensoring is thought as both restricting and extending?

I hope these questions are not too trivial. Let $I$ be an ideal in $R$. Write $I'\subseteq R[t]$. Then the notion of tensoring $$ (R[t]/I')\otimes_{\,\mathbb{C}[t]} \mathbb{C}[t]/\langle t-c ...
8
votes
0answers
85 views

Classification of all subrings

Let $R$ be an integral domain whose underlying additive group is finitely generated free and whose field of fractions $K$ is a finite Galois extension of $\mathbb{Q}$. Is there a method of ...
8
votes
0answers
117 views

Proving a ring in which $r^n=r$ for all $r$ is commutative.

Let $R$ be a ring with identity such that there is a positive integer $n\geq 2$ for which $r^n=r$ for all $r\in R$. Prove $R$ is commutative. I had proven before that If $n=2$ it is commutative as ...
8
votes
0answers
176 views

Is this matrix decomposition possible?

Given a $2\times2$ matrix $S$ with entries in $\mathbb{Z}$ or $\mathbb{Q}$ , when is it possible to write $S=\frac{1}{3}(ABC+CAB+BCA)$ such that $A+B+C=0$, where $A, B, C$ are matrices over the same ...
8
votes
0answers
204 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 ...
7
votes
0answers
63 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$, ...
7
votes
0answers
233 views

Homomorphic Compression

Can there be an algorithm such that, given plaintext data P,Q, and compression function e, Such that if we treat P and Q as a number (a series of bits): $$\begin{eqnarray*}e(P + Q)& =& e(P) ...
7
votes
0answers
87 views

Ramification group fixing an unramified extension

For a Galois extension of local fields $L/K$ with Galois group $G$, define the ramification groups $G_i$ by $$G_i = \{ \sigma \in G : \nu_{L}(\sigma(x) - x) \geq i+1 \text{ } \forall x \in ...
7
votes
0answers
120 views

An example of a compact multiplicatively unbounded ring

My teacher asked me to build an associative topological Hausdorff compact ring $R$ with $1$, which is multiplicatively unbounded. That means there is a neighborhood $U\ni 1$ such that $FU\not=R$ for ...
6
votes
0answers
79 views

Symmetric Algebra and Extension of Scalars

I am reading Gortz and Wedhorn's Algebraic Geometry. In their section on the symmetric algebra they explain the adjoint situation $$ \mathrm{Sym}_A \dashv i_A\colon \mathrm{Alg}(A)\to ...
6
votes
0answers
80 views

When are all ring homomorphisms also algebra homomorphisms?

Let $k$ be an algebraically closed field, and let $A,B$ be two unitary $k$-algebras. In general, there are more ring homomorphisms $A\to B$ than there are $k$-algebra homomorphisms. More precisely, ...
6
votes
0answers
129 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 ...
6
votes
0answers
133 views

Is there an upper bound to the number of rings that can be obtained from a semigroup with zero by defining an additive operation?

Let $\mathscr S$ be the class of all semigroups with zero. For $(S,\times,0)\in\mathscr S,$ I want to count additive operations $+$ on $S$ such that $(S,+,\times,0)$ is a ring (possibly without ...
6
votes
0answers
272 views

Proof of Smith Normal Form as a Generalization of Rank-Nullity Theorem

For any matrix A with entries in a PID, there exist invertible matrices P and Q such that B = PAQ, where B is in Smith normal form. This theorem is usually proved by using elementary row/column ...
5
votes
0answers
547 views

Hilbert's Basis Theorem - Clever Proof?

So I am studying commutative algebra at the moment and I have come across the proof of the Hilbert Basis Theorem (the proof I have is the same as the one in Reid's "Undergraduate Commutative ...
5
votes
0answers
91 views

Functorial approach to Ideals and Quotients, Multiplicative Sets and Localizations

I have been playing with substructures of commutative rings today and noticed that there is a strong analogy between the formation of quotients and kernels with the formation of localizations with ...
5
votes
0answers
145 views

Showing $\sqrt{2} \notin E.$

Let $E$ denote the least subring of $\mathbb{R}$ that is closed under the operation $r \mapsto e^r$. Then presumably, $\sqrt{2} \notin E.$ Question. How can we show this?
5
votes
0answers
127 views

$A$ a ring, ($\exists n\in\mathbb{N},n\geq 2,\ \forall x\in A$, $x^n=x$) $\Rightarrow$ A is commutative?

Let $A$ be a ring. Suppose that there exists $n\in\mathbb{N},n\geq 2$ such that $\forall x\in A,x^n=x$. Does that imply that $A$ is commutative ? I have read all the links suggested in the ...
5
votes
0answers
44 views

Is there an online database somewhere that lists identities for algebraic structures with two binary operators?

I'm working on an abstract algebra library in Python, and I'm trying to include as many functions that analyze algebraic structures, returning true or false based on whether or not the algebra ...
5
votes
0answers
102 views

Isomorphism between finite fields adjoining a root

Let $p(x)=x^3+x^2+1$ and $q(x)=x^3+x+1$ be polynomials over the field $\mathbb{Z}_2$. Let $\alpha$ be a root of $p(x)$ and $\beta$ be a root of $q(x)$. Now let $K=\mathbb{Z}_2(\alpha)$ and ...
5
votes
0answers
168 views

A few questions about a specific ring

My question is kinda long, so please bear with me... And I only need hints to get me started. So, I'm working on the ring $R =\left( \begin{matrix} \mathbb{Z} & \mathbb{Q} \\ 0 & ...
5
votes
0answers
64 views

When are infinite dimensional path algebras hereditary

The title says mostly everything. Suppose we have a quiver, maybe with relations and cycles. Is it known when the path algebra modulo relations is hereditary. Especially in the case that the path ...
5
votes
0answers
151 views

“Evaluation Homomorphisms” for Formal Power Series

In the ring of formal power series $\Bbb R[[x]]$ it is easy to check by induction that $$ 1 = (1-x)(1 + x + x^2 + \cdots). $$ Does this derivation imply the same identity for those real or complex ...
5
votes
0answers
392 views

Integral homomorphism induces a closed map on spectra

I'm trying to prove the following: Let $f:A\rightarrow B$ be an integral homomorphism (e.g. $B/f(A)$ is a integral extension). Consider $f^{*}: \operatorname{Spec}B \rightarrow ...
5
votes
0answers
98 views

Deciding whether or not a class of modules is “big enough”

For the last few days I'm pondering the following question. The situation is this: $R$ is a commutative ring and $A$ a (noncommutative) $R$-algebra. I have a class $\mathcal{C}\subseteq\coprod_{S} ...
5
votes
0answers
230 views

System of polynomial equations over rational field

Fix $n\geq 2$. Let $p:=x_1^2+\ldots+x_{n-1}^2+1\in\mathbb{Q}[x_1,\ldots,x_{n-1}]$. Suppose $u_1,\ldots,u_n,v_1,\ldots,v_n\in\mathbb{Q}[x_1,\ldots,x_{n-1}]$ satisfy the following equations: ...
5
votes
0answers
141 views

A characterization of $M_n(\mathbb{Z})$?

I am interested in rings $R$ with the following properties: (1) $R$ is a free $\mathbb{Z}$-algebra of finite rank (2) each two-sided ideal of $R$ is generated by an integer The matrix rings ...
5
votes
0answers
180 views

Is there a simple example of a ring that satifies the DCC on two-sided ideals, but doesn't satisfy the ACC on two-sided ideals?

It follows from the Hopkins–Levitzki theorem that if a ring satisfies the DCC on left ideals, then it also satisfies the ACC on left ideals. I've been trying to find a counterexample to the following ...
5
votes
0answers
144 views

An algebraic algorithm for finding inverses in the group algebra

This is an extension to my earlier question. Is there a purely algebraic algorithm to find inverses in the group algebra? For example, in the group algebra $\mathbb{C}S_{4}$, how would one go about ...
5
votes
0answers
456 views

Relations between semi-artinian and $\pi$-regular rings

A ring $R$ [associative, with 1, not necessary commutative] is said to be right semi-artinian if every non-zero module over $R$ has a simple submodule. A ring $R$ is said to be strongly $\pi$-regular ...
4
votes
0answers
69 views

What properties $R \subseteq S$ should have in order that every prime ideal of $S$ is extended?

My question is almost the same as In what conditions every ideal is an extension ideal?; I allow myself to ask this question, since there is no answer to the above question. My question: Given ...
4
votes
0answers
37 views

Too Many Members in a Finitely Generated Module are Linearly Dependent

I am new to module theory and as of now am not very comfortable with the subject. So can somebody please check whether my claim and its proof is okay? Consider the following statement: Let $M$ be ...
4
votes
0answers
40 views

Definitions of the ring $R/(x_0^\infty,\ldots,x_{n-1}^\infty)$

Let $R$ be a ring, and let $I = (x_0,\ldots,x_{n-1})$ be a finitely-generated ideal inside of $R$, generated by a regular sequence. In algebraic topology one often encounters a ring, usually denoted ...
4
votes
0answers
45 views

Prime ideals in a quotient

I am interested in finding the number of prime ideals in $\mathbb{Z}[x]/(12,x^2+1)$. Here is what I think. Modding out by $x^2+1$, we get $\mathbb{Z}[i]/(12)$. Factoring $12$ in the Gaussian ...
4
votes
0answers
68 views

If $\mathfrak{m}\otimes M\rightarrow A\otimes M$ is injective, what else has to be injective?

Let $A$ be a local (not necessarily noetherian) ring with maximal ideal $\mathfrak{m}$ and residue field $k$. Let $M$ be a finitely generated $A$-module such that $\mathfrak{m}\otimes_A M\rightarrow ...
4
votes
0answers
121 views

Reducing multivariate rational fractions to lowest terms

I wish to simplify multivariate rational fractions to a canonical form. Thanks to some very helpful mathematically inclined people who verified that my understanding of Wikipedia was correct, I'm now ...
4
votes
0answers
69 views

Prove $\sqrt{-7} \not\in \mathbb{Z}\left[\frac{2+3\sqrt{-7}}{4}\right]$

I have the following problem. Consider the ring $\mathbb{Z}$ and define: $$x = \sqrt{-7}\qquad z = \frac{2+3x}{4}$$ Show that $\mathbb{Z}[x] \not\subset \mathbb{Z}[z]$ and $\mathbb{Z}[z] ...
4
votes
0answers
72 views

Condition on a field that makes every subring an integrally closed domain

I want to know what condition would need to be additionally imposed on a field to make every subring of the field an integrally closed domain.
4
votes
0answers
54 views

When does $n$-dimensional algebra have $m$-dimensional faithful representation?

Suppose we have an $n$-dimensional associative unital algebra $A$ over a field $k$ (assume $\operatorname{char}(k)=0$ and maybe even $k$ is closed). I would like to know what is the minimal ...
4
votes
0answers
63 views

The ring of homogeneous polynomials

I think I found an error in my textbook, but I am not completely sure. The book is Hulek, Elementary algebraic geometry, pag. 73. There is a theorem showing that $U_i$ and the affine space ...
4
votes
0answers
79 views

Chinese Remainder Theorem stuff (but more advanced, certainly derived from)

First, let $m$,$n$ be coprime. Suppose we want to find: $x\equiv y\text{ mod }m$ $x\equiv z\text{ mod }n$ As m,n are coprime $\exists a,b\in\mathbb{Z}:am+bn=1$ (GCD=1 basically) Then, for ...
4
votes
0answers
93 views

Extension of Euclidean Domain in which irreducibles have minimal norm

For the ring of polynomials $F[x]$ over a field $F$, there exists a larger ring $\bar{F}[x]$, the ring of polynomials over the closure of $F$, in which irreducibles are linear polynomials -- that is, ...
4
votes
0answers
106 views

How to prove the ring $R_J$ is Noetherian without use the theorem of I. S. Cohen?

First define $R:=k\left[{\{X_i\}}_{i\in\mathbb{N}}\right]$ where $k$ is a field (it could be an integral domain as $\mathbb{Z}$ too for example). This ring is an integral domain and it is not ...
4
votes
0answers
112 views

The importance of being Cohen-Macaulay

I am starting to study Cohen-Macaulay rings, mainly from Bruns-Herzog book. In that book there are many examples and sentences of the type "If something satisfies this properties, then it is ...