All Questions
Tagged with ra.rings-and-algebras ac.commutative-algebra
667 questions
4
votes
0
answers
211
views
When does a short exact sequence of abelian groups with $B\cong A\oplus C$ split?
$\hspace{20pt}$Duplicate on stackexchange.
This question, in a way, extends this one. The question is what are some sufficient conditions on the abelian group $B$ so that if $B\cong A\oplus C$ and a ...
- 171
2
votes
1
answer
198
views
Maximal sub-$\mathbb{C}$-algebras of $\mathbb{C}[x,y]$
After asking this question and finding this relevant paper, I would like to ask the following question:
For every $a,b \in \mathbb{C}$, denote:
$A_{a,b}=\mathbb{C}[(x-a)(x-b),x(x-a)(x-b),y]$
and
$B_{a,...
- 2,837
5
votes
0
answers
216
views
Lifting a morphism between quasi-projective varieties
Let $\mathcal{V}$ be an affine algebraic variety over $\mathbb{R}$, $G$ be a finite group acting freely on $\mathcal{V}$. Consider the quotient space $Y:=\mathcal{V}/G$, which itself is a quasi-...
- 364
4
votes
0
answers
267
views
If $\mathbb{C}[a,b,c] \subsetneq \mathbb{C}[x]$, then there exist $f,g$ s.t. $\mathbb{C}[a,b,c] \subseteq \mathbb{C}[f,g] \subsetneq \mathbb{C}[x]$
I ran into this MSE question and would like to ask about its answer and plausible generalizations.
The quoted MSE question asks if the following claim is true or false and why:
Claim: Let $a,b,c \in \...
- 2,837
0
votes
1
answer
223
views
On the Irreducibility of Cyclotomic polynomials
Let $F$ be any field with $\operatorname{Char} F=q$. Let $p$ be a prime such that $p\neq q$. Suppose $F$ has no $p$-th root of unity except $1$. Is it true that the cyclotomic polynomial $X^{p-1}+\...
- 494
2
votes
1
answer
327
views
Completion of a local ring is noetherian (under some hypothesis)
I was reading the proof of Lemma 10.12 in this paper. In the second sentence, the following fact is used implicitly:
Let $(R,\mathfrak{m})$ be a commutative local ring. Let $\widehat{R}$ be its $\...
- 293
3
votes
2
answers
255
views
Is being graded commutative a necessary condition on $A$ such that $H^*(A)$ is commutative?
If we consider any differential graded algebra $A^\bullet$, then its homology is a graded algebra, since the tensor product interacts well with homology.
A sufficient condidtion for the homology to be ...
- 4,418
5
votes
1
answer
156
views
The inverse limit of a sequence of ring surjections commutes with taking difference subsets of the respective units & gluing in some primes?
Define $R_n := \Bbb{Z}/p_n\#$ the ring of integers modulo primorial $p_n\# = p_n p_{n-1} \cdots p_1$. Let $U_n$ denote the group of units modulo $p_n\#$ in these rings.
Then if $f_{n,n+1}: \Bbb{Z}/p_{...
- 260
10
votes
1
answer
243
views
If $E_\text{sep}/F$ is normal, then must $E/F$ be normal?
This question has been asked in Math.StackExchange (see here) for more than a week and I even put a bounty on it. But still it hasn't been correctly answered (the current answer there was written by ...
- 452
1
vote
1
answer
52
views
Exceptional Lenz-Barlotti classes IVa.3 and IVb.3
On this web-site, devoted to the Lenz-Barlotti classification of projective planes, it is written that the class IVa.3 (and its dual IVb.3) is somewhat exceptional, because it contains exactly one ...
- 41.9k
0
votes
1
answer
219
views
Finding $\mathbb{C}(u,v)$ such that $\mathbb{C}(u,v,x^p+y^p)=\mathbb{C}(x,y)$, for every prime number $p$
Denote the set of prime numbers by $P$, $P=\{2,3,5,7,\ldots\}$.
Let $F \subseteq \mathbb{C}(x,y)$ be a subfield of $\mathbb{C}(x,y)$, and for $w \in \mathbb{C}[x,y]$ denote by $F(w)$ the subfield of $\...
- 2,837
1
vote
0
answers
181
views
Examples of semirings where the additive neutral element is not absorbing for multiplication
In the case of a non unital ring, the additive 0 must be absorbing for the multiplication because we have a⋅0 = a⋅(a − a) = a⋅a − a⋅a = 0 and similarly on the other side.
In the case of a unital ...
- 2,655
0
votes
1
answer
473
views
A subfield $R \subseteq \mathbb{C}(x,y)$ with 'many' generators $w$, $R(w)=\mathbb{C}(x,y)$
Let $R \subseteq \mathbb{C}(x,y)$ and assume that $R=\mathbb{C}(u,v)$, where $u,v \in \mathbb{C}[x,y]$ are algebraically independent over $\mathbb{C}$.
Here $\mathbb{N}$ includes $0$.
Assume that $R$ ...
- 2,837
1
vote
0
answers
107
views
A certain subfield of $\mathbb{C}(x,y)$
Let $A=\mathbb{C}(x+y,xy)$, the subfield of symmetric polynomials with respect to the involution $\alpha: (x,y) \mapsto (y,x)$.
Denote $G_A=\{w \in \mathbb{C}(x,y) \ | \ \mathbb{C}(x+y,xy,w)=A(w)=\...
- 2,837
2
votes
2
answers
416
views
Tensor product over $\mathbb{Z}$ and p-adic integer ring $\mathbb{Z}_p$
Thanks for your reading. Suppose we have two $\mathbb{Z}_p$-modules $A,B$. Do we always have $A \otimes_{\mathbb{Z}} B \simeq A \otimes_{\mathbb{Z}_p} B$, as abelian groups or $\mathbb{Z}_p$-modules? ...
- 319
1
vote
0
answers
37
views
Bounding the length of an R-module of matrices
Loosely related to this: Bounding the length in a module of evaluated skew polynomials
Let $C$ be an $\mathbb{F}_q$-vector subspace of $m \times n$ matrices over $\mathbb{F}_q$. Assume WLOG that $m \...
- 223
5
votes
2
answers
199
views
Determining the multiplication via addition and some unary operation
It is known that the addition operation in a skew-field $F$ (more generally, in a quasifield) is uniquely determined by the multiplication operation and the unary involutive operation $1_{-}:F\to F$, ...
- 41.9k
1
vote
0
answers
77
views
$M^2=0$ defines a Koszul algebra ? What if $M$ is Manin's endomorphism's of Koszul $A$ ? (Here $M^2=\sum_k M_{ik}M_{kj}$ - resembles $d^2=0$).)
Consider a matrix $M$ which elements $M_{ij}$ are generators of some algebra $K$,
impose new relations: $M^2=0$ and get a new algebra $K_{2}$.
Question 1: Is it true that $K_2$ is Koszul algebra when ...
- 24.9k
1
vote
0
answers
60
views
Bounding the length in a module of evaluated skew polynomials
Let $R$ be a finite principal ideal ring, $S$ a Galois extension of $R$ of degree $m$ (so in particular $S$ is a free $R$-module of rank $m$, and we have an $R$-module isomorphism $S^n \cong \...
- 223
1
vote
1
answer
364
views
Proj construction and nilpotent homogenous elements in graded ring
Let $A= \bigoplus_{n \ge 0} A_n$ be a commutative Noetherian graded ring and $f \in A_d$ a nonzero homogeneous element of degree $d>0$. The natural ring map $q:A \to A/(f)$ induces a well defined ...
- 6,028
4
votes
0
answers
119
views
Adjoining new factors for primes in UFDs
It is well-known that if we pass from a UFD to a new ring where we have factored one of the primes, it does not need to stay a UFD. The classic example is passing from $\mathbb{Z}$ to $\mathbb{Z}[\...
- 18.7k
2
votes
1
answer
158
views
How to decompose a given polynomial by ideal generators
Given a finite set of polynomials $f_1, f_2,..., f_n$ of variables $x_1,...,x_m$, generating the ideal $I$, suppose that we have one more polynomial $g\in I$.
What is the algorythm for decomposing $g$ ...
- 728
7
votes
0
answers
225
views
Decomposing an endomorphism as a tensor product
$\DeclareMathOperator\End{End}$Let $f$ be an endomorphism of the finite-dimensional vector space $V$, over the field $K$. The question of whether $f$ is decomposable, that is, whether $V$ can be ...
- 2,287
6
votes
0
answers
235
views
A standard name for the algebraic structure on a projective line?
Question: Is there any name for the natural algebraic structure of the projective line?
Algebraically, a projective line over a field is a set $L$ endowed with two binary operations $+$ and $\cdot$ ...
- 41.9k
1
vote
0
answers
186
views
Is it true that monomorphisms of local Artinian $\mathbb{R}$-algebras are regular?
A Weil algebra is a finite-dimensional real algebra, in which each element is the uniquely sum of a scalar and a nilpotent (so nilpotents constitute the only maximal ideal of codimension 1). In other ...
- 6,962
2
votes
0
answers
122
views
Quasi-isomorphisms of P-algebras
In the paper "Homotopy algebras are homotopy algebras" from Markl a notion of strong homotopy morphism between strong homotopy P-algebras is defined. The author restricts to the case where $...
- 215
1
vote
1
answer
110
views
Particular example of a quadratic extension of a nonunital ring
I want to construct a concrete non-unital ring $R$ with the following properties:
$R$ is a noncommutative non-unital ring with a right unite $r$ i.e $t.r=t$ for any $t\in R$.
$S\subset R$ is a ...
- 223
0
votes
1
answer
170
views
Isn't every algebraic operad equipped with a trivial weight?
In Loday–Vallette "Algebraic Operads" they state the following result (Theorem 6.6.2, Operadic twisting morphism fundamental theorem):
Let $P$ be a connected weight graded differential ...
- 215
2
votes
1
answer
185
views
Finite étale cover of factorial ring
Let $A$ be a regular factorial ring.
Consider $B=A[X]/(P)$ such that $B$ is finite étale over $A$. When do we have that $B$ is also factorial?
- 3,472
2
votes
0
answers
157
views
Resolutions of semi free (or almost free) commutative dg algebras with finitely generated cohomology
Let $A^{\bullet}:=\{ \cdots \rightarrow A^i \overset{d^i}{\rightarrow} A^{i+1} \rightarrow \cdots \rightarrow A^{-1} \rightarrow A^0 \rightarrow 0 \rightarrow \cdots \}$ be a non-positively graded ...
- 889
3
votes
0
answers
137
views
Composition of Frobenius $n$-homomorphisms, characteristic-free?
This question is, as so often, a crossbreed of curiosity and laziness. The
former has led me to an interesting, but somewhat unsatisfactory paper by
Khudaverdian and Voronov
(arXiv:2002.02395v2) and, ...
- 33.8k
0
votes
0
answers
70
views
Hensel lifting of roots of a biquadratic polynomial
Let $5$ divide $p-1$. Therefore, we have $$1+x+x^2+x^3+x^4=(x-\alpha)(x-{\alpha}^2)(x-\alpha^3)(x-\alpha^4)=f_1f_2f_3f_4$$ over $F_p,$ where $\alpha$ is an element of order $5$ in ${F_p}^\times.$ We ...
- 381
2
votes
1
answer
145
views
The presentations of finite complete local rings
Suppose that $R$ is a commutative ring such that there is a surjection $ \pi:\mathbf{Z}_p[[T_1,\cdots,T_n]]\to R$ of rings where $\mathbf{Z}_p[[T_1,\cdots,T_n]]$ is the ring of formal power series ...
- 667
1
vote
0
answers
91
views
generating set of polynomial ring
I am considering the polynomials $P=P[x_1,x_2,\ldots,x_n]$ with coefficients in a ring $R$. Consider a subset $S=\{p_1,p_2,\ldots,p_k\}$ of $P$. There is a map $f\colon P[x_1,x_2,\ldots,x_k] \to P$ ...
- 379
3
votes
0
answers
161
views
Amalgamation of commutative subrings
Let $A$ and $B$ be commutative subrings of a non-commutative ring $X$.
Is there always a commutative ring $Y$ containing $A$ and $B$ preserving their intersection?
This is equivalent to ask if in the ...
- 39
2
votes
1
answer
78
views
Is uniform dimension monotonic in quotients when there is a unique indecomposable injective?
The notion of uniform or Goldie dimension is something I’ve only seen discussed for categories of modules, but I believe the theory works the same way in any Grothendieck category $\mathcal C$. Recall ...
- 63.9k
5
votes
1
answer
191
views
Are module finite algebras over semiperfect rings again semiperfect?
Let $S$ be a Noetherian semiperfect ring (https://en.m.wikipedia.org/wiki/Perfect_ring). Let $R$ be a module finite associative $S$-algebra. Then, is $R$ also a semiperfect ring? (Clearly, $R$ is ...
- 412
3
votes
0
answers
134
views
Generalized wreath products of commutative algebras with Hopf algebras
Fix $k$ a commutative ring (or, if more convenient, assume it’s a field or even an algebraically closed field of characteristic 0, which is the case I’m mainly interested in). Let $A$ be a unital ...
- 2,830
8
votes
1
answer
191
views
Do graded-commutative rings satisfy the strong rank condition?
Let $R$ be a ring. Recall that $R$ is said to satisfy the strong rank condition if, whenever $R^m \to R^n$ is a monomorphism of right $R$-modules (with $m,n \in \mathbb N$), we have $m \leq n$.
It is ...
- 63.9k
6
votes
2
answers
1k
views
Prove that $\Bbb C[x,y]/(x^3+y^3-1)$ is not a UFD
I am posting this question on MO since I haven't received any answers on MSE.
Below is my (very elementary) attempt. Feel free to post a solution using facts in algebraic geometry and facts about ...
- 171
5
votes
0
answers
285
views
Serre subcategories of the category of chain complexes of modules
Let $k$ be an algebraically closed field of characteristic $0$.
Let $R$ be a commutative $k$-algebra.
We denote by $\operatorname{Mod}(R), C(R), $ and $ D(R)$ the category of $R$-modules, the category ...
- 889
5
votes
1
answer
208
views
Equivalences of categories of complexes of modules
Let $k$ be an algebraically closed field of characteristic $0$.
Let $R, S$ be two commutative $k$-algebras.
Let $\operatorname{Ch}(R), \operatorname{Ch}(S)$ be the categories of complexes of $R$-...
- 889
5
votes
1
answer
210
views
Relation between row space and column space resp. null space and left null space over general rings
Let $R$ be a ring and $M\in\text{Mat}(R,m\times n)$ a matrix for $m,n\in\mathbb{N}$. What results are known about the relation between column space (cs, image) and row space (rs), resp. null space (...
- 231
3
votes
1
answer
372
views
Subalgebras of quadratic algebras that are not quadratic
Suppose $A=k\oplus A_1 \oplus A_2\oplus \cdots$ is a quadratic algebra over a field $k$. Let $B$ be the subalgebra generated by a subspace $V\subseteq A_1$. What are the examples of such subalgebras $...
1
vote
0
answers
104
views
Examples of compressed Gorenstein ring
Let $(R,\mathfrak{m},k)$ be a Gorenstein local Artinian ring of socle degree $s$ and embedding dimension $e>1$. We set
$$
\varepsilon_i=\min\left\{ \binom{e-1+s-i}{e-1}, \binom{e-1+i}{e-1}\right\} \...
- 81
1
vote
1
answer
96
views
On "minimal presentation" of local rings essentially of finite type over a field
Let $k$ be a field of characteristic $0$. Let $(R,\mathfrak m)$ be a local ring essentially of finite type over $k$ (https://stacks.math.columbia.edu/tag/07DR). Then, $R$ is the homomorphic image of ...
- 361
4
votes
1
answer
280
views
Existence of module with periodic resolution
Let $R$ be a Gorenstein local ring. Does there always exist a module $M$ having eventually periodic minimal free resolution?
Any reference is also appreciated.
- 81
4
votes
1
answer
268
views
Are polynomial algebras over fields (that are not algebraically closed) tame?
Let $A$ be an algebra over a field $K$. Loosely speaking, an algebra is said to be tame if for each $d \in \mathbb{Z}_{>0}$ all but finitely-many of the indecomposable $A$-modules of $K$-dimension $...
- 482
6
votes
1
answer
443
views
Ring in which $x^n-x$ is central for every $x$
Let $R$ be a ring , $n \gt 1$, such that for all $x \in R$: $x^n-x \in Z(R)$, the center of $R$. Does it follow that $R$ is commutative?
For $n=2,3$ this is pretty straightforward to prove. But what ...
- 365
5
votes
0
answers
181
views
The precise relationship between (moduli space of) finite-dimensional commutative local $\kappa$-algebras and number theory?
In [BP08] Poonen constructs and studies $\mathfrak{B}_n$, the moduli space of all based $n$-dimensional commutative associative unital $\kappa$-algebras, where $\kappa$ is an algebraically closed ...
- 7,127