Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.

learn more… | top users | synonyms (1)

1
vote
1answer
176 views

Generalizing Dedekind's Factorization Theorem

A classical theorem due to Dedekind states the following: Let $O_{K}$ be the ring of integers of a number field $K$, and assume $K$ is generated by adjoining the algebraic integer $\alpha$ to ...
-1
votes
1answer
167 views

Which finite cyclic groups can be characterized by Lattice isomorphism and isomorphism between their automorphism groups?

Given a finite cyclic group $G$, we denote by $L(G)$ the lattice of its subgroups, and by $\mathop{\rm Aut}(G)$ the automorphism group of $G$. Let $H$ be any group. Assume that $L(G)\cong L(H)$ and ...
6
votes
0answers
205 views

Is $k(\!(x,y)\!)$ a topological field?

More generally, let $(R,m)$ be a Noetherian local domain with fraction field $K$. The $m$-adic topology turns $R$ into a topological ring. When $R$ is a discrete valuation ring, this topology extends ...
0
votes
0answers
56 views

Non-local differentially smooth algebra

Let $A$ be a noetherian commutative algebra over a perfect field $k$. The algebra $A$ is said to be differentially smooth over $k$ if (1) $\Omega^1_{A/k}$ is a projective $A$-module, and (2) the ...
3
votes
1answer
174 views

Maximal ideals of polynomial ring containing a fixed element

We know that for a field $k $ and $f\in k [x]$, the only maximal ideals of $k [x]$ containing $f $ are the ideals generated by prime factors of $f $. Now, I want to know that if $R $ is an arbitrary ...
3
votes
0answers
277 views

A relation between a ring with its polynomial ring

Let $\{f_i(x)\}_{i\in I}$ be a subset of $R[x]$ where $R[x]$ is the polynomial ring of $R$(a commutative ring with identity). If the ring $R/\langle f_i^2(n)-f_i(n)\rangle_{i\in I, n\in A}$, for every ...
2
votes
1answer
260 views

Dimension of a commutative ring

