All Questions
6,057 questions
3
votes
1
answer
226
views
Absolute Galois group with unique closed non-open subgroup
Is there an absolute Galois group that is not a subgroup of $\hat{\mathbb{Z}}$ and that has one and only one closed non-open subgroup?
- 63.9k
1
vote
0
answers
108
views
When do the kernels of module homomorphisms between rings whose kernels contain a given fixed ideal contain every prime ideal over it?
$\DeclareMathOperator{\Hom}{Hom}$All our rings are commutative with unity and, if necessary, we can suppose that they are actually polynomial rings over a field in finitely many variables where the ...
- 12.9k
3
votes
0
answers
81
views
Size of the kernel (minimal ideal) of a finite semigroup
Let $A$ be an irreducible nonnegative $N\times N$ integer matrix with constant row sum $D$. Let $A_1, \dots, A_D$ be nonnegative integer matrices, each with constant row sum $1$, such that $\sum_k A_k ...
- 695
1
vote
0
answers
213
views
Defining path on the prime spectrum
If $p$ and $q $ are two prime ideals of a commutative ring $R $ such that $p \subseteq q$, then we can easily define a continuous function (a path) $f$ from the unit interval $ [0,1]$ to the prime ...
- 30.3k
15
votes
1
answer
1k
views
Integer valued polynomials and polynomials with integer coefficients
It is well known that the subring $S$ of integer valued polynomials ${\mathbb Q}[x]$ is generated by the binomial functions $P_n={x \choose n}$. One can ask a dual question: how to characterize the ...
- 109k
1
vote
0
answers
33
views
Making a generating set of a section of a graded polynomial $R$-module coming from a quotient into a basis of a quotient by higher degree polynomial
Denote the graded rings $R:=\mathbb{R}[x_{1},\dots x_{n}]$ and $S:=R[x_{0}]$ adding the homogenizing variable $x_{0}.$ Consider $h\in S$ a homogenous polynomial of degree $d$ with leading coefficient $...
- 573
1
vote
1
answer
227
views
If the direct sum of $L$ and $M$ has a pseudoinverse, then do $L$ and $M$ have pseudoinverses?
Let $L$ and $M$ be matrices over a commutative ring $R$ equipped with an involution "$*$". Define $L \oplus M$ (the "direct sum" of $L$ and $M$) to be $\begin{bmatrix}L & 0 \\ ...
- 1
0
votes
0
answers
191
views
When $K[X_1,X_2,...,X_n] \to K[Y_1,Y_2,...,Y_m]$ is a flat morphism
Let $K$ be a field and $\varphi: K[X_1,X_2,...,X_n] \to K[Y_1,Y_2,...,Y_m]$ a polynomial $K$-algebra morphism. Assume $n, m \ge 2$. By definition $\varphi$ endows $K[Y_1,Y_2,...,Y_m]$ with a $K[X_1,...
- 6,038
5
votes
0
answers
225
views
The forgetful functor from Groups to Semigroups
While teaching this term I found myself reminded of the fact that the "usual" definition of a group homomorphism is really the definition of a semigroup homomorphism, applied to semigroups ...
- 25.8k
1
vote
1
answer
405
views
Is the class of isomorphism types of a module category always a set?
Let $A$ be a ring and $\text{mod} A$ the category of finitely generated (right) modules over $A$. Is the class of isomorphism types of $\text{mod} A$ always a set? In particular, is it the case if $A$ ...
- 696
1
vote
0
answers
212
views
Surjection from finite rank free $R$-module to finitely generated $R$-module and basis associated to generator set
Suppose the we have an epimorphism $s\colon M\to N,$ where $M$ is a free $R$-module of rank $r$ and $N$ is a finitely generated $R$-module, such that there exists a basis $B:=\{m_{1},\dots, m_{r}\}$ ...
- 573
5
votes
1
answer
332
views
Must the inclusion of an indecomposable module in the direct sum of two copies always split?
We consider finitely generated modules over an Artin algebra. Let $X$ be an indecomposable module and let $f:X \longrightarrow X \oplus X$ a monomorphism. Must $f$ always be a split monomorphism?
- 30.3k
12
votes
1
answer
1k
views
What is a good introduction to cluster algebras from surfaces?
What is a good reference for cluster algebras from surfaces, with a view to their connection to Teichmuller theory?
In my view, that means it should start off with unpunctured surfaces (and in fact,...
- 10.5k
3
votes
0
answers
154
views
Prime ideals in $R \subseteq \mathbb{C}[x,y]$, $\dim(R)=2$
Prime ideals in $\mathbb{C}[x,y]$ were listed here; they are:
(i) $(0)$.
(ii) $(f)$, where $f$ is an irreducible polynomial.
(iii) $(x-\lambda,y-\mu)$, where $\lambda,\mu \in \mathbb{C}$.
Now let $R \...
- 2,837
3
votes
0
answers
152
views
Flatness of certain $R \subseteq \mathbb{C}[x,y]$
The two-dimensional Jacobian Conjecture over $\mathbb{C}$ says the following:
Let $p,q \in \mathbb{C}[x,y]$ satisfy $\operatorname{Jac}(p,q):=p_xq_y-p_yq_x \in \mathbb{C}-\{0\}$.
Then $\mathbb{C}[p,q]=...
- 2,837
1
vote
1
answer
220
views
Creating prime ideals in rings
Are there different ways to create prime ideals in a ring other than taking quotients? I recently came across a construction of a prime ideal in a Noetherian ring $A$ given in the book on Algebraic ...
CommunityBot
- 1
3
votes
0
answers
284
views
Concerning a result of E. Formanek
A result of E. Formanek, in its two-dimensional version, says:
Let $k$ be a field of characteristic zero and let $R=k[x,y]$ be the polynomial ring in two variables.
Let $p,q \in R$ have invertible ...
- 2,837
2
votes
1
answer
221
views
Indecomposable modules such that the radical is a submodule of the socle
We consider finitely generated modules over an Artin algebra. Let $X$ be an indecomposable module such that the radical $\text{rad} \,X$ is a submodule of the socle $\text{soc}\,X$. What can we say ...
- 30.5k
1
vote
1
answer
85
views
Derivable relations in a monoid
Let $ X $ be a monoid which is generated by the elements $ x_1, x_2, \hat x_1, \hat x_2 $ and the relations $ \hat x_i x_i = 1 $ and $ x_i \hat x_j = \hat x_j x_i $ for any distinct $ i, j = 1, 2 $.
...
- 327
2
votes
1
answer
92
views
Preservation of finite presentation along restriction of scalars
Let $\theta \colon R \to S$ be a morphism of commutative rings (with unit). We assume that:
$R$ and $S$ are coherent.
$S$ is finitely presented as an $R$-module.
Now, let $M$ be an $S$-module, and ...
CommunityBot
- 1
13
votes
1
answer
613
views
Non-field example of a commutative, local, dual ring with nilradical $N$ such that $ann(N)\nsubseteq N$
I asked this question on math.stackexchange a month ago with no progress, even after a bounty. I hope to eliminate one if the other receives a satisfactory answer.
For an ideal $I\lhd R$ in a ...
- 14.6k
0
votes
0
answers
265
views
Algebraic closure of field of fractions of multivariate polynomial ring over $\mathbb{R}$
I am searching for good references on the topic of the behaviour of the elements in the algebraic closed field $(\mathbb{R}[x_{1},\dots,x_{n}])^{\operatorname{alg}}.$ I imagine that, when we try to ...
- 573
21
votes
4
answers
2k
views
The first female algebraist in US/Britain?
Recently I dug up some biographical details of Lindsay Burch, of Hilbert-Burch Theorem fame, whose few papers have had quite an impact on commutative algebra. This made me curious about the first ...
CommunityBot
- 1
10
votes
1
answer
579
views
Group completion of topological monoids
Let $M$ be an abelian monoid. For sake of simplicity we shall assume that in $M$ the cancellation law holds true. With this last assumption we define the group completion $G$ of $M$ as $$G:=M\times M/\...
- 63.9k
2
votes
0
answers
115
views
Linear algebra. commutative algebra, a matrix having the maximal rank
I found a matrix that looks to have the maximal rank for my research.
I would really appreciate if some of you could give me any comments or suggestions.
Thanks in advance.
Sincerely, Yong-Su Shin
Let ...
- 21
3
votes
0
answers
165
views
Injective hulls of quotient rings $R/p$
Let $R$ be integral domain and $p \neq 0$ a prime ideal.
It's well known that in category of $R/p$ modules the injective
hull of $R/p$ is $K=\operatorname{Frac}(R/p)$.
Is there a successful theory ...
- 63.9k
0
votes
0
answers
293
views
Quotient of monoids and monoid algebras
Let $ X $ be a monoid and $ R $ be a (two-sided) congruence relation on $ X $ which is generated by some relations $ u_i \equiv_R v_i $ for any $ i $ in some index set $ J $. Let $ K $ be a field, $ K[...
- 327
10
votes
2
answers
1k
views
periodic cyclic homology and tilting in the sense of Scholze
Suppose $R$ is a perfectoid ring in mixed characteristic, and $R'$ its characteristic-$p$ tilt. Scholze's results on tilting say that the étale theories over $R$ and $R'$ are equivalent in an almost ...
- 9,283
0
votes
1
answer
426
views
Generators of $SL(n,\mathbb F_2)$? [closed]
Consider the invertible matrices in $\mathbb F_2^{n\times n}$ which are a multiplicative group structure. Is there a finite set of $2k$ (at a $k\in\mathbb Z_{\geq1}$ independent of $n$) generators for ...
- 37.4k
3
votes
0
answers
79
views
module of differential and Weil restriction
Let $k$ a commutative ring. Let $A$ be an $k$-algebra of finite presentation $A = k[\underline{X}] / \langle \underline{P} \rangle$ and $K / k$ free algebra of rank $r$.
There is a $k$-algebra $A \...
- 31
3
votes
0
answers
198
views
Cuntz semigroups of basic C*-algebras
I am doing some research related to Cuntz semigroups, and I am trying to find concrete examples in simple cases. In one paper that I found, it says the following (p.103):
"[...] $A_i$ is ...
- 285
2
votes
2
answers
962
views
Characterization of projective modules in terms of Ext groups
This is from Hartshrone exercise 6.6 part (a).
Let $A$ be a regular local ring and $M$ be a finitely generated $A$-module, prove the following
$M$ is projective $\iff$ $\operatorname{Ext}^{i}(M,A)=\{...
- 395
4
votes
0
answers
234
views
Do you know rings without involutions, auto-anti-isomorphics? In that case, what is the minimal example?
Do you know rings without involutions, but auto-anti-isomorphic (isomorphic to their opposite)? In that case, what is the minimal example?
If a ring has an involution f, then f is an anti-automorphism;...
6
votes
1
answer
434
views
Regular morphisms and formal power series
Let $A$ be a local noetherian ring. When (besides when $A$ is excellent) do we have that $\operatorname{Spec}(A[[t]])\rightarrow \operatorname{Spec}(A[t])$ is regular?
- 1,823
3
votes
1
answer
173
views
Well-foundedness of divisibility vs well-foundedness of right- and left-divisibility
Say that a preorder (i.e., a reflexive and transitive binary relation) $\preceq$ on a set $X$ is
artinian if there is no sequence $(x_n)_{n \ge 1}$ of elements of $X$ with $x_{n+1} \prec x_n$ for ...
- 10.5k
3
votes
1
answer
948
views
Module of Kahler differentials of rings of integers of number fields
How does one prove that if $L/K$ is an extension of number fields with rings of integers $B/A$, then the module of Kahler differentials $\Omega^1_{B/A}$ can be generated by one element as a $B$-module?...
1
vote
0
answers
210
views
Strongly graded rings
In Theorem 3.1 of Graded rings over arithmetical orders, the authors prove that for a strongly $\mathbb{Z}$-graded ring $R$, if $R_0$ is left and right Goldie and a maximal order in its (classical) ...
- 323
2
votes
0
answers
136
views
Weil restriction over integers
If we have a finite (possibly ramified) map of Dedekind domains $f:D\to D'$ and a finite type affine $D'$-scheme $X'$ is there a functorial way to produce a finite type affine $D$-scheme $X$ that ...
- 21
3
votes
0
answers
138
views
A question regarding base change of a smooth algebra via completion
Let $(R,m)$ be an excellent Noetherian local ring. Let $S$ be a smooth (i.e. $R \rightarrow S$ is flat and has geometrically regular fibers) Noetherian $R$-algebra. Let $T$ be the $m S$-adic ...
- 1,802
3
votes
1
answer
481
views
Under what conditions is the polynomial of degree $6$ irreducible?
Let $k$ be a perfect field of characteristic $p \neq 2,3$ such that $\omega := \sqrt[3]{1} \in k$, where $\omega \neq 1$. Consider an absolutely irreducible (not necessarily homogenous) quadratic ...
- 661
1
vote
1
answer
388
views
Automorphisms of the ring of Laurent polynomials
Is the group of automorphisms of the ring $\mathbb{F}[t,t^{-1}]$ of Laurent polynomials known? Here, $\mathbb{F}$ is an algebraically closed field of characteristic $0$ and I am considering not ...
- 790
5
votes
0
answers
132
views
Asymptotics of Hilbert series for locally finite free graded-commutative algebras?
Let $A^\bullet$ be an $\mathbb N$-graded algebra over a field $k$, and let $d_A(n) = \dim A^n$ be the dimension of the $n$-th graded piece, so that $P^A(t) = \sum_n d_A(n) t^n$ is the Hilbert-Poincare ...
- 64k
2
votes
1
answer
222
views
Projective dimension of a sub-ideal
Let $\mathbf{k}$ be a field, and let $S=\mathbf{k}[x_1,x_2,\ldots,x_n]$. Let $I\subset J$ be finitely generated monomial ideals in $S$. Is it true that the projective dimension of $I$ is either ...
- 30.5k
4
votes
2
answers
1k
views
When does a faithful module have an element with zero annihilator?
This is a follow up of the question Example of a finitely generated faithful torsion module over a commutative ring on MathSE.
Let $M$ be a finitely generated module over a commutative ring $R$ with ...
- 63.9k
5
votes
1
answer
759
views
On the annihilator of a module
Question. Let $A$ be a Noetherian ring and $M$ a finitely generated $A$-module. Does there always exist an element $s\in M$ such
that $\mathrm{Ann}(s)=\mathrm{Ann}(M)$?
Remark. The annihilator of a ...
- 303
4
votes
1
answer
385
views
Vector bundles on complete rings
Given a ring $A$ and an ideal $I$, consider the completion $\hat{A}$. What does usually mean by a vector bundle on $\hat{A}$? One way is to consider projective $\hat{A}$-modules. Another one is a ...
- 2,607
2
votes
0
answers
76
views
Equivalence classes of Hermitian elements in a central simple algebra with an involution of second kind
Let $k_0$ be a field of characteristic 0, $k/k_0$ be a quadratic extension,
and $A/k$ be a central simple algebra over $k$ of dimension $9=3^2$ with an involution of second kind $\sigma$.
Then $^\...
- 14.2k
5
votes
1
answer
359
views
Computations of divisor class monoids
Let me first recall some definitions from the very first pages of Bourbaki, Commutative Algebra, Chapter 7, "Divisors".
Let $A$ be a (commutative) domain, $K$ its field of fractions. A ...
- 26k
0
votes
0
answers
135
views
On resolution of singularities over an Artin ring
For a locally noetherian scheme $X$, Grothendieck conjectured that if $X$ is quasi-excellent then there is a proper birational map $Y \to X$ s.t. $Y$ is regular.
We now fix an Artin ring $R$ whose ...
- 66.3k
3
votes
0
answers
114
views
Methods for multivariate polynomial equations over large finite fields
I am trying to get a rough overview of the best methods one might use to find solutions of multivariate polynomial equations over large finite fields. We can suppose for simplicity that the given ...
- 3,065