**3**

votes

**1**answer

223 views

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

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

**6**

votes

**1**answer

404 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

140 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 $A$...

**8**

votes

**1**answer

315 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 ...

**5**

votes

**1**answer

112 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

74 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 $L/...

**5**

votes

**0**answers

158 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

178 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, \dots,...

**3**

votes

**0**answers

60 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

87 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

544 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

349 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

81 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

113 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

48 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 $K[X]=K[...

**3**

votes

**1**answer

68 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

526 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

147 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

170 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 $\{m^rJ^s\...

**4**

votes

**0**answers

259 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

125 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

187 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

152 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

68 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

194 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

269 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

67 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

218 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 c_{e_1,.....

**2**

votes

**2**answers

300 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

295 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

108 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

165 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 H^0(\mathbb{P}^4,\Omega_{\mathbb{P}^4}(d+1))\...

**2**

votes

**1**answer

146 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 ...

**2**

votes

**2**answers

113 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

210 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

97 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

288 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

148 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

131 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 double-...

**3**

votes

**1**answer

107 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 = S/...

**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

252 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

163 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

127 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) ...

**1**

vote

**0**answers

29 views

### Is an weakly finite R-module Serre subcategory of the category of R-modules?

A definition for weakly finite $R$-modules is as follow:
Definition: Let ($R$,$m$) a local ring. Let $S$ be the largest class of $R$-modules satisfying the following four properties:
(1) If $M \in S$...

**6**

votes

**0**answers

79 views

### Center Picard group non-commutative algebra

I am wondering if there is a way to describe the center of the Picard group of a non-commutative algebra.
Namely, let $A$ be a finitely generated algebra over a field $k$. Denote by $\mathrm{Pic}(A)$...

**1**

vote

**0**answers

47 views

### Modification of nonfree locus

Let $ R $ be a commutative noetherian ring with identity. Let $ M $ be an $ R $-module. By definition the nonfree locus $ NF(M) $ of $ M $ is defined as the set of prime ideals $ {\mathfrak p} $ of $ ...