The commutative-rings tag has no usage guidance.

**1**

vote

**0**answers

226 views

### Rings of algebraic integers as quotients of polynomial rings

The ring of integers $\mathcal{O}_K$ of a number field $K$ is always isomorphic to some ring of the form $\mathbb{Z}[x_1, ..., x_r]/\mathfrak{p}$, where $\mathfrak{p} \subset \mathbb{Z}[x_1, ..., x_r]$...

**1**

vote

**0**answers

466 views

### Submodule embeddable in a finitely generated module

I have a terminology question. For a commutative ring $A$ (not necessarily Noetherian), $A$-modules that are isomorphic to an $A$-submodule of a finitely generated $A$-module form a fairly good class ...

**0**

votes

**1**answer

100 views

### $I$ is principal if and only if $ID_M$ is principal for all $M \in Max(D)$

In a semmi-quasi local domain $D$ ( i.e. $D$ has finitely many maximal ideals),
an ideal $I$ is principal if and only if $ID_M$ is principal for all $M \in Max(D)$.
[See Comm. Rings by Kaplansky, ...

**5**

votes

**1**answer

251 views

### Does $ \text{mult}(R / I) = d_{1} \cdots d_{r} $ imply that $ (f_{1},\ldots,f_{r}) $ is an $ R $-regular sequence?

We define the multiplicity of an $ R $-module $ M $ of dimension $ d > 0 $ to be
$$
\text{mult}(M) \stackrel{\text{df}}{=} \text{LC}(P_{M}) \cdot (d - 1)!,
$$
where $ P_{M} $ denotes the Hilbert ...

**-3**

votes

**1**answer

145 views

### Isomorphic quotient of a Module over Noetherian commutative algebra [closed]

I have a nice solution to the following problem and I thought of writing a paper about it but beforehand, I wanted to ask the problem here to see if this is an easy problem and if you people can solve ...

**1**

vote

**0**answers

85 views

### Recovering fractional ideals from ideals

Let $R$ be a Noetherian domain; let ${I_{(i)}}$ be a set of fractional ideals in $K$, the fraction field of $R$, indexed by a lattice such that $I_{(i)} I_{(j)} = I_{(i + j)}$. Let $J_{(i)} = I_{(i)} \...

**2**

votes

**0**answers

79 views

### Completion of Bezout Domain a Bezout Domain?

Let $R$ be a Bezout domain, and $I$ any ideal inside of $R$. Is the $I$-adic completion
$$ \varprojlim_i R/I^i $$
necessarily a Bezout domain? If not, what conditions (on $R$ or $I$) might ensure that ...

**7**

votes

**2**answers

350 views

### What is the probability that a random sequence of polynomials is regular?

Let $k$ be a finite field or a field with a height function, such as a number field.
Consider the ring $k[[x_1,\dots, x_n]]$ and let $\mathfrak{m}$ be its maximal ideal.
What is the asymptotic ...

**1**

vote

**0**answers

71 views

### Irreducibility of a certain matrix variety

Let $R=\mathbb{Q}[x_{i,j}\,:\, 1\leq i,j\leq n]$. Let $M$ be the $n\times n$ matrix $(x_{i.j})$. Let $\chi(M)$ be the characteristic polynomial of $M$. Finally, let $I$ be the ideal of $R$ ...

**1**

vote

**2**answers

307 views

### In this special situation, does $M \otimes B=0$ imply $M=0$?

Let $\Phi:A \rightarrow B$ be a flat morphism of commutative rings. Let $f \in A$, not a unit and $A/fA \cong B/fB$ induced by $\Phi$.
Let $M$ be an $A_f$-module. Is it true that $M \otimes_A B = 0 \...

**2**

votes

**1**answer

155 views

### Nilradical and Newton's identities

Let $R$ be a commutative ring with unity such that $n!$ is not a zero-divisor. Let $s_1=\sigma_1,s_2,s_3\cdots$ and $\sigma_1,\sigma_2\cdots$, (convention: if $k>n$, then $\sigma_k=0$) be elements ...

**5**

votes

**1**answer

190 views

### Units of $\mathbf Z[X,Y]/(P(X,Y))$

Let $P(X,Y)\in \mathbf Z[X,Y]$ be an irreducible polynomial and let $A$ denote the quotient ring $\mathbf Z[X,Y]/(P)$.
What is known about the group of units of $A$?
It's not even clear to me that ...

**3**

votes

**1**answer

173 views

### Idempotent fractional ideals of a Noetherian domain

Let $R$ be a commutative Noetherian domain, $K$ its fraction field, and $J$ a fractional ideal (i.e. a finitely generated sub-$R$-module of $K$) such that $J^2=J$. Is it true that $J=0$ or $J=R$? If ...

**8**

votes

**1**answer

799 views

### Algebraic Closure of a Ring is Not a Ring?

I'm trying to motivate the notion of integrality in a ring extension. It seems that the following would be a good motivation, because it would show that the notion of algebraic elements over a ring is ...

**3**

votes

**0**answers

182 views

### Domains with prime ideal theorems

Let $D$ be a domain, and for prime ideals $\frak P$ of $D$ the norm is $N({\frak P}):=|D/{\frak P}|$. The prime ideal counting function of $D$ is given by $\pi_D(x)=\#\{{\frak P}\in{\rm Spec}(D):N({\...

**3**

votes

**2**answers

183 views

### Linear polynomials in units of number fields

I would be thankful for a reference to any result that says "how often" an equation of the form $$c_1x_1 + c_2x_2 + ... + c_nx_n = 0,$$
where $n$ is fixed, $c_1, ..., c_n \in \mathcal{O}_K$ are ...

**11**

votes

**7**answers

869 views

### Properties of rings that have an elegant description in terms of the associated category of modules

Suppose $A$ is a ring. Then $A$ happens to be a division ring iff every left $A$-module is free. (See here for proofs). I think this is very beautiful; what other properties of rings have an elegant ...

**0**

votes

**1**answer

227 views

### reduction of an admissible filtration

Let $(R,m)$ be a local ring and $I$ an $m$-primary ideal of $R.$ $\lbrace I_n\rbrace_{n\in\mathbb{Z} }$ is called $I$-admissible filtration
1) if $m\geq n$ then $I_m\subset I_n.$
2) for all $m,n,$ $...

