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

learn more… | top users | synonyms (1)

2
votes
2answers
211 views

Decomposition and valuation rings

I am reading Algebraic Number Theory by A. Fröhlich, M. J. Taylor, it first introduced the theorem: $(K,u)$ be a field and its absolute value, $(K_u,\bar u)$ be its completion and absolute value ...
0
votes
1answer
127 views

perfect modules over polynomial algebra

This may be obvious. My question is short: $R$ is the polynomial algebra $\mathbb{k}[X_{1},\dots , X_{n}]$. Is the $R$-module $\mathbb{k}$ perfect in the sense that $\mathbb{k}$ is a compact object ...
6
votes
0answers
161 views

When is a polynomial ring free over a graded subalgebra?

Keep the setting of my previous question and let $I := k[x_1, \dots, x_n] \cdot A_{>0}$ be an ideal of the algebra $k[x_1, \dots, x_n]$ generated by the set $A_{>0}$. It is clear that $I$ is a ...
0
votes
0answers
86 views

A property of the semi-local ring of the normalization of a singular curve

I have two following questions. 1) Let $R$ be a local ring in an algebraic function field of one variable over an algebraic closed field $k$. Let $\bar{R}$ and $m$ be its integral closure and maximal ...
3
votes
2answers
183 views

Examples of (non-normal) unibranched rings?

For a local integral domain $R$ the following are equivalent: a) The integral closure of $R$ in its fraction field (i.e., the normalization of $R$) is again local. b) The henselization of $R$ is ...
1
vote
0answers
62 views

Concerning the $SBI$-sequence for dihedral homology (Loday, Cyclic Homology, 5.2)

I was wondering about the signs of the $SBI$-sequence ("Connes' periodicity exact sequence") in equations $(5.2.7.2)$ and $(5.2.7.3)$ of 'Cyclic Homology' by Jean-Louis Loday. Why is the sequence ...
0
votes
1answer
140 views

Is there a complete local analogue of the Artin-Tate lemma?

The Artin-Tate lemma states that if $A \subseteq B \subseteq C$ are commutative rings where $A$ and $C$ are Noetherian, $C$ is finitely generated as an $A$-algebra, and $C$ is finitely generated as a ...
2
votes
0answers
81 views

Centers of Noetherian Algebras and K-theory

I'll start off a little vauge: Let $E$ be a noncommutative ring which is finitely generated over its noetherian center $Z$. Denote by $\textbf{mod}\hspace{.1 cm} E$ the category of finitely ...
0
votes
0answers
91 views

Elementary characterization of Krull dimension

