**0**

votes

**0**answers

75 views

### Localisation of the formal power series ring

Let $A \colon= K[[X_1,...,X_d]]$ be a formal power series ring of $d$-variables over a field $K$.
Let ${\frak a}$ be a height $r$ prime of $A$ given by ${\frak a} \colon= (f_1,...,f_r)$, where
$f_1 ...

**57**

votes

**2**answers

5k views

### How would you solve this tantalizing Halmos problem?

$1-ab$ invertible $\implies$ $1-ba$ invertible has a slick power series "proof" as below, where Halmos asks for an explanation of why this tantalizing derivation succeeds. Do you know one?
...

**0**

votes

**1**answer

68 views

### Inverse Galois Problem ; Galois group of some branched cover of $P^{1}$ defined over $\mathbb{Q}$

I was trying to read a paper on Inverse Galois problem . I understands what the inverse Galois problem is. It asks if every finite group is the Galois group of some extension of the rationals.
The ...

**5**

votes

**1**answer

190 views

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

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$.
Definition: The common length of the maximal $M$-sequences in $I$...

**1**

vote

**0**answers

58 views

### Explicit construction of a bielliptic curve

Let $C$ be a (projective smooth complex) curve such that $K_C=2(D+p)$, with $D+p$ defining a $g_7^2$; $p$ is a base point and $D$ defines a 2-to-1 map $\varphi:C\rightarrow E\subset\mathbb{P}^2$ onto ...

**2**

votes

**1**answer

92 views

### Generalized height of elements in abelian groups

In the book Infinite abelian groups Vol. I by L. Fuchs, on page 154, the notion of the generalized $p$-height of an element in an abelian group is defined, as follows:
Let $A$ be an abelian group ...

**1**

vote

**1**answer

401 views

### Equidimensionality of stalks of $\operatorname{Proj} S$ when $S$ is equidimensional.

I would like to know a reference of the following statement (or counter example).
Let $S$ be a (commutative) Noetherian standard graded ring over a local ring, i.e., $S = S_0[S_1]$, where $S_0$ is ...

**22**

votes

**2**answers

704 views

### When is $SL(n,R) \rightarrow SL(n,R/q)$ surjective?

Let $R$ be a commutative ring with unit and let $q$ be an ideal of $R$. There is thus a natural map $SL(n,R) \rightarrow SL(n,R/q)$ for all $n$. This map is surjective if $SL(n,R/q)$ is generated by ...

**2**

votes

**3**answers

360 views

### Krull-dimension of local domain

Let $(R,{\frak m}_R)$ be a local domain (not necessarily Noetherian). That is, $R$ is integral and ${\frak m}_R$ is the unique maximal ideal of $R$. Suppose that ${\frak m}_R$ is finitely generated.
...

**0**

votes

**0**answers

110 views

### An ideal and its annihilator

Let $I$ be an arbitrary ideal of commutative ring $R$ with identity.
If $ann (I)=AB$, where $A$ and $B$ are comaximal, how can we fine two ideal $I_1$ and $I_2$ with $I=I_1+I_2$ such that $I_1$ ...

**1**

vote

**1**answer

192 views

### Proj of some graded algebra

I was computing some GIT quotients and came up with the following question: to compute $\mathrm{Proj}(\mathbb C [f_1,f_2,f_3,f_4,f_5,f_6]/I)$ where $f_i$'s are homogeneous polynomials of same degree ...

**2**

votes

**1**answer

306 views

### maximal ideals of polynomial ring

For a maximal ideal $n$ of a 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$?
Note: $m [x] $...

**2**

votes

**0**answers

119 views

### Inverse limit of Noetherian rings

Let $R_i$ be a noetherian regular local ring of Krull dimension being finite. Suppose we are given a surjective homomorphism $\phi_{i,j} \colon R_{j} \twoheadrightarrow R_i$ for each $i,j$ with $j >...

**0**

votes

**0**answers

78 views

### Dirac functional embedding [on hold]

I got the following set up:
Let $S \neq \emptyset$ equiped with the discrete topology and let $\ell_\infty(S) = \{f: S \to \mathbb C \mid f \text{ bounded}\}$. Not $\ell_\infty(S)$ with the pointwise ...

**3**

votes

**2**answers

165 views

### Maximal Cohen-Macaulay modules of type one

Does any body know an example of a Noetherian local ring $(R,m)$ which admits a maximal cohen-macaulay module of type one, but the ring $R$ itself is not CM.
If $C$ is the maximal CM module then the ...

**-5**

votes

**0**answers

67 views

### A property of minimal prime ideals [on hold]

Let $R$ be a commutative ring with $1$, and let $p$ be a minimal prime ideal of $R$. If $p\subseteq I_1+ I_2$, where $I_1$ and $I_2$ are two ideals of $R$, can we deduce that $p\subseteq I_1 $ or $...

**2**

votes

**1**answer

305 views

### Dimension of a commutative ring

Let $R$ be a commutative ring with identity having finite Krull dimension (denoted $\dim$). Let $Nil(R)$ be the set of all nilpotent elements in $R$, and let $J(R)$ the intersection of all maximal ...