**1**

vote

**1**answer

114 views

### Relation between local cohomology and koszul cohomology of multigraded ring

Let $R$ be a ${\mathbb {Z}}^k$-graded Noetherian ring, $J=(x,y)$ an ideal of $R$ where $x,y\in R_{(1,\ldots,1)}.$ Is this following true $$H_{J}^i(R)=\underset{n}\varinjlim{H^i((x^n,y^n),R)},$$ where $...

**1**

vote

**1**answer

146 views

### question about valuation ring

$k$ algebraically field, $A$ $k$ algebra and valuation ring of $K$ ($K$ field fraction of $A$) and we have the transcendence degree of $K$ over $k$ is one.
i want to ask if $A$ is noetherian ring?

**5**

votes

**2**answers

882 views

### intersection of finitely many maximal ideals

For what commutative rings with infinitely many maximal ideals we can say that the intersection of any combination of finitely many maximal ideals is not zero?
Obviously it holds for Dedekind domains ...

**1**

vote

**1**answer

173 views

### Does the going-up theorem hold between flat algebras?

Let $R$ be a commutative Noetherian ring with unit and $S$ a flat $R$-algebra. Does the going-up theorem hold between $R$ and $S$?

**3**

votes

**2**answers

447 views

### An identity in an arbitrary commutative ring

This fact might be either trivial, wrong, or well known.
Let $R$ be a commutative ring. Let $u_1,\dots,u_{s-1},u_s\in R$ and $m,M\in R$. Let us assume that $m,M$ satisfy
$$(m-u_1) \dots (m-u_{s-1})=0,...

**5**

votes

**2**answers

667 views

### The Weyl algebra modules which are also rings

Consider the space $C^\infty(\mathbb{R})$. We have on it a natural action of the Weyl algebra generated by $x$ and $d/dx$, where $x$ is the coordinate on $\mathbb{R}$, and there is plenty of Weyl ...

**0**

votes

**0**answers

126 views

### Cubic field and the corresponding cubic binary form

