All Questions
6,056 questions
5
votes
2
answers
1k
views
Unramified (finite) extensions of fields complete with respect to a discrete valuation
Hello,
I've been reading the excellent online book on Algebraic Number Theory by J.S.Milne. In the section described above there is a footnote maintaining that the separability of the residue field ...
22
votes
6
answers
8k
views
A finitely generated $\mathbb{Z}$-algebra that is a field has to be finite
I was trying to understand completely the post of Terrence Tao on Ax-Grothendieck theorem. This is very cute. Using finite fields you prove that every injective polynomial map $\mathbb C^n\to \mathbb ...
- 14.3k
5
votes
5
answers
4k
views
Unique factorisation and the fact that $\mathbb A^2-0$ is not an affine variety?
While learning commutative algebra and basic algebraic geometry and trying to understand the structure of results (i.e. what should be proven first and what next) I came to the following question:
...
- 14.3k
16
votes
2
answers
4k
views
A geometric reference for (affine) Gorenstein varieties and singularities
I would like to ask for a reference to some text that explains in relatively down to earth (if possible geometric) terms (for dummies) what is a Gorenstein singularity and Gorenstein variety (for a ...
- 14.3k
5
votes
1
answer
498
views
Percolation in Cayley graphs of semigroups.
Percolation in Cayley graphs of groups are studied by many researchers. There are also the concept Cayley graphs for semigroups. Are there any research about percolation in Cayley graphs for ...
- 6,211
4
votes
0
answers
367
views
criteria for reduced fibres
I was wondering if it is foolish to ask if there is a criteria on a morphism $f: X \to Y$ between separated schemes of finite type over a perfect field which will assure that all the scheme theoretic ...
- 1,347
17
votes
4
answers
2k
views
Are units of rings of functions on algebraic varieties finitely generated (mod. constants)?
Hello,
Consider the following question. Let $A$ be a finitely generated reduced algebra over an algebraically closed field $k$. Consider the group of units of $A$, modulo the group $k^*$. Is this ...
- 5,562
9
votes
1
answer
986
views
Tensor product of rings of Witt vectors
Let $A$, $B$, and $C$ be commutative rings such that $A\otimes_C B$ makes sense. If $W_n(A\otimes_C B), W_n(A), W_n(C),$ and $W_n(B)$ are the length $n$ Witt vectors of the rings $A,B,C,$ and $A\...
- 155
0
votes
1
answer
379
views
Is a tensor product of two dvrs semilocal?
Under what conditions is the tensor product of two dvrs semilocal?
The same question about being reduced.
Tensor product is taken over another dvr or over a field to make things simpler.
For ...
- 1
0
votes
1
answer
147
views
Small set of acts over a countable monoid?
Given a countable monoid $S$, is the set of all (isomorphic representatives of) $S$-acts a small set?
- 11
16
votes
1
answer
2k
views
Deformation to the normal cone
Deformation to the normal cone appears in several places including Intersection theory and Verdier specialisation of construtible sheaves or D-modules. I'd like to understand what happens when we ...
- 7,527
14
votes
2
answers
2k
views
Explicit ring of differential operators for polynomial algebras over the integers?
Does anyone know of a reference or have any idea for an explicit description of the ring of differential operators for polynomial algebras over the integers? I'm hoping there is something analogous to ...
- 500
1
vote
1
answer
154
views
undecidability in the dynamics of functions $f: \Sigma^* \rightarrow \Sigma^*$
Does anyone know any undecidable problems in the dynamics of functions (not necessarily monoid homomorphisms or anything) from \Sigma^* to \Sigma^* where \Sigma is a finite set? In particular, I'm ...
- 549
25
votes
5
answers
2k
views
Exotic principal ideal domains
Recently I realized that the only PIDs I know how to write down that aren't fields are $\mathbb{Z}, F[x]$ for $F$ a field, integral closures of these in finite extensions of their fraction fields that ...
5
votes
1
answer
2k
views
Irreducibility of some trinomials modulo $p$
Let $n>1$ be an integer. An old result of Selmer,
See Theorem 1, page 289 in
http://www.mscand.dk/article.php?id=1472,
(If the link does not work try googling: ...
- 1,641
3
votes
1
answer
495
views
universal finite differential module of affinoid algebra
Let $k$ be a value field (archimedean), for example $k = \mathbb{Q}_p$, the p-adic field.
The free Tate algebra is $$ T_n := \left\{ \ \sum a_I X^I, \ a_I \in k, \ a_I \rightarrow 0 \text{ as } |I| \...
- 1,109
11
votes
2
answers
863
views
Valuations and separable extensions
Let $R$ be a valuation ring containing a field $k$, with residue field $F$ and quotient field $K$. Assume $F/k$ is separable. Is $K/k$ separable?
I have convinced myself that (for a positive answer) ...
- 19.6k
12
votes
4
answers
940
views
Factorizing polynomials in $\mathbf{Z}[[x]]$
Let $f(x)\in\mathbf{Z}[x]$ be a non-constant, irreducible polynomial, and let $\alpha \in\mathbf{C}$ be a root of $f(x)$. Denote by $\varphi_\alpha:\mathbf{Z}[x]\rightarrow\mathbf{C}$ the ring ...
- 2,406
32
votes
6
answers
12k
views
Duals and Tensor products
Let $A$ be a commutative ring with a unit element. Let $M$ and $N$ be $A$-modules. Let $M^v$ and $N^v$ be the dual modules. In general, do we have $M^v \otimes N^v \cong (M\otimes N)^v$? It is ...
- 530
8
votes
2
answers
425
views
Doing explicit computations with coordinate rings
Suppose that we are given an integral $k$-algebra $A$ of finite type explicitly, by which I mean that we are given the generators of the defining ideal $J$ where $A = k[x_1,...,x_n]/J$. What kinds of ...
- 3,918
1
vote
1
answer
162
views
systems of parameters vs. minimal "exhausting" systems in a Noetherian local ring
Hello,
Probably this is a very easy question.
Fix a Noetherian local ring $A$, and an $A$-module of finite type $M$.
Lets call a system $ x_1 , \ldots , x_m \in \mathfrak{m}$ $M$-exhausting, if $M / ...
- 5,562
26
votes
3
answers
2k
views
Invariance of $\mathbb{Z}[x]$ under a self-equivalence of the category of commutative rings with 1
Let $\mbox{Rings}$ be the category of commutative rings with $1$.
Is there an equivalence of categories $F: \mbox{Rings} \to \mbox{Rings}$ such that
$$F(\mathbb{Z}[x])\not\cong \mathbb{Z}[x]?$$
- 635
5
votes
1
answer
2k
views
module of differentials of formal power series ring and of its field of quotiens
For any $A$-algebra $B$ ( commutative ring with 1 ), we have the existence of $\Omega_{B/A}$, the module of relative differentials of $B$ over $A$, which can be defined by an universal property. In ...
- 1,109
17
votes
12
answers
4k
views
Why semigroups could be important?
There is known a lot about the use of groups -- they just really appear a lot, and appear naturally. Is there any known nice use of semigroups in Maths to sort of prove they are indeed important in ...
- 1,437
4
votes
4
answers
596
views
Generalization of Jordan Decomposition for Several Commuting Operators
Recently I became curious about the following question:
Let $V$ be a finite dimensional vector space over $k$ and let $A_1, \cdots, A_n: V \rightarrow V$ be a set of commuting maps. Question: ...
- 607
3
votes
1
answer
497
views
Formally smooth maps between adic rings and regular immersions
Suppose $(A,\mathfrak{a})$ and $(B,\mathfrak{b})$ are two adically complete (commutative) noetherian rings. Let $f:A \to B$ be a continuous formally smooth formally of finite type map (that is, $B/\...
- 1,214
13
votes
5
answers
3k
views
Example of a projective module which is not a direct sum of f.g. submodules?
This semester I am teaching a graduate course in commutative algebra, and I have been taking the occasion to try to look at the proofs of some the results in my basic source material (Matsumura, ...
- 65.4k
2
votes
3
answers
1k
views
General hyperplane sections and projection from a point
Let $k$ be an algebraically closed field, and consider some subscheme $X\subset \mathbb{P}_k^n$. Let $x$ be a closed point of $X$, and $H$ a general hyperplane containing $x$. There is a regular map $\...
- 45
6
votes
2
answers
456
views
Immerse an affine schemes into $A^n_S$
Suppose $f: X\rightarrow S$ is of finite type, S is Noetherian. Now X=Spec B is affine, but the morphism f is not an affine morphism. S is not affine (or really f does not factor through any affine ...
- 1,160
7
votes
1
answer
1k
views
Are squarefree monomial ideals on a regular system of parameters in a regular local ring radical?
Suppose $(R,m)$ is a regular, local ring. Let $x_1,x_2,...,x_n$ be a regular system of parameters. Let $I$ be an ideal generated by squarefree monomials in the $x_i$'s. Is $I$ a radical ideal? The ...
- 225
6
votes
2
answers
462
views
need references regarding the elementary theory of free semigroup and free abelian groups
Recently, I read that two free abelian groups $S$ and $T$ have the same elementary theory if and only if rank$S$=rank$T$. Does anyone have a reference with a proof of this? Also, what is known about ...
- 549
3
votes
1
answer
398
views
Is the first part of Eisenbud's Proposition 15.15's proof o.k?
In the chapter on Gröbner bases from Eisenbud's "Commutative Algebra" the following statement appears as Proposition 15.15 (page 344):
Let $F$ be a free $S$ module with basis and monomial order ...
- 486
3
votes
3
answers
681
views
on the relative conductor of curve singularity and quotient of ideals
Let $R$ be the local ring of a complex curve singularity. (Can assume the singularity planar, the ring locally analytic or formal.) Let $\bar{R}$ be the normalization, let $R\subset R'\subset \bar{R}$ ...
- 2,232
14
votes
5
answers
995
views
How can I write down polynomial relations that define when a polynomial is a square?
It's easy to tell when a polynomial is squarefree (or not): that's just the question of the vanishing of the discriminant, which can be dealt with as the resultant of $f$ and $f'$. However, given a ...
- 16k
8
votes
2
answers
537
views
Prime avoidance in adjacent degrees
Let $\mathfrak{p}_1, \dotsc, \mathfrak{p}_k$ be relevant homogeneous primes ideals in the graded ring $R := \Bbbk[x_0, \dotsc, x_n]$, where $\Bbbk$ is a field. Prime avoidance (in Eisenbud's ...
- 7,338
20
votes
1
answer
2k
views
Tropical homological algebra
Has anyone out there thought about homological algebra over the tropical semifield $\mathbb{T}$? For example, I'm interested in the Hochschild homology and cyclic homology of tropical algebras, if ...
- 6,229
3
votes
0
answers
336
views
Antisymmetric functions of the roots of unity: an elementary conjecture
Let $z_1, z_2, \cdots z_N$ be $N$ variables obeying the condition $z_i^M=1$ for some positive integer $M>N$.
Let $F_N$ be the space of antisymmetric polynomials of these variables. Given a set $E = ...
- 378
18
votes
7
answers
2k
views
Superfluous definitions
It is well known that the axioms of a ring R with unity 1 imply that the underlying group must be commutative.
For if a and b are elements of R, and writing + for the group operation then applying ...
3
votes
2
answers
535
views
An easy example of a (1/quasi-)Gorenstein ring with non-trival canonical divisor class.
Suppose that $R = S/I = k[x_1, \dots, x_n]/I$ is a (normal) domain of finite type over a field (or any semi-local ring $k$ with a dualizing complex). In this case, I can define $\omega_R = \textrm{...
- 20.5k
59
votes
4
answers
12k
views
Geometric meaning of Cohen-Macaulay schemes
What is the geometric meaning of Cohen-Macaulay schemes?
Of course they are important in duality theory for coherent sheaves, behave in many ways like regular schemes, and are closed under various ...
- 63.1k
1
vote
1
answer
320
views
covers of complete regular local rings
It is well-known that if one assumes algebraic closedness and characteristic 0 of the residue field then finite covers of complete DVRs are all of the form $A[x]/(x^m-a)$ for some $a \in A$ (direct ...
- 4,070
15
votes
2
answers
2k
views
prime ideals in regular local rings
Suppose $R$ is a regular local ring. Let $m$ be the maximal ideal. Then, if the dimension of $R$ is $n$, there is a regular sequence of size $n$, say $x_1,x_2,...,x_n$ s.t. $m=(x_1,x_2,...,x_n)R$. ...
- 225
1
vote
1
answer
601
views
Unimodular column property
Hi, I know that if $R$ is a ring such that every projective $R$-module finitely generated is free then $R$ has the unimodular column property.
I would like to know if there is a ring $R$ that doesn't ...
- 113
19
votes
6
answers
2k
views
Nonfree projective module over a regular UFD?
What is the simplest example of a domain $R$ which is regular (in particular Noetherian) and factorial which admits a finitely generated projective module that is not free?
In fact I'll be at least ...
- 65.4k
53
votes
9
answers
13k
views
Is there a preferable convention for defining the wedge product?
There are different conventions for defininig the wedge product $\wedge$.
In Kobayashi-Nomizu, there is $\alpha\wedge\beta:=Alt(\alpha\otimes\beta)$,
in Spivak, we find $\alpha\wedge\beta:=\frac{(k+l)...
- 4,306
0
votes
0
answers
198
views
why a reduced ring can be embedded into a sum of integral rings?
Hi,
the question is exactly
"why a reduced ring (commutative with 1) can be embedded into a sum of integral rings?"
Is this simply because in the normalization process we can have many irreducible ...
- 141
8
votes
1
answer
3k
views
When a tensor product of two local rings is a local ring?
This is a follow-up to Is tensor product of local algebras local?.
Let $A, B$ and $C$ be local rings (commutative and noetherian). Suppose that we have local ring maps $C \to A$ and $C \to B$.
What ...
- 91
0
votes
2
answers
2k
views
non discrete valuation ring [closed]
Hi,
I am looking for examples of non-discrete valuation rings. Could you help me?
Thanks
- 141
4
votes
2
answers
907
views
About injective hull
Let $M$ be an $A$-module. Is its injective hull affected by whether I regard $M$ as an $A$-module or $A/\mbox{Ann}(M)$-module ?
- 2,857
5
votes
0
answers
995
views
Maximal ideals in polynomial rings over algebraically closed fields - when Weak Nullstellensatz does not apply
Weak nullstellensatz describes maximal ideals in polynomial rings over algebraically closed fields at least when the cardinality number of variables is finite. Lang obtained the same conclusion also ...
- 17.6k