**1**

vote

**0**answers

54 views

### When does effective descent of modules hold?

Let $A$ be a commutative ring with identity. I denote by $\Delta_{\leq 1}$ the full subcategory of the simplex category $\Delta$ with objects $[0]$ and $[1]$. Let $B_{\cdot} : \Delta_{\leq ...

**0**

votes

**0**answers

46 views

### Let $f:R\to S$ be a local finite monomorphism .If $M$ is an Artinian $S$-module, is it an Artinian $R$-module?

Let $(R,m)$ and $(S,n)$ be local rings (commutative Noetherian with 1). Let $f:R\to S$ be a local homomorphism/monomorphism ($f(m)=n$), such that the natural induced homomorphism $R/m\to S/n$ is an ...

**3**

votes

**1**answer

252 views

### Normalization of complete intersection

Let $A$ be an integral complete local ring over a field which is complete intersection.
Let $B$ be a normalization of $A$.
Q. Is $B$ Gorenstein?
I guess that even the normalization of Gorenstein ...

**-1**

votes

**1**answer

126 views

### Invariance of the fiber-dimension of a finite map

Let $A\subseteq B$ be commutative Noetherian rings such that $A$ is a regular ring, i.e., $A_{\mathfrak{m}}$ is a regular local ring for all maximal ideals $\mathfrak{m}$ of $A$ and $B$ is a finite ...

**8**

votes

**1**answer

305 views

### Noetherian Rings in Constructive Mathematics

These definitions are largely from pages 92-93 of Ingo's notes. All rings are commutative with 1. I'm interested in understanding the extent to which discussion of Noetherian rings can be carried over ...

**3**

votes

**0**answers

73 views

### Integer Gelfand-Kirillov dimension

Let $R$ be a (noncommutative) Noetherian affine $K$-algebra. The Gelfand-Kirillov dimension is known to be an integer for many classes of affine Noetherian algebras. I wonder, if this is true for any ...

**1**

vote

**0**answers

72 views

### Exceptional primes in Kummer-Dedekind theorem

Suppose that $A$ is a Dedekind domain with fraction field $K$, $L$ is a finite separable extension of $K$, and $B$ is the integral closure of $A$ in $L$. Suppose that $t$ is a primitive element for ...

**-3**

votes

**0**answers

64 views

### A problem from Atiyah's commutative algebra [closed]

The problem is:In the ring A[x],the Jacobson radical is equal to the nilradical.
It has been showed by solutions on the web that if 1-ab is a unit for any b belongs to A,then a must be nilpotent. Why ...

**5**

votes

**0**answers

152 views

### Where can I find Andre's “Cinq exposés sur la désingularisation”?

Many expositions of Popescu's desingularization theorem indicate that an other proof of this theorem can be found in
"Cinq exposés sur la désingularisation" by M. Andre, Ecole Polytechnique ...

**4**

votes

**1**answer

172 views

### GCD in polynomial vs. formal power series rings

I'm having problems finding an appropriate reference for this question.
Given two elements $f, g \in \mathbb{C}[x_1, \dots, x_n]$, consider their greatest common divisor, $\gcd_{\mathbb{C}[x_1, ...

**3**

votes

**0**answers

58 views

### Can we express the degree 10 and degree 15 Galois resolvents of sextic binary forms in terms of its basic invariants?

Let $V_6$ denote the 7 dimensional $\mathbb{C}$-vector space of binary sextic forms. For $T = \begin{pmatrix} t_1 & t_2 \\ t_3 & t_4 \end{pmatrix} \in \operatorname{GL}_2(\mathbb{C})$, $T$ ...

**2**

votes

**1**answer

86 views

### The socle of cokernel of irreducible monomorphisms in the AR quiver of type An/I is simple

The socle of cokernel of irreducible monomorphisms in the AR quiver of type An/I is simple.
I believe that this result is hidden in a more general result in some
articles, I tried to find a lot but ...

**9**

votes

**2**answers

531 views

### Number of polynomials whose Galois group is a subgroup of the alternating group

Let $f = x^n + a_{n-1}x^n + \cdots + a_0$ be a monic polynomial of degree $n \geq 2$ with integer coefficients. By $\text{Gal}(f)$ we mean the Galois group over $\mathbb{Q}$ of the Galois closure of ...

**6**

votes

**0**answers

317 views

### Competing notions of étaleness

I'm writing some notes to myself on algebraic geometry and I'm trying to get the most conceptual definitions. Having arrived at formally étale morphisms, I am pretty desperate.
Here is a list of ...

**0**

votes

**1**answer

78 views

### Elements of a ring invertible in a faithfully flat algebra

Let $R\to S$ be a commutative algebra with $S\neq 0$ free as an $R$-module.
Is it true that for the units of these rings we have $U(R)=U(S)\cap R$ ?

**4**

votes

**1**answer

111 views

### How to write the map $ℂ[G/U]↪ℂ[B]$ explicitly?

Let $G$ be a reductive algebraic group and $B$ a Borel subgroup of $G$. Let $T$ be a maximal torus of $G$ contained in $B$. The $B=UT=TU$ for some unipotent subgroup $U$ of $G$. We have Bruhat ...

**4**

votes

**0**answers

47 views

### Is the restriction of a graded automorphism linearizable in characteristic zero?

This question follows up a previous one which was answered by Todd Leason. I want to impose two new requirements on the setup.
Let $k$ be a characteristic zero field. Let $A=k[x_1,\dots,x_n]$ be the ...

**2**

votes

**1**answer

225 views

### Field of definition of an algebraic set

I find this definition in Silverman's book, The Arithmetic of Elliptic Curves:
an algebraic set(in $A^n(\bar{K})$) is called defined over $K$ if its ideal can be generated by polynomials in ...

**3**

votes

**1**answer

64 views

### relate shellability of a simplicial complex to the links of its faces

Reisner's criterion give a complete characterization of Cohen–Macaulay simplicial complexes, based on $link$s of faces of the simplicial complex. Is there a known fact that relate shellability of a ...

**15**

votes

**1**answer

502 views

### Swan K-theory of Z/4

Given a finite group $G$ and a commutative ring $R$, define the Swan $K$-theory $K_0(G, R)$ to be the Grothendieck group of the category finitely generated projective $R$-modules with $G$-action (with ...

**1**

vote

**0**answers

146 views

### What is the ring of integers in $\mathbb Q^c\otimes_K K_\mathfrak p$? [closed]

Let $K$ be a number field with ring of integers $\mathcal O_K$ and $\mathfrak p$ a prime of $K$. Let $\mathbb Q^c$ be the algebraic closure of $\mathbb Q$ in $\mathbb C$.
If $L$ is a number field ...

**0**

votes

**0**answers

168 views

### Milnor numbers and mixed multiplicities

section 6 of the link
Teissier showed that Milnor numbers of a hypersurface $(X,0)$ with isolated singulraity at 0 is same as mixed multiplicities of the Hilbert polynomial of the filtration ...

**4**

votes

**0**answers

239 views

### Auslander-Reiten-Quivers of representation-finite algebras having different 3-dimensional forms

I am looking for references, where I can find (pictures of) connected Auslander-Reiten-Quivers of representation-finite $k$-algebras ($k$ is a (preferably, but not necessarily finite) field) with one ...

**1**

vote

**0**answers

124 views

### Base change and geometrically generic reduced fiber

Let $k$ be an algebraically closed field of characteristic $p>0$ and $f:X \to Y$ be a quasi-projective morphism between noetherian $k$-schemes. Assume that $Y$ is regular and the geometric generic ...

**0**

votes

**1**answer

183 views

### Field extension and nilpotent element

Let $k$ be an algebraically closed field of characteristic $p>0$, $A$ a regular local noetherian $k$-algebra, $B$ another local noetherian $k$-algebra, $f:A \to B$ an injective ring homomorphism of ...

**4**

votes

**1**answer

148 views

### Schwartz-Zippel lemma for an algebraic variety

Let $X $ be a smooth affine subvariety of $(\overline{\mathbb{F}_q})^n$ defined by a prime ideal $I$. Let $f$ $\in \mathbb{F}_q[x_1,\ldots,x_n]$ be a polynomial such that $f \notin I$.
Let $r_1, ...

**2**

votes

**1**answer

67 views

### Is the restriction of a graded automorphism of a polynomial ring to a polynomial subring linearizeable?

Let $k$ be a field and let $A=k[x_1,\dots,x_n]$ be a polynomial algebra over $k$, and let $B\subset A$ be a graded subalgebra that is itself a polynomial ring, i.e. $B=k[f_1,\dots,f_m]$ for some ...

**0**

votes

**2**answers

188 views

### Does there exist an Affinization or Projectivization process for Varieties?

Let us consider the classical isomorphism of real manifolds between $S^2$ and ${\mathbb CP}^1$. First strange thing we have here is that both are varieties, but $S^2$ is an affine and ${\mathbb CP}^1$ ...

**1**

vote

**1**answer

262 views

### Automorphisms of rings fixing all prime ideals

Let $f,g:A \to B$ be two ring homomorphisms of noetherian rings satisfying that for any prime ideal $\mathfrak{q} \subset B$, $f^{-1}(\mathfrak{q})=g^{-1}(\mathfrak{q})=:\mathfrak{p}$ and the induced ...

**1**

vote

**0**answers

65 views

### Need a reference/proof for computing the regularity of ideal of points in $\mathbb P^d$?

In a lecture notes on 'Cohomology modules' i read the following remark:
Given a set $X$ of points in $\mathbb P^d$,using the Local Cohomology modules one can easily compute the reg$(S_X)$ where ...

**0**

votes

**0**answers

206 views

### On the coherence of formal power series ring

Let $A = {\Bbb F}_p[[X_1,X_2,...]]$
be the ring of formal power series with infinitely many variables over the finite field ${\Bbb F}_p.$
$A$ consists of such formal sum elements as $\sum ...

**2**

votes

**2**answers

294 views

### Irreducible algebraic sets via irreducible polynomials

There are many results about irreducible polynomials over finite fields:
we know a cardinality of all irreducible polynomials with given degree, we know explicit examples of irreducible polynomials, ...

**4**

votes

**1**answer

292 views

### an algebraic variety for a boolean circuit

There is a polynomial reduction from a $3-CNF$ $SAT$ problem to some system of polynomial equations over $\mathbb{F}_2$.
I mean there is polynomial reduction $F$ such that for every boolean ...

**0**

votes

**1**answer

107 views

### Reduction of ideal in noetherian local ring

Let $R$ be a noetherian local ring and $I$ an ideal with $\operatorname{ht}I=\mu(I)$. Prove that $I$ is basic. (Recall that an ideal $I$ is basic when it has no proper reduction.)

**0**

votes

**0**answers

164 views

### Exact sequence of vector bundles

Consider the short exact sequences below;
\begin{equation}
0\longrightarrow H^0(\mathbb{P}^4,\mathcal{O}_{\mathbb{P}^4}(d-1)^{\oplus 4})\longrightarrow ...

**2**

votes

**1**answer

143 views

### The center of a(n endomorphism) ring is a PID

Let $A$ be a torsion-free Abelian group, and let $\mbox{End}(A)$ be its endomorphism ring. Denote by $R\doteq\mathbf{Z}(\mbox{End}(A))$ the center of $\mbox{End}(A)$. What would be necessary and/or ...

**-1**

votes

**0**answers

26 views

### Is there a criterion for Ideals to be contracted in the completion morphism?

I have a local noetherian ring $R$ with maximal ideal $\mathfrak{m}$ and two ideals $I,J\unlhd R$. I know they are the same modulo $\mathfrak{m}^k$ for all $k\in \mathbb{N}$. There for they generate ...

**1**

vote

**1**answer

81 views

### Computer algebra system that test zero divisors in a quotient algebra

I have an algebra $A$ over a Noetherian ring and an ideal $I=(x,y)$, where $x,y \in A$. I need to examine whether a polynomial $h \in A$ is a zero divisor in $A/I$ or not.
Is there a computer algebra ...

**1**

vote

**0**answers

209 views

### How to check that an ideal of $\mathbb{C}[GL_n]$ is a coideal or not?

Let $I$ be an ideal of $\mathbb{C}[GL_n]$. Are there effective methods or software to check whether $I$ is a coideal or not? Thank you very much.
For example, let I be the ideal of $\mathbb{C}[GL_3]$ ...

**0**

votes

**0**answers

92 views

### Noetherian almost Dedekind domain

A Dedekind domain is an integral domain in which every nonzero proper ideal factors into a product of prime ideals, and an integral domain $R$ is called almost Dedekind whenever $R_m$ is Dedekind ...

**4**

votes

**1**answer

274 views

### How to compute the tangent space of a quotient by a finite group

Let $I\subseteq R:=\mathbb C[x_0,\ldots,x_n]$ be a homogeneous ideal defining a subscheme $X\subseteq\Bbb P^n$. As in my previous question, the permutation group $\mathfrak S_{n+1}$ acts on $R$ by ...

**1**

vote

**0**answers

147 views

### Structure theorem for infinitely generated modules over a PID

This is a refined version of a question I asked days ago and have no answers yet. I am completely illietarte in algebra so, please, don't kill but explain.
The question is all in the title: is there ...

**1**

vote

**0**answers

105 views

### A strong form of Bezout theorem

Let $X$ be a smooth projective variety of dimension $n$, $U \subset X$, non-empty open set. For any integer $k>0$, does there exist $n$-hypersurface sections $Z_1,...,Z_n \in |\mathcal{O}_X(k)|$ ...

**1**

vote

**1**answer

129 views

### Canonical module of a Buchsbaum ring

Is the canonical module of a Buchsbaum ring a Buchsbaum module?

**4**

votes

**1**answer

96 views

### The volume around a singular isolated root when equalities are loosened

Suppose I have a system of polynomial equations in $n$ real variables $f_i(x_1,\ldots,x_n)=0$, $i=1,\ldots,m$, such that $0$ is an isolated solution. Now I replace each of the equations with a ...

**3**

votes

**0**answers

98 views

### Number of free summands of finite local extensions

Suppose that $(R, m) \subseteq (S,n)$ is a finite extension of normal local domains that is:
etale on the punctured spectrum
not flat / etale at the origin
and such that the residue fields $R/m = ...

**0**

votes

**0**answers

51 views

### Decomposition of PID modules

This is (probably) the culmination of a series of questions I posted recently that have lead me to this (probably) final question. As usual, I aplogize for my illiteracy in algebra.
Recall that ...

**6**

votes

**0**answers

249 views

### Geometric interpretation of minimal number of generators of a module

Let $X \subset \mathbb{C}^n$ be an irreducible affine algebraic curve with coordinate ring $$\mathbb{C}[X] = \mathbb{C}[z_1, \ldots, z_n] / (f_1, \ldots, f_m ) $$ with each $f_i \in \mathbb{Z}[z_1, ...

**5**

votes

**0**answers

157 views

### A question on symmetric functions

Let $0 \leq m \leq n$ be integers. The group $S_n$ of permutations acts on the ring $\mathbb{Z}[X_1,\dots,X_n]$ by permuting the coordinates, with fixed subring $\mathbb{Z}[\sigma_1,\dots,\sigma_n]$, ...

**2**

votes

**0**answers

125 views

### When is the torsion submodule a direct factor?

Let $\mathbb{F}$ be a field (of characteristic 0, if needed) and $\mathbf{V}$ an $\mathbb{F}$-vector space. Let $T\in\mbox{End}_\mathbb{F}(\mathbf{V})$ be an endomorphism, and let (following Bourbaki) ...