I am currently reading about binary cubic forms and cubic number fields (mainly about using binary cubic forms with integer coefficients to parametrize orders in the cubic field) and I thought it ...

**-3**

votes

**1**answer

114 views

### R is a commutative ring and every ideal is either R or 0. Show that R is a field [closed]

Assume that R is a commutative ring and every ideal is either R or 0. Show that R is a field.
How can I show this without first being given that $ 1\ne 0 \in R$

**0**

votes

**2**answers

265 views

### Tensor powers of an algebra all isomorphic

Let $k$ be a commutative ring with total quotient ring $K$, and let $A$ be a commutative $k$-algebra such that the multiplication map $A \otimes_k A \longrightarrow A$ is an isomorphism.
EDIT: Assume ...

**3**

votes

**2**answers

573 views

### Condition for a local ring whose maximal ideal is principal to be Noetherian

The statement "a local ring whose maximal ideal is principal is Noetherian" is (I think) false. The ring of germs about $0$ of $C^\infty$ functions on the real line seems to be a counterexample since ...

**1**

vote

**0**answers

95 views

### Graded Betti Numbers of a Graded Ideal with Linear Quotients

Exercise 8.8 in Monomial Ideals by Herzog and Hibi:
Let $I\subset S=K[x_{1},...,x_{n}]$ be a graded ideal which has linear quotients with respect to a homogeneous system of generators $f_{1},...,f_{m}...

**2**

votes

**1**answer

155 views

### Do group identities of quotient with radical lift?

