All Questions
6,055 questions
5
votes
0
answers
817
views
morphism which is open but not universally open
In someone's note, I have seen such an example, but I can't show that it is not universally open. Here is the example:
Let $k$ be a field and $A = k[T]_{(T)}$, the discrete valuation ring obtained ...
- 1,109
54
votes
10
answers
16k
views
Rings in which every non-unit is a zero divisor
Is there a special name for the class of (commutative) rings in which every non-unit is a zero divisor? The main example is $\mathbf{Z}/(n)$. Are there other natural or interesting examples?
- 3,022
5
votes
2
answers
3k
views
Algorithm for Weierstrass Preparation Theorem for Formal Power Series
The Weierstrass preparation theorem for formal power series rings guarantees that if a given formal series $f(z) = \sum a_k z^k \in R[[z]]$ where $R$ is a complete local ring with maximal ideal $M$ ...
- 51
17
votes
2
answers
2k
views
How badly can Krull's Hauptidealsatz fail for non-Noetherian rings?
Krull's Hauptidealsatz (principal ideal theorem) says that for a Noetherian ring $R$ and any $r\in R$ which is not a unit or zero-divisor, all primes minimal over $(r)$ are of height 1. How badly can ...
- 6,792
22
votes
4
answers
2k
views
Two questions about finiteness of ideal classes in abstract number rings
Let us say that an abstract number ring is an integral domain $R$ which is not a field, and which has the "finite norms" property: for any nonzero ideal $I$ of $R$, the quotient $R/I$ is finite.
(I ...
- 65.4k
6
votes
2
answers
418
views
Does regularity of a prime ideal in the fibre imply regularity of the prime?
Recall that a prime $\mathfrak{p}$ is called nonsingular (regular) if the localization at that prime is a regular local ring. If all primes of a ring $R$ are nonsingular, $R$ is called regular. Let $...
- 19.6k
23
votes
6
answers
7k
views
Noether's normalization lemma over a ring A
Given a field $k$ and a finitely generated $k$-algebra $R$ without zero divisors, one knows that there exist $x_1, \ldots, x_n$ algebraically independent such that $R$ is integral over $k[x_1, \ldots, ...
- 1,320
14
votes
2
answers
8k
views
Choosing the algebraic independent elements in Noether's normalization lemma
Given a field $k$ and a finitely generated $k$-algebra $R$ without zero divisors, one knows that there exist $x_1, \ldots, x_n$ algebraically independent such that $R$ is integral over $k[x_1, \ldots, ...
- 1,320
101
votes
31
answers
29k
views
Errata for Atiyah–Macdonald
Is there a good list of errata for Atiyah–Macdonald available? A cursory Google search reveals a laughably short list here, with just a few typos. Is there any source available online which lists ...
6
votes
1
answer
301
views
Orbits in commutative groups.
Let A be finite commutative group say $(Z_m)^h$. I will say that $S \subset A$ is an orbit if exist group $H$
which acts on A such that $S$ is an orbit of $H$.
Can one give a simple characterization ...
- 2,179
4
votes
1
answer
643
views
An application of Zorn's lemma.
Suppose that $R$ is a commutative ring, an $R$-module $M$ is said to be finitely embedded if $M$ has a finitely generated essential socle. Now Let $M$ be finitely embedded and not
artinian, let $S$ ...
- 1,207
4
votes
0
answers
350
views
Artin approximation theorem for analytic functions over a field of zero characteristic
Artin's approximation theorem states: "if a system of locally analytic equations in several complex variables has a formal solution then it has a locally analytic solution".
(Artin 1968, "On the ...
- 2,232
2
votes
2
answers
451
views
Is a submodule of the sheaf of sections of a smooth vector bundle necessarily finitely generated?
Let $X$ be a finite-dimensional smooth manifold, $\mathcal C^\infty(X)$ its algebra of smooth functions, $V\to X$ a finite-dimensional smooth vector bundle, and $\Gamma(V)$ the space of smooth ...
- 54.6k
29
votes
2
answers
7k
views
Elementary proof of Nakayama's lemma?
Nakayama's lemma is as follows:
Let $A$ be a ring, and $\frak{a}$ an ideal such that $\frak{a}$ is contained in every maximal ideal. Let $M$ be a finitely generated $A$-module. Then if $\frak{a}$$M=M$...
- 1,329
2
votes
2
answers
369
views
vectors with entries from a finite ring
I've been working recently with vectors over finite fields, but I was hoping to work in a more general setting and consider vectors over finite commutative rings. The question I had is as follows: if ...
- 21
1
vote
1
answer
167
views
Why is multiplication with a scalar no global morphism?
Given a smooth projective surface $S$ over an algebraically closed field, a sheaf rings or algebras $R$ on $S$ and a simple left $R$-module $M$, i.e. $Hom_R(M,M)=k$.Then we have $Hom_R(M,M(-i))=H^{0}(...
- 1,391
18
votes
2
answers
4k
views
How to show a set of polynomials is algebraically independent?
Suppose that I have $n$ homogeneous polynomials $f_1, \dots, f_n \in \mathbb{C}[x_1, \dots, x_m]$ and that $n < m$. Is there a well known method or algorithm to determine if these polynomials are ...
- 208
1
vote
0
answers
238
views
relative flatness and torsion freeness
Hi.
Question 1: let $f:X\rightarrow S$ be a proper and surjective morphism of complex reduced spaces with $X$ pure dimensional. Let $F$ be a $S$-flat coherent sheaf on $X$. Is it true that the two ...
- 435
2
votes
2
answers
566
views
Commutative algebras and Gamma-modules
A commutative algebra (with unity) over a field gives rise to the covariant functor F: Set_f->Vect from finite sets to vector spaces: F(E) := A^{otimes E}.
Is it true that, over complex numbers, a ...
- 809
4
votes
2
answers
1k
views
Finding generators of subalgebra of polynomial algebra $K[x_1,\cdots,x_n]$ that are invariant under the action of symmetric group
Let $I =\langle f_1,\cdots,f_m\rangle \subset K[x_1,\cdots,x_n]$be an ideal,
where $f_k\in K[x_1,\cdots,x_n].$
$K[e_1,\cdots,e_n]$ the polynomial algebra generated by the elementary symmetric ...
- 139
10
votes
1
answer
1k
views
maximal ideals of $k[x_1,x_2,...]$
What can be said about the structure of maximal ideals of $R=k[\{x_i\}_{i \in I}]$, or geometric properties of $\text{Spm } k[\{x_i\}_{i \in I}]$? Here $k$ is an arbitrary field and $I$ is an infinite ...
- 63.1k
3
votes
1
answer
270
views
When is a blow-up a non-trivial product?
Suppose $X$ is an algebraic variety and let $Z \subset X$ be a subvariety. Are there some useful criteria under which the blow-up $Bl_Z X$ becomes a nontrivial product $V \times W$ of the algebraic ...
- 690
1
vote
1
answer
336
views
Need an example of finitely generated graded algebra such that each its graded subspace has infinite dimension.
More accurately, let $\displaystyle A=\sum_{i=0}^{\infty}A_i$ be a finitely generated graded algebra over say $\mathbb{Q}$ but $\dim A_i=\infty$ for each $i.$ Is it possible?
- 301
4
votes
1
answer
463
views
Reference request, direct summand conjecture in dimension 2
What's the easiest (by which I mean uses the least fancy machinery) proof of the direct summand conjecture in dimension 2?
Recall that the direct summand conjecture says that:
Conjecture (Hochster): ...
- 20.5k
2
votes
1
answer
345
views
A weaker form of Zariski's connectedness principle
Let $A$ be a complete regular local noetherian ring of dimension $d>1$ and $B$ an $A$-algebra, finite and free as $A$-module. Assume moreover that there exists an open subset $U$ of $\textrm{Spec}\ ...
- 10.9k
13
votes
3
answers
4k
views
The localization of a regular local ring is regular
I've heard, as I'm sure many have, that the theorem that the localization of a regular local ring at any prime ideal is regular is one of the first major applications of homological methods to pure ...
- 6,348
10
votes
1
answer
1k
views
On Noetherian and Japanese rings
Let $R$ be a Noetherian ring all of whose local rings are Japanese. Is $R$ necessary Japanese?
- 101
1
vote
2
answers
378
views
Is this a pre-ordered commutative semigroup?
Motivation
I'm studying an approach to axiomatic thermodynamics based on the notion of commutative semigroup $(S,+)$ with a preorder relation $\to$ on $S$. In other words, $S$ is non-empty set, the ...
- 33.3k
2
votes
2
answers
827
views
Reduced varieties with no regular points?
Let $k$ be a field. Let $X$ be a reduced $k$-scheme of finite type. If $X$ is geometrically reduced, then it is a basic result that $X$ has a regular point (i.e. the local ring at that point is ...
- 21
40
votes
1
answer
3k
views
Is every connected scheme path connected?
Every (?) algebraic geometer knows that concepts like homotopy groups or singular homology groups are irrelevant for schemes in their Zariski topology. Yet, I am curious about the following.
Let's ...
- 47.5k
12
votes
2
answers
1k
views
An elementary lemma of commutative algebra
Let $R$ be a commutative ring, $M$, $N$ $R$-modules, and $f: M\rightarrow N$ a homomorphism. It is known that $f$ is injective (surjective) if and only if $f_m$ is injective (surjective) for all ...
- 1,207
6
votes
1
answer
434
views
When are two ideals in a regular local ring generated by a regular sequence?
Hello!
Let $R$ be a regular local ring, and let $I,J\subset R$ be ideals. I'd like to understand the "meaning" of the existence of a regular sequence $(x_1,...,x_n)$ in $R$ such that $I$ is generated ...
- 2,756
1
vote
1
answer
221
views
11
votes
2
answers
697
views
Differential graded structures on free resolution?
Hello!
In "Homological Algebra on a Complete Intersection", Eisenbud proves the following:
Let $A$ be a commutative ring, $M$ be an $A$-module and $F^{\ast}\to M$ an $A$-free resolution. Further, ...
- 2,756
4
votes
2
answers
365
views
General linear inverse monoid
Let $V$ be a finite dimensional vector space over some field (say, $\mathbb C$). Consider the set $\operatorname{GLI}(V)$ of all linear isomorphisms between subspaces of $V$. This is a monoid under ...
user6976
1
vote
1
answer
815
views
Can we characterise affine open subschemes of ${\rm Spec}(A)$?
Let $A$ be any ring, commutative with identity, and let $I\subset A$ be an ideal $\neq A$. Let $U\subset{\rm Spec}(A)$ be the open subscheme obtained by "removing" the closed set $V(I)$ of all the ...
- 11
9
votes
1
answer
2k
views
Are local, Noetherian rings with principal maximal ideal PIR?
A question asked by a friend. I believe it's false, but lack a decisive counterexample.
This question shows that it is true for valuation rings, but I know too little about them.
In the wider ...
- 545
6
votes
2
answers
1k
views
Free commutative magma over a set
BOURBAKI, inside his book on ALGEBRA defines and provides explicit constructions concerning the concepts of free magma, free monoid (and implicitly free semi-group) and free group, and as well free ...
- 2,655
4
votes
1
answer
5k
views
Localization of a polynomial ring at a prime ideal.
If $R=\mathbb{C}[x,y]$ is the polynomial ring in two variables $x$ and $y$ then we know that the localization of R at the multiplicative set $S=[1,x,x^2,x^3,...]$ is given by $R_x=\mathbb{C}[x,x^{-1},...
- 153
9
votes
3
answers
728
views
In which commutative algebras does any derivation possess a flow?
Definitions
Suppose $A$ is a commutative algebra over $\mathbb{R}$ with unity. $\mathbb{R}$-linear map $\xi\colon A\to A$ is a derivation of $A$ iff $\xi(ab)=a\xi(b)+\xi(a)b$ for any $a,b\in A$. If $\...
- 1,284
3
votes
7
answers
4k
views
How to tell if two random polynomials are identical
Let t be a positive real number. Let P(x) and Q(x) be two random polynomials with integer coefficients. If P(t) = Q(t), then what is the probability that P(x) is not identical to Q(x)?
Will it make a ...
- 179
1
vote
1
answer
410
views
Morphisms of a simple sheaf over an algebra to its double dual
Given a smooth and projective surface $S$ over an algebraically closed field $k$ and a sheaf of Azumaya algebras $R$, i.e. $R$ is a locally free $O_S$-module of finite rank. Let $M$ be a coherent and ...
- 1,391
7
votes
3
answers
2k
views
Is there a field which is the union of finitely many proper subfields?
Is there a field which is the union of finitely many proper subfields?
- 79
2
votes
1
answer
326
views
Flatness on the fiber
Hi.
Let $f:A\rightarrow B$ be a local morphism of locally noetherian (reduced) rings with $B$ $A$-flat. Let $M$ be an $B$-module of finite type.
Question: Which conditions ensure the following:
$N\...
- 435
6
votes
0
answers
267
views
Is there a straightforward way to solve unmixed, homogeneous systems of polynomials?
I came across this problem in my research. It might just be an easy algebraic geometry question, but I don't know much algebraic geometry.
Suppose we have a system of $k\leq n$ polynomials in $\...
5
votes
1
answer
2k
views
Length of a module over different rings
Given a regular local ring $(R,m)$ and a finitely generated $R$-algebra $S$, which is free as an $R$-module. Let $M$ be a left $S$-module of finite length, $\ell_S(M)=r<\infty$.
Under what ...
- 1,391
24
votes
2
answers
3k
views
Discriminant and Different
First some context. In most algebraic number theory textbooks, the notion of
discriminant and different of an extension of number fields $L/K$, or rather, of the corresponding extension $B/A$ of their ...
- 26k
2
votes
3
answers
1k
views
Integral closure of a regular ring
Let $A$ be a noetherian integral local ring. Let $K$ be its fraction field, $L$ an algebraic field extension of $K$, and $B$ the integral closure of $A$ in $L$. If $A$ is supposed to be regular, is ...
- 21
2
votes
1
answer
400
views
ideal transform
Let $I$ be an ideal of a commutative ring $R$. $M$ be an $R$-module. In Local cohomology: an algebraic introduction with geometric applications of Brodmann M. P., Sharp R. Y we have
$$D_I(M)=\mathop {\...
- 259
0
votes
1
answer
465
views
What is lim⟶ I^n M?
Let $R$ be a commutative ring, $I$ is an ideal of $R$, $M$ is an $R$-module.
$$IM\supset I^2M\supset I^3M\supset\cdots$$
What is $\mathop {\lim }\limits_{\begin{subarray}{c}
\longrightarrow \\
\...
- 259