**6**

votes

**0**answers

177 views

### On describing a sort of “well-behaved” subgroups of a free abelian group

I found this question when I tried to figure out what kind of subgroups of a free abelian group behave just as well as in the finitely generated case.
Let $M$ be a free abelian group and $N$ a ...

**8**

votes

**1**answer

686 views

### A Zero-Multiplicity Problem Related to Foulkes' Conjecture

I'm a combinatorialist that is interested in estimating multiplicities of irreps of $1^{S_{kn}}_{S_k \wr S_n}$ (the action of symmetric group on uniform partitions). I'm aware of the difficulty (or ...

**0**

votes

**0**answers

134 views

### Stalks of the sheaf

Let $X$ be a scheme. For $m < \infty$, given the surjection ${\cal O}_X^{\oplus m} \twoheadrightarrow {\cal F}$ between sheaves on $X$, where ${\cal O}_X$ is the structural sheaf of $X$. Choose a ...

**13**

votes

**1**answer

603 views

### Non-isomorphic rings that are localizations of each other

Do there exist commutative rings $A$ and $B$ and multiplicative subsets $S\subseteq A$, $T\subseteq B$ such that $A\not\simeq B$ but $S^{-1}A \simeq B$ and $T^{-1} B\simeq A$?
This question comes ...

**0**

votes

**0**answers

66 views

### On semi-complete ring K[X_1,X_2,…,X_∞]] and Popescu theorem

Let $P_n \colon= K[X_1,...,X_n]$ be a $n$-variables polynomial ring. We define 'semi-complete' polynomial ring $P_{\infty}$ by the following$\colon$
$P_{\infty} = K[X_1,...,X_\infty]] \colon = \...

**14**

votes

**2**answers

357 views

### Can you use Chevalley‒Warning to prove existence of a solution?

Recall the Chevalley‒Warning theorem:
Theorem. Let $f_1, \ldots, f_r \in \mathbb F_q[x_1,\ldots,x_n]$ be polynomials of degrees $d_1, \ldots, d_r$. If
$$d_1 + \ldots + d_r < n,$$
then the ...

**2**

votes

**1**answer

118 views

### Milnor patching for general modules

The Milnor patching theorem for projective modules is the following statement. Given a pullback diagram of rings
$$
\begin{array}{}
R & \xrightarrow{f_2} & R_2 \\
\downarrow{f_1} & &...

**2**

votes

**1**answer

72 views

### Is there a characterization of r(M) by local cohomology instead of Ext

For a Noetherian local ring $(R,m)$, and a finite $R$-module $M$ with $\operatorname{depth} M=t,$ type of $M$ is defined to be $r(M):=dim_{R/m}Ext^t \ (R/m, M).$
Is there a characterization of $...

**-4**

votes

**0**answers

79 views

### Everywhere holomorphic functions over C [closed]

Let $f, g$ be two everywhere holomorphic functions over ${\Bbb C}$. We consider the local representation of $f, g$ at the origin of ${\Bbb C}$, i.e. $z = 0$. That is, we can consider $f, g \in {\Bbb C}...

**3**

votes

**1**answer

130 views

### Characterizing the image of $D(A_f) \rightarrow D(A)$

Let $A$ be a ring and $f \in A$ an element. If $M$ is an $A$-module on which multiplication by $f$ is an isomorphism, then $M$ is in fact an $A_f$-module.
Now suppose that $C \in D(A)$ is a complex ...

**4**

votes

**0**answers

156 views

### Is the class of commutative generalized Euclidean rings stable under quotient and localization?

Let $R$ be an associative ring with indentity and let $E_n(R)$ be the subgroup of $GL_n(R)$ generated by matrices obtained from the identity matrix by replacing an off-diagonal entry by some $r∈R$. ...

**4**

votes

**1**answer

258 views

### Can K[[T_1,…,T_∞]] be embedded into K[[X,Y]]?

In the MathOverflow question about common false beliefs, the following answer teaches us that there is an embedding $\iota_n \colon K[[T_1,...,T_n]] \hookrightarrow K[[X,Y]]$. Now let us define the ...

**2**

votes

**0**answers

191 views

### Characterizing flatness in terms of pulling back relative schemes

All schemes are assumed to be noetherian (and maybe separated just in case)
Here is a (possible) definition of flatness:
Definition 1 (flatness): A morphism of schemes $f: X \to Y$ is flat iff ...

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

**3**

votes

**1**answer

115 views

### non-Noetherian r-Noetherian ring with Noetherian total quotient ring

A commutative ring is said to be r-Noetherian if every regular ideal is finitely generated, where an ideal is said to be regular if it contains a non-zerodivisor. Does there exist a non-Noetherian r-...

**-2**

votes

**1**answer

495 views

### An elementary question about the Krull dimension of modules [closed]