Let $R$ be a commutative Artinian ring and $J(R)$ its radical. Assume that the quotient $R/J(R)$ is a GI-ring.
(definitions that i use: I call a ring $S$ a GI-ring if its unit group, $\mathcal{U}(S)$,...

**-1**

votes

**1**answer

383 views

### Recursive Non-standard Models of Modular Arithmetic? [closed]

Any algebraically closed field (ACF) is a model of Modular arithmetic (MA). (MA) has the same axioms as first order Peano arithmetic (PA) except $\forall x(Sx \neq 0)$ is replaced with $\exists x(Sx=0)...

**2**

votes

**1**answer

207 views

### Checking flatness using radical ideals

Let $R$ be a commutative ring and $M$ a not necessary finitely presented $R$-module. I am looking for a prove or a counterexample to the following statement: $M$ is flat as an $R$-module if and only ...

**1**

vote

**0**answers

118 views

### Universally catenary and all its formal fibers over minimal members are Cohen-Macaulay but it has a nonCohen-Macaulay formal fiber

Please help me to find a Noetherian local ring $R$ such that: $R$ is universally catenary and all its formal fibers over minimal members of $Spec(R)$ are Cohen-Macaulay but $R$ has a nonCohen-Macaulay ...

**6**

votes

**0**answers

172 views

### Square of primary ideals

Is there any example of a $P$-primary ideal $I$ in a noetherian domain $R$ such that $I^2=PI \not=P^2$?

**4**

votes

**0**answers

257 views

### Ext groups of affine scheme

Let $A$ be a commutative ring. $\textbf{Spec}(A)$ is the the
spectrum of $A$. $M$ and $N$ are $A$-modules. $\tilde{M}$ and
$\tilde{N}$ are sheaves associated on $\textbf{Spec}(A)$
respectively.
I ...

**0**

votes

**1**answer

192 views

### Depth of polynomial ring $S=\Bbb{R}[x_1,x_2,x_3,…,x_n,…]$

Consider the polynomial ring of countable variables with coefficients in the real numbers, i.e, $S=\Bbb{R}[x_1,x_2,x_3,...,x_n,...]$. My Question is about the depth of this ring.
Question: Could we ...

**5**

votes

**3**answers

198 views

### Subset of Spec(A) realized as inverse image of some Spec(B)

Let $A$ be a (commutative) ring and $U$ be an arbitrary subset of $\mathrm{Spec}(A)$. Do there exist a ring $B$ and a ring homomorphism $\varphi\colon A\to B$ such that $\varphi^{-1}(\mathrm{Spec}(B))=...

**1**

vote

**1**answer

323 views

### chain of prime ideals in polynomial ring $S=\Bbb{R}[x_1,x_2,…,x_n,…]$

Consider the polynomial ring of countable variables with coefficients in the real numbers, i.e, $S=\Bbb{R}[x_1,x_2,x_3,...,x_n,...]$. Is the following question true?
Question: Is there any maximal ...

**9**

votes

**0**answers

208 views

### Is the generation of rings by their units a question in K-theory?

Susan's question When can number rings be spanned (as $\mathbb{Z}$-modules) by units? smells like an algebraic K-theory question in disguise. I'll reformulate the question first:
Given an integral ...

**2**

votes

**1**answer

128 views

### Hilbert Regularity in relation to degree of generators

Suppose we look at the $\mathbb {C}$ module $\mathbb{C}[x_1,\dots,x_n]=\oplus{S_i}$ where $S_i$ are the polynomials of degree $i$. Then we look at a subring $R$ (also a $\mathbb {C} $ module) ...

**10**

votes

**2**answers

408 views

### Are these rings of functions isomorphic?

Let $R$ be the ring of all functions $f : \Bbb{R}\longrightarrow \Bbb{R}$ which are continuous outside $(-1,1)$ and let $S$ be the ring of all functions $f : \Bbb{R}\longrightarrow \Bbb{R}$ which are ...

**0**

votes

**1**answer

306 views

### Number of Minimal left ideals in the full matrix ring over a finite commutative local ring

Inspired with another QUESTION I would like to know the number of minimal left ideals of $M_n(R)$ in terms of $n$ and $R$ where $R$ is a finite local commutative ring with identity ?

**6**

votes

**1**answer

597 views

### Is an ideal generated by multilinear, irreducible, homogeneous polynomials of different degrees always radical?

I asked this question on math.se and someone even put a bounty on it, yet there was no answer. Hence, I am asking here. Assume $\Bbbk$ to be a field of characteristic zero.
Definition. A ...

**2**

votes

**0**answers

54 views

### lift isomorphic in a sufficiently thick fiber

Let $P$ and $P'$ two polynomials in $k[[\pi]][t]$ for an algebraically closed field $k$ and let $A=k[[\pi]]$.
We consider $ X'=Spec (A[t]/(P'))$ and $X=Spec (A[t]/(P)$.
Let $d=val(\Delta(P))$ where $\...

**2**

votes

**1**answer

98 views

### on smoothness of morphisms on an artinian base

Let $A$, $B$ two smooth $R$-algebras of finite type for a artinian local ring $R$.
Let $I$ an ideal such that $I^{2}=0$ and $\bar{R}=R/I$.
We assume that the map $Spec B/IB\rightarrow Spec A/IA$ is ...

**2**

votes

**0**answers

101 views

### What is known about the krull dimension of an ultrapower ring?

Let $R$ be a ring, $F$ a free ultrafilter on a set $X$ which is not countably complete, and $R_F$ the ultrapower of $R$ with $R \not\cong R_F$. The following two results are from a masters thesis ...

**2**

votes

**1**answer

181 views

### elementary question on a completion of a ring

Let $k$ a field, and $k[\epsilon]=k[X]/(X^{2})$ , what is the completion of the ring $k[\epsilon][t]$ with respect to the ideal $(t^{2}+\epsilon)$?

**2**

votes

**1**answer

175 views

### A class of rings related to rings with IBN property [closed]

A ring $R$ (with 1) has IBN property if free $R$-modules have unique rank (e.g., commutative rings). In the same fashion, lets call $R$ a good ring if in every free $R$-module any independent set can ...

**5**

votes

**2**answers

440 views

### Isomorphic rings of functions

Let $X$ and $Y$ be two topological spaces with $C(X) \cong C(Y)$ (where $C(X)$ is the ring of all continuous real valued functions on $X$). I know that we can not conclude that $X$ and $Y$ are ...

**2**

votes

**1**answer

252 views

### Symmetric algebra of an ideal and syzygies

Let $(R,\mathfrak{m})$ be a Cohen Macaulay local ring and $I=(a_1,\ldots,a_g,a_{g+1})$ an almost complete intersection ideal of codimension $g.$ Let $R^k\longrightarrow R^{g+1}\longrightarrow I\...