For a commutative ring $R $ with identity, if $Nil (R)\not= J (R)$, can we deduce than $dim (R/J (R))<dim (R)$? ($R $ has finite $Krull$ dimension (=$dim$), $Nil (R)$=the set of all nilpotent ...
53
votes
1answer
1k views

$R$ is isomorphic to $R[X,Y]$, but not to $R[X]$

Is there a commutative ring $R$ with $R \cong R[X,Y]$ and $R \not\cong R[X]$? This is a ring-theoretic analog of my previous question about abelian groups: In fact, in any algebraic category we may ...
2
votes
0answers
76 views

If $A$ is an integer ring such that each $P \in A_L[X]$ has a finite number of zeros in $A$, is $A$ commutative?

Let $A$ be a ring in which the product of any two nonzero elements is nonzero (we shall say that $A$ is an integral domain, even if $A$ is non commutative). It is well-known that if $A$ is ...
1
vote
1answer
266 views

maximal ideals of polynomial ring

For a maximal ideal $ n $ of polynomial ring $ R [x] $ over a commutative ring $R$ with identity, are there conditions under which $m [x]\subset n$, for some maximal ideal $m$ of $R$?($m [x] $ is ...
1
vote
0answers
73 views

Grobner basis for a general algebra

Let $R$ be a quotient of the polynomial ring $\mathbb{C}[x_1,\dots , x_n]$. We fix a $\mathbb{C}^*$ action on $R$ which preserve homogenous components and the multiplication. (The geometric analogue ...
1
vote
0answers
68 views

A problem related to parametrizing $\operatorname{rank}\le r$ matrices and Segre embedding

Given a field $k$. We denote $A_{mn}=k[\{X_{ij}\}_{1\le i\le m,1\le j\le n}]$ a polynomial ring of $mn$ variables. Given $m,n,r>0$, we have a natural homomorphism $\phi\colon A_{mn}\to ...
6
votes
1answer
146 views

When does 'Zariski tangent space derivative' vanishes everywhere imply that a section is constant?

Consider an abelian algebra, $R$, over the field $K$ with the properties that every residue field of $R$ is (canonically) isomorphic to $K$ (I'm not sure but I think this is necessary, otherwise we ...
4
votes
1answer
233 views

What kinds of limits does localization of commutative rings reflect?

Localization of commutative rings is a left exact left adjoint, so it behaves nicely with plenty of things. Local-to-global principles are also abundant in commutative algebra, and I thought some of ...
2
votes
0answers
211 views

Looking for a reference in commutative algebra

I need "I.G. Macdonald, Secondary representation of modules over a commutative ring, Sympos. Math. 11 (1973) 23–43." in my research, but it seems to be very old and rare. Does anyone know a site for ...
4
votes
0answers
114 views

Reference request for $R$-index

Let $R$ be a noetherian domain with field of fractions $F$, let $V$ be a finite-dimensional $F$-vector space, and let $M,N \subseteq V$ be $R$-lattices in $V$ (finitely generated $R$-submodules of $V$ ...
8
votes
2answers
286 views

Spectrum of Ring of Smooth Functions on $\mathbb{R}^n$

When we define smooth manifold, we starting with topological space $M$ which localy homeomorphic to $\mathbb{R}^n$ and setting up sheaf $\mathscr{F}(M)$ of functions on it which localy isomorphic to ...
0
votes
0answers
53 views

Extending grading of subring to entire ring

Let $R$ be a (commutative) subring of $S$, and assume that $R$ is graded by an abelian group $G$. Is there anything known, possibly under less general circumstances, about the existence/uniqueness of ...
12
votes
1answer
409 views

Examples and Counterexamples in Commutative Algebra

There are Counterexamples in Analysis and Counterexamples in Topology. Is there any similar book for commutative algebra? I want to see some more (counter)examples for Atiyah and MacDonald's book. Let ...
3
votes
1answer
270 views

Which commutative rings have irreducible (maximal) spectra?

Does there exist any term (or, maybe, a "description"?) for commutative unital noetherian rings such that their Jacobson ideals are prime (and so, their maximal spectra are irreducible)? What is the ...
1
vote
0answers
137 views

A family of maximal ideals

Let $m_i $, $i \in I,$ be an infinite family of maximal ideals in a commutative ring with identity (it is not supposed to be Noetherian). When does there exist $j \in I$ such that $\cap_{i\not= j} ...
1
vote
0answers
108 views

Algebraic independence criterion

Is there any criterion for checking algebraic independence of a set of polynomials in $n$ variables in terms of the leading monomials with respect to some monomial order ? The Jacobian criterion is ...
4
votes
1answer
119 views

Reference on the classification of (low rank) Gorenstein rings over $\mathbb{C}$

I am interested in the question of the classification of (low rank) Gorenstein rings over $\mathbb{C}$. The socle of a local algebra is the annihilator of its maximal ideal. A commutative local ring ...
1
vote
0answers
66 views

Cubic, divisor of rational function $x/z$? [closed]

Let $k$ be a field, and let $a \neq 0$, $1 \in k$. Let $C = V(y^2z - x(x-z)(x - az))$. What is the divisor of the rational function $\psi([x, y, z]) = x/z \in k(C)$?
1
vote
0answers
134 views

Local cohomology commuting with fiber

Let $A$ be a nice commutative ring (say, $A=k[t_1,\ldots , t_n]$, ring of polynomials over an algebraically closed field $k$). Let $M$ be an $A[x]$-module, which is finitely generated as an ...
1
vote
1answer
89 views

Theorem 16 , Chapter 5 of Northcott 's, Finite Free Resolutions: p.grade

Let $R$ be a commutative ring with identity. D.G. Northcott's, Finite Free Resolutions, has: and in Theorem 16 of Chapter 5 proves that: $p.grade(I,M) = p.grade(P,M)$ for some prime ideal $P$ ...
9
votes
0answers
158 views

$A$-module is free if and only if equation involving Hilbert-Poincaré series holds, $M$ infinitely generated case

See my question here. Let $A = \oplus_{i \ge 0} A_i$ be a nonnegatively graded commutative algebra and $M$ a nonnegatively graded $A$-module. Assume in addition that $A_0 = k$ and all vector ...
20
votes
1answer
677 views

Examples of Noetherian overkill

I have read in many places that the noetherian hypothesis is often overkill - both in commutative algebra and in ($\overset?=$) algebraic geometry. In particular, I've read that coherence and finite ...
0
votes
0answers
112 views

The limit of parametrized algebraic variety

Consider the following situation. Take our field to be complex number $\mathbb{C}$, and the polynomial ring $\mathbb{C}[x_1,x_2,\dots,x_n]$. Suppose one has an ideal $I \subset ...
0
votes
1answer
72 views

Generalization of a Result about degree bounds of invariant rings

A theorem of Knop states that if $G$ is semisimple and connected acting on a vector space $V$ over a field $K$ of characteristic 0, then the degree of the Hilbert series of $K[V]^G$ is less than or ...
16
votes
1answer
417 views

Koszul complex for non-Koszul algebras

Let $A$ be a graded, connected, locally finite, quadratic algebra over a field $k$; that is, $A$ may be presented as $T(V)/I$, where $V = A_1$ is a finite dimensional $k$ vector space, and the ideal ...
5
votes
1answer
171 views

Assuming $depth M\ge depth N$, what can one say about $depth M_p$ and $depth N_p$?

Definition. Let $(R,m)$ be a Noetherian local ring􀀀, $M$ and $N$ finite R-modules, $p$ a prime ideal,􀀀 and $I$ an ideal such that $IM\neq M$. Then the common length of the maximal $M$-sequences in ...
3
votes
2answers
357 views

Application of sheaves theory in ring theory

Is there any text that gives some applications of sheaves theory in commutative ring theory? In the other word, is any results in commutative ring theory that be verified by sheaves method?
0
votes
0answers
180 views

Basic question about power series and complete group algebras

This is a pretty basic question, but I suspect it might be too exotic for math.stackexchange. Let $\mathbb{Z}_p$ be the $p$-adic integers. For free pro-$p$ group $F_r$ of rank $r$, we can consider ...
2
votes
2answers
182 views

Product of reduced affinoid spaces over a field is reduced (reference request)

Let $K$ be a field of characteristic zero complete with respect to a non-Archimedean absolute value. Suppose that $A$ and $B$ are two affinoid $K$-algebras. I'd like a reference that will answer the ...
2
votes
0answers
95 views

Factorization of linear recurrences

For each (commutative unitary) ring $R$, let $\mathfrak{R}(R)$ be the set of all linear recurrences over $R$, that is, the set of all sequences $(a(n))_{n \geq 0}$ in $R$ such that $$a(n+k) = r_1 ...
5
votes
2answers
408 views

A systematic canonical construction of the Hodge star operator

I'm struggling to make sense of the Hodge star as a global canonical object. Here are my struggles so far and some questions: Let $M$ be a finitely generated projective $R$-module (hence locally free ...
14
votes
1answer
353 views

Joyal's construction of the spectrum of a commutative ring

I am trying to understand bits and pieces of Lawvere's article Continuously Variable Sets; Algebraic Geometry = Geometric Logic. I'm not doing very well. I know this is a lot to ask, but basically, I ...
3
votes
1answer
194 views

Is a Laskerian ring coherent

A commutative ring $R$ with identity is said to be coherent if every f.g. ideal of $R$ is f.p. We know that any noetherian ring is coherent. A Laskerian ring is a ring in which every ideal has a ...
2
votes
1answer
91 views

Number of cluster variables

In the paper cluster algebras and quantum affine algebras, Section 13.5, it is said that when $\mathfrak{g}$ is of type $A_2$ and $\ell=2$, then the corresponding cluster algebra $\mathscr{A}_2$ for ...
2
votes
4answers
274 views

graded rings and modules

I want to read about graded rings and modules. First, I saw Bruns-Herzog. But it was difficult for a beginner. Then I saw notes of Tom Marley (see Tom Marley's Homepage: Graded rings and modules). It ...
1
vote
2answers
133 views

Can powers of a maximal ideal stabilize without vanishing?

Let $A$ be a local ring with maximal ideal $m$. Suppose that there exists some positive integer $k$ such that $m^k = m^{k+1}$. Is necessarily $m^k = 0$ ? If $m$ is finitely generated, this follows ...
3
votes
2answers
110 views

Covering derivations of a quotient algebra

Let $(\mathcal{A},+,·)$ an algebra and $\mathcal{I}$ an ideal of $\mathcal{A}$. Is easy to check that if $D\in Der(\mathcal{A})$ with $D(\mathcal{I})\subseteq I$ then $D$ induces a derivation $D_I$ ...
3
votes
1answer
174 views

Is the embedding dimension minus the dimension upper semicontinuous?

For a Noetherian local ring $R$ with maximal ideal $\mathfrak{m}$ and residue class field $K$, consider the invariant $$\operatorname{def}(R) := \operatorname{dim}_K(\mathfrak{m}/\mathfrak{m}^2) - ...
15
votes
3answers
479 views

Alternate proofs of Hilberts Basis Theorem

I'm interested in proofs using ideas from outside commutative algebra of Hilbert's Basis Theorem. If $R$ is a noetherian ring, then so is $R[X]$. or its sister version If $R$ is a noetherian ...
7
votes
1answer
345 views

Zero scheme of global sections of vector bundles on affine varieties

I want to understand better the notion of zero scheme of a section of a vector bundle. For simplicity I will consider the case of affine varieties. Let $\mathbb{K}$ be an algebraically closed field, ...
3
votes
1answer
291 views

If $F(x,y)$ is a polynomial which is not a square, then how often is the specialization $F(x,a)$ a square?

Suppose $F(x,y)$ is a polynomial in two variables over a field $K$, and $F(x,y)$ is not a square. When is $F(x,a)$ a square for $a\in K$? I would guess that Hilbert's Irreducibility Theorem might help ...
5
votes
0answers
78 views

For any $f \in B$ which is not nilpotent, the set consisting of powers of $f$ is a multiplicative set in $\mathcal{D}_A(B)$? [closed]

Let $B$ be a commutative $A$-algebra. Let $\mathcal{D}_A(B)$ be the ring of differential operators of $B$ over $A$. Does it follow that for any $f \in B$ which is not nilpotent, the set consisting of ...
2
votes
1answer
109 views

$Hom (T,R)$ isomorphic to $R:T$?

Let $R$ be a Cohen–Macaulay local ring with maximal ideal $m$ and $dim R = 1.$ In the paper "Almost Gorenstein rings", by "Goto, Matsuoka, Phuong", with this settings: they have How they reach the ...
0
votes
0answers
38 views

Primary decompositions of squares (products) of monomial ideals

Is there anything known about the relation between the primary decomposition of a monomial ideal $I$ and the primary decomposition of $I^2$? In other words, given the standard primary decomposition ...