Let $R$ be a commutative ring. If $0\rightarrow M'\rightarrow M\rightarrow M''\rightarrow 0$ is an exact sequence of modules, we have that $\operatorname{Supp}M=\operatorname{Supp}M'\cup \operatorname{...

**13**

votes

**1**answer

416 views

### Why sum of three squares of real polynomials is a sum of two squares?

If $f(x),g(x)$ are real polynomials, then $f^2+g^2+1$ is a sum of two squares of polynomials. This easily follows from Fundamental Theorem of Algebra, but is there an argument avoiding it? What are ...

**1**

vote

**0**answers

86 views

### depth of ideal in polynomial ring

Let $R$ be a Noetherian local ring. Then the "depth" of an ideal $I$ measures the maximal length of regular sequence inside $I$. And $depth (R/I)$ measures the maximal length of regular sequence in ...

**1**

vote

**1**answer

141 views

### Complete subring of F_p[[X]]

Pointed out on famous disbelief, I know now that there is an embedding
$\iota_n \colon {\Bbb F}_p[[T_1,...,T_n]] \hookrightarrow {\Bbb F}_p[[X,Y]]$
for any $n \leq \infty$. Then I would like to ask ...

**1**

vote

**0**answers

58 views

### Macaulayfications and standard blow-ups

Let $X$ be an affine variety such that $X-p$ is Cohen-Macaulay,
and let $\pi \colon \widetilde{X} \rightarrow X$ be a standard blow-up of $X$
with respect to $\mathcal{O}_X$, centered at $p$.
It is ...

**3**

votes

**1**answer

108 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/...

**2**

votes

**0**answers

86 views

### Behaviour of an étale morphism under Galois action on points

Consider the following situation. Let $k$ be a characteristic $0$ field, and consider an étale morphism of $k$ schemes $f:X\rightarrow Y$. Moreover, let $K$ and $L$ be two extension fields of $k$ such ...

**1**

vote

**0**answers

64 views

### Popescu-Neron Desingularization for K[[T_1,…,T_∞]]

Let $K[[T_1,...,T_n]]$ be a finitely many variables formal power series ring over a field $K$.
Dorin Popescu proved that there are smooth algebras $A_{\lambda}$'s which are of finite type over $K$ ...

**7**

votes

**0**answers

266 views

### Capitulation of ideal classes in general Dedekind Domains

I’ve been working on a problem, and come across an issue with capitulation in Dedekind domains. Here is the set up:
Let $D$ be a Dedekind domain, and $K$ its (perfect, but we’re willing to modify ...

**1**

vote

**0**answers

55 views

### Coherence of subrings of K[[X,Y]]

Let $K[[X,Y]]$ be a two-variables formal power series ring over a field $K$. Consider a sub-ring $\iota \colon A \subset K[[X,Y]]$.
Q. Is A coherent? $\quad$ Or is it automatic that $\iota$ is ...

**2**

votes

**1**answer

337 views

### Matlis' dual of injective modules

Let $(R, \mathfrak{m})$ be a commutative Noetherian complete local rings ($R$ can be regular, if you need). Let $E(R/\mathfrak{p})$ be injective hull of $R/\mathfrak{p}$, if $\mathfrak{p}= \mathfrak{m}...

**2**

votes

**1**answer

68 views

### How a “sequentially Cohen–Macaulay” simplicial complex relates to “Cohen–Macaulay” simplicial complex?

Let $\Delta$ be a simplicial complex on $[n]$ of dimension $d − 1.$ Let $0\le i\le d-1.$ One defines the pure i_th skeleton of $Δ$ to be the pure
subcomplex $\Delta(i)$ of $\Delta$ whose facets are ...

**1**

vote

**1**answer

151 views

### Module-finiteness over the fixed subring

SETUP: Let $R$ be a finitely generated, noetherian, integral domain of characteristic $0$. Let $G$ be a finite group that acts on $R$ by ring automorphisms.
QUESTION: Is $R$ a finitely generated ...

**5**

votes

**1**answer

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

**9**

votes

**1**answer

425 views

### a normal form for matrices over Z[x]/(x^2-1) ?

We are discussing, offline, modules over the $\mathbb{Z}$-group ring of the cyclic group of order 2, which is probably better known as the quotient ring $R=\mathbb{Z}[t]/(t^2-1)$.
Is there any way to ...

**0**

votes

**0**answers

87 views

### Does every prime power generate a primary ideal?

Let $R$ be a commutative ring with identity and let $p\in R$ be a prime element (i. e. $(p)$ is a prime ideal). If $R$ is an integral domain, it can be shown that $(p^k)$ is a primary ideal for every $...

**2**

votes

**1**answer

282 views

### Are there analogies between $\Bbb F_q[x_1,x_2]$ and a suitable object related to $\Bbb Z$?

Much progress in understanding $\Bbb Z$ is made from analogies between $\Bbb F_q[x]$ and $\Bbb Z$.
Can there be analogies between arithmetic in $\Bbb F_q[x_1,x_2]$ and a suitable object related to $\...

**0**

votes

**0**answers

8 views

### Why no prime number could appear as the length of a hypotenuse in more than one Pythagorean triangle? [migrated]

Why no prime number could appear as the length of a hypotenuse in more than one Pythagorean triangle?
In other words, could any of you give me a algebraic proof for the following?
given prime ...