I was reading the following paper: "A Short Proof for the Krull Dimension of a Polynomial Ring. Thierry Coquand and Henri Lombardi" and came across this corollary. (This is present with a better ...
1
vote
1answer
135 views

Socle of Almost Complete Intersections

Let $(A,m)$ be a complete Artinian local ring over a field $K$. We focus on almost complete intersection ring $A$ of the form $A = K[[X_1,...,X_N]]/(f_1,...,f_{N+1})$. We assume that none of $f_i$ ...
8
votes
1answer
233 views

Augmentation ideal is finitely generated if and only if $A$ is finitely generated as a $k$-algebra?

Let $A \subset k[x_1, \dots, x_n]$ be a subalgebra, which is also a graded subspace $A = \oplus_{i \ge 0} A_i$. One can write $A = A_0 \oplus A_{> 0}$ where we have $A_0 = k^0[x_1, \dots, x_n] = k$ ...
0
votes
1answer
129 views

Is it possible to generalize a result of Wang?

Assume $A$ and $B$ are commutative algebras with $1$. There is a nice result of Wang, Corollary 8, which says the following: "Let $B = A[z] = A[Z]/(h(Z))$. Then $B$ is a separable algebra over $A$ if ...
2
votes
1answer
124 views

Projectivity of torsion-free modules over integral group rings

Let $G$ be a torsion-free group and assume that the integral group ring $\mathbb{Z}G$ is torsion-free as well. Let $M$ be a torsion-free, finitely generated module over $\mathbb{Z}G$. If we assume ...
0
votes
0answers
35 views

Deciding whether linear equations are solvable over specific subrings of $K(x_1,..,x_n)$

The definition of 'linear equations are solvable' which is meant here is Let $R$ be a commutative ring (associative and with unity). For given $m \in \mathbb{N}$ and $b \in R$, it is decideable ...
0
votes
2answers
276 views

When $mB \neq B$? $m$ is a maximal ideal of $A$, $A \subseteq B$

The following is a question I have asked here without receiving any comments, therefore I post it here: Let $A \subseteq B$ be commutative rings, $m$ a maximal ideal of $A$. When $mB \neq B$? This ...
3
votes
0answers
137 views

Intuition behind if neither $D$ nor $K-D$ are equivalent to an effective divisor, then $\deg(D) = g-1$?

Is there any intuition behind the following fact? If neither $D$ nor $K-D$ are equivalent to an effective divisor, then $\deg(D) = g-1$. Here, $K$ is the canonical divisor. It means the degrees ...
9
votes
0answers
140 views

Why would we a priori expect $V(I)$ to satisfy axioms to define the closed sets for a topology on $\text{Proj}(S)$?

Reposted from math.stackexchange here. The topological space $\text{Proj}(S)$ has the underlying set$$\text{Proj}(S) = \{\mathfrak{p} \text{ a homogeneous prime such that }S_+ \not\subseteq ...
1
vote
0answers
68 views

Degrees of polynomials defining a Jacobian of maximal rank on a variety

Let $f_1,\ldots,f_{n-k} \in \mathbb{R}[x_1,\ldots,x_n]$ be polynomials of degree at most $d$ defining an algebraic set $A \subseteq \mathbb{C}^n$ which contains an irreducible component $V \subseteq ...
2
votes
2answers
103 views

How to determine whether the following sum is nonzero for a given multivariate polynomial?

My research field is combinatorics. I am not very good at Algebra. So I want to ask for a given real multivariate polynomial $f(x_1,x_2,\cdots,x_n)$, is there any algebraic method to compute whether ...
0
votes
0answers
75 views

Complement and fibers

Let $\mathcal M \rightarrow S$ be a projective irreducible scheme over the spectrum of a DVR and $U\subset \mathcal M$ an open subscheme surjective on $S$. Is it true for both points (generic and ...
8
votes
3answers
414 views

Intuition behind basic facts about homogeneous ideals?

What is the intuition (hopefully, geometric) behind these basic facts about homogeneous ideals? An ideal $I$ in $S$ is homogeneous if an element $f = \sum_{n \ge 0} f_n$ of $S$ lies in $I$ if and only ...
2
votes
1answer
375 views

A particularly “natural” algebraic structure with three commutative, pairwise-distributive operations

EDIT: As mentioned in my answer below, I was mistaken in thinking Dirichlet convolution distributes over ordinary convolution. I'm leaving this question here for reference. I keep stumbling on the ...
3
votes
2answers
550 views

Can the projective line be provided with a ring structure?

A definition of multiplication on the projective $1$-points $(a:b)$ of $P_K^1$ with $a$ and $b$ elements of a field $K$ ( e.g. the real or rational numbers ) can be given by mimicking the ...
1
vote
1answer
213 views

Is this kind of scheme integral?

Let $X\rightarrow Spec(R)$ an irreducible projective scheme over a dvr. Suppose the generic fiber $X_{\eta}$ is smooth (over the field $Frac(R)$) and irreducible. Is it true that $X$ is integral (i.e. ...
4
votes
2answers
187 views

Reference for (co)limit-preserving functor $X\mapsto R^X$

Fix a commutative ring $R$. There's a contravariant functor from finite sets to finite $R$-algebras sending $X$ to $R^X$. Viewed as a covariant functor $\text{set}^{op}\to R\text{-alg}$, this functor ...
3
votes
0answers
228 views

When does composing polynomials reduce the degree?

Let $\mathbb{F}$ be the field of size 2. For a function $f : \mathbb{F}^n \to \mathbb{F}$, let $d(f)$ be the smallest integer such that there exists a degree-$d(f)$, $n$-variate, multilinear ...
6
votes
1answer
270 views

From polynomial ideal over $\mathbb{Q}$ to polynomial ideal over $\mathbb{Z}$

Is there an algorithm to compute, given a polynomial ideal $I\subset \mathbb{Q}[x_1,\dotsc,x_n]$, the ideal $I\cap \mathbb{Z}[x_1,\dotsc,x_n]$ in $\mathbb{Z}[x_1,\dotsc,x_n]$? The input and ...
0
votes
1answer
102 views

quasi-projective and separated as topological properties

Let $X$ be a non-reduced noetherian scheme over $\mathbb{Z}$ or $\mathbb{C}$. Assume that $X^{red}$ is quasi-projective and separated, does the same hold for $X$ ? (By the way, projective implies a ...
1
vote
1answer
139 views

Purely inseparable field extensions of degree p

Take a field $k$. If $k'/k$ is a field extension of degree $p$, it is known that there are many possibilities for the isomorphism class of $k'$. See ...
0
votes
0answers
95 views

Irreducible component of a scheme over a dvr

Let $\mathcal M$ be a (reduced) quasi-projective scheme over a dvr (of mixed caracteristics), $R$. Suppose that the generic fiber $\mathcal M_{\eta_R}$ is (nonempty) smooth and irreducible of ...
4
votes
0answers
52 views

Catenarity of monoid algebras

Let $R$ be a commutative ring, let $M$ be a commutative monoid, and let $R[M]$ denote the corresponding monoid algebra. Suppose further that $R$ is universally catenary. One may ask for conditions on ...
4
votes
0answers
158 views

Generation of cohomology of graded algebras

Let $A$ be an unital, associative, graded algebra over a base ring $k$. I'm happy to assume that $k$ is a field if need be, and will insist that $A$ free and of finite rank in each degree (locally ...
0
votes
0answers
130 views

Degrees of generators of radical ideals

Let $I \subseteq \mathbb{C}[x_1,\ldots,x_n]$ be an ideal generated by polynomials $f_1,\ldots,f_r$ of degree at most $d$. Is it possible to generate the radical $\sqrt{I}$ of this ideal with ...
0
votes
1answer
99 views

section of reduced structure map

Let $R$ be a commutative ring whose characteristic is either prime or $0$, such that $R/N$ is an integral domain, where $N$ is the nilradical, and $p: R \rightarrow R/N$ the canonical map. Is there a ...
4
votes
1answer
203 views

Milnor descent for ring spectra

Suppose given a homotopy cartesian square of (commutative) ring spectra (or (c)dgas) $\begin{matrix}A & \to & A_1 \\ \downarrow & & \downarrow \\ A_2 & \to &A'\end{matrix}.$ ...
0
votes
1answer
222 views

Determinants of tensors [closed]

Consider a tensor of dimension $[d]\times[d]\times[d]$ which is symmetric with respect to every permutation of the indices. Are there any $\textbf{explicit}$ formulas for notions like determinant-like ...
0
votes
1answer
64 views

Some references for f-ring

A commutative ring $R$ is said to be an $f-ring$ if every pure ideal is generated by idempotents. (Recall that the ideal $I$ is said to be pure if for each $a\in I$ there is a $b\in I$ such that $ab = ...
0
votes
0answers
114 views

Question about Castelnuovo-Mumford regularity

let $R$ be a Noetherian ring an $I$ an ideal of $R$. If $n,m\in N$ and $reg(G(I))=n$, then what can we say about $reg(G(I^m))$? Here $G(I)$ is the associated graded ring.
2
votes
1answer
114 views

Classification of commutative ring ideal closure operators?

First, some setup: So: given a commutative ring $R$, let $Ideals(R)$ be set of ideals of $R$ and let $IdealClosure(R)$ be the set of closure operations $cl: \mathcal{P}(R) \rightarrow Ideals(R)$. In ...
0
votes
1answer
85 views

Irreducible components of a cone

Suppose $B=A\oplus S^1\oplus S^2\dots$ is a graded ring, $B$ is generated by $S^1$, $C=\textrm{Spec}B$ is called a cone over $X=\textrm{Spec}A$. We have natural projection $\pi\colon C\to X$. ...
0
votes
3answers
247 views

Example of indecomposable self injective ring

Is there any example of an indecomposable self-injective commutative ring with 4 or more maximal ideals?$$$$$$$$
5
votes
2answers
133 views

Lie Algebras over DVRs and basechange to the completion

Let $R$ be a discrete valuation ring containing an algebraically closed field $K$ of characteristic zero and let $L$ be a Lie algebra over $R$ whose underlying $R$-module is finitely generated and ...
2
votes
0answers
51 views

some sort of 'saturation' of module quotients

Let $R$ be a local Noetherian ring over a field, with the maximal ideal $\mathfrak{m}$. (e.g. $R=k[[x_1,\dots,x_{p>1}]]$) Given two $R$-modules, $N\subset M$, of the same (finite, non-zero) rank. ...
2
votes
0answers
433 views

Commutative algebra books representing the edge of research

Recently I have come across the books Combinatorial Commutative Algebra by Miller and Sturmfels along with Combinatorics and Commutative Algebra by Stanley. I will soon own a copy of each. I also ...
5
votes
1answer
564 views

How to compute this $\mathrm{Ext}^1$?

Let $A$ be a regular local $\mathbb{C}$-algebra of dimension $2$, such as the localization of $\mathbb{C}[x,y]$ at $(x,y)$, and let $\nu=(\nu_1\geq\nu_2\geq\cdots\geq\nu_{\ell}\geq0)$, ...
1
vote
0answers
159 views

Separability and smoothness

Let $A \subseteq B$ be commutative noetherian rings. I have found the following claim: "Separability implies smoothness" with the following explanation: "The natural thing is to prove that a separable ...
3
votes
1answer
149 views

Example of a homogeneous (not monomial) $(x,y)$-primary ideal $I$ in $K[x,y]$

Is there any example of a homogeneous (not monomial) $(x,y)$-primary ideal $I$ in $K[x,y]$ such that $I$ is complete and and there exists a minimal reduction $J$ of $I$ such that ...
1
vote
0answers
146 views

How do I check if a sequence of R-modules is exact?

Let R be a ring. For example, take $R=k[x_1,\ldots,x_n]$ or, if possible, $R = \Bbb{Z}[x_1,\ldots,x_n]$. Consider a sequence of free R-modules $$R^a \stackrel{f}\to R^b \stackrel{g}\to R^c$$ where ...
0
votes
0answers
57 views

Writing a module as a direct sum

Let $q_1, q_2, q_3 \in \mathbb{Z}[x,y]$ such that $q_1, q_2$ are algebraically independent and let $S$ be an algebra generated by $q_1, q_2, q_3$ over $F_p$. If writing $S$ as a module over $F_p ...
1
vote
0answers
133 views

Intersections of ideals and nilpotence

Let $R$ be a polynomial ring over a field $k$, $R = k[x_1, \dots, x_n]$. Suppose $R'$ is an associative $R$-algebra and it has the property that there exists a degree $m<n$ monomial in the $x_i$'s ...