All Questions
41 questions
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
3
votes
1
answer
173
views
$\Omega$ for noetherian semiperfect rings
Let $A$ be a a two-sided noetherian semiperfect ring and assume that the injective dimension of the left and right regular modules are equal to $n \geq 1$.
Let $\Omega^n(mod A)$ be the category of $n$-...
- 26.5k
1
vote
2
answers
333
views
Condition for equality of modules generated by columns of matrices
Let $R$ be a commutative ring with unit. Let $M_A$ denote the submodule of $R^m$ generated by columns of a matrix $A$ with entries in $R$. Suppose we are given two matrices $A,B \in R^{m \times k}$. I ...
- 431
4
votes
0
answers
216
views
Characterizing atomicity in a commutative domain
In Proposition 1.1 of [Math. Proc. Cambridge Phil. Soc. 64 (1968), No. 2, 251-264], P.M. Cohn famously claimed (without proof) that a commutative domain is atomic if and only if it satisfies the ...
- 10.5k
9
votes
0
answers
460
views
Does the book "Algebra III" exist (within the Encyclopaedia of Mathematical Sciences series from Springer)?
Within the series "Encyclopaedia of Mathematical Sciences", as published by Springer, one finds the 8 volumes, namely,
the volumes I, II, IV, V, VI, VII, VIII, IX but zbMath has no listing ...
- 161
2
votes
1
answer
257
views
Possible "algebraic" direction in hyperplane arrangements
I have been studying hyperplane arrangements from R. Stanley's notes and so far, I have read until lecture 5. But, Lecture 6 and end of Lecture 5 seems very combinatorial. I'm more interested in the &...
- 839
5
votes
0
answers
788
views
Rings such that torsion-free/flat/projective modules are flat/projective/free
While thinking about this question (and specifically YCor's remarks), I tried to remember what can be said about rings such that every torsion-free module is free, and I could not; and such things, ...
2
votes
0
answers
95
views
Socle of a quotient of the ring of differential operators of a polynomial ring
I have been reading the following paper:
https://www.sciencedirect.com/science/article/pii/S002240491000263X
Proposition 2.4(ii) shows that if $\mathfrak D$ is a ring of $k$-linear differential ...
- 81
3
votes
0
answers
244
views
Quick proof of the first part of Kaplansky's Theorem on characterization of Noetherian domains with all maximal ideals principal
I have been reading section 12 of this paper "Elementary Divisors and Modules" by I. Kaplansky (https://www.ams.org/journals/tran/1949-066-02/S0002-9947-1949-0031470-3/S0002-9947-1949-...
- 739
3
votes
1
answer
153
views
Artinian Tor modules (Reference request)
I am looking for a reference for the following basic fact:
Let $R$ be a noetherian ring, let $M$ be an artinian $R$-module, let $N$ be a finitely generated $R$-module, and let $i\in\mathbb{N}$. ...
- 6,700
1
vote
1
answer
142
views
Valuation theory on semisimple algebras used in the paper of Cohen-Martinet: reference request
I'm currently reading the paper of Henri Cohen & Jacques Martinet "Etude heuristique des groupes de classes des corps de nombres"
On the 2nd section, they recall some facts on valuations, ...
- 1,013
3
votes
0
answers
97
views
Infinite-dimensional wild commutative algebras with non-trivial units
Let $A$ be an arbitrary (not necessarily finite-dimensional) associative algebra over an algebraically closed field $K$, and let $\mathrm{fin\,}A$ denote the category of finite-dimensional $A$-modules....
- 482
7
votes
1
answer
212
views
The Image of a Derivation is Contained in the Jacobson Radical
Let $A$ be a finite-dimensional unital commutative associative algebra over a field $K$ of characteristic $0$. Is it true that for any derivation $D$ of $A$ we have $D(A) \subseteq J(A)$ where $J(A)$ ...
- 71
7
votes
1
answer
294
views
A commutative variant of the exterior algebra
Consider $A = \mathbb{R}[t_1,\ldots,t_{k}]$, the ring of real $k$-variate polynomials in the indeterminates $t_1,\ldots,t_k$. For $y\in\mathbb{R}$, define the element $p(y) \in A$ through
$$
p(y) = ...
- 213
9
votes
1
answer
712
views
Curious anti-commutative ring
Has anyone seen the ring $\Lambda[x_0, x_1, x_2, \ldots]/(x_i x_j - (i+1) x_0 x_{i+j})$ in some natural context?
Here $\Lambda[x_0, x_1, x_2, \ldots]$ is the (graded-)commutative algebra (either over ...
- 3,526
1
vote
1
answer
154
views
A property similar to arithmetical property
By an arithmetical ring is understood a commutative ring $R$ with
identity for which the ideals form a distributive lattice, i.e., for which
$(I+J)\cap K=(I\cap K)+(J\cap K)$ for all ideals $I, J$ ...
- 21
3
votes
0
answers
112
views
Indecomposablity in purely inseparable extensions
Let $k$ be a field of characteristic $p$ (e.g. the separable closure of $\mathbb{F}_p(t)$) and consider the extension $k(x)/k$ where $x^p\in k$ but $x$ does not. Consider a (finitely generated) ...
- 31
3
votes
0
answers
47
views
Counting the monic atoms $f$ in the semiring $\mathbf N[x]$ with $f(0)=1$, bounded coefficients, and degree $k$ (in the limit as $k \to \infty$)
Let $H$ be the multiplicative monoid of the (usual) semiring of polynomials in one variable $x$ with coefficients in $\mathbf N$. Given $\alpha, k \in \mathbf N$, denote by $\mathcal A_k(\alpha)$ the ...
- 10.5k
1
vote
1
answer
264
views
Providing a grading for the polynomial ring over a commutative unital graded ring
Let $R$ be a commutative unital $G$-graded ring , where $G$ is a monoid ; then does there exist a $G$-grading on $R[X]$ such that whenever we have a commutative unital $G$-graded ring $S$ , $a \in S$ ...
user111524
4
votes
1
answer
385
views
Which monoids can be realized as the monoid of ideals of a commutative monoid?
Let $H$ be a commutative monoid (written multiplicatively). We say that a set $I \subseteq H$ is an ideal of $H$ if $IH = I$. The set $\mathcal I(H)$ of all ideals of $H$ is made into a (commutative) ...
- 10.5k
2
votes
0
answers
62
views
Extensions of an ideal-theoretic criterion for a monoid to be BF
Let $H$ be a multiplicatively written, commutative monoid. We denote by $H^\times$ the set of units (or invertible elements) of $H$, and by $\mathcal A(H)$ the set of atoms (or irreducible elements) ...
- 10.5k
4
votes
0
answers
98
views
$\lambda$-Decomposition for Connes' Cyclic Complex
Let $k$ be a field of characteristic zero, and $A$ be a commutative unital $k$-algebra. Then the cyclic homology of $A$ has a $\lambda$-decomposition:
$$HC_{n}(A)=HC_{n}^{(1)}(A)\oplus \cdots \oplus ...
- 661
3
votes
0
answers
86
views
$\mathbb Z$-torsion for some quadratically presented Lie rings
$\newcommand{\Z}{\mathbb{Z}}$
I asked this question on MSE but no answer so far, so I'm also asking it here.
Let $L$ be a Lie ring (a Lie algebra over $\Z$) with generators $x_1,\dots,x_n$ and ...
- 8,524
6
votes
0
answers
224
views
Book or survey on Dedekind-finite rings
I'm seeking a book or a survey providing an overview, as rich as possible, of the literature on Dedekind-finite (or von Neumann-finite) rings (let me recall that a unital ring $R$ is Dedekind-finite ...
- 10.5k
4
votes
0
answers
67
views
Existence of infinitely many pairwise non-associate atoms in a ring of polynomials in $k$ variables over a Dedekind-finite unital ring
The following comes as a by-product of a more abstract result, and I'm essentially looking for a reference to it (or to something more general than it).
Corollary. Let $R$ be a non-trivial Dedekind-...
- 10.5k
1
vote
0
answers
136
views
Representations of finite groups over commutative rings-question and reference request
In a textbook of representation theory I have encountered the following statement without proof:
Let $R$ be a commutative ring and $G$ a finite group. If $M$ is a simple $RG$-module then the ...
- 137
3
votes
1
answer
336
views
Finitely generated subrings of $\mathbb{R}$ are finitely approximable
In Ivanov's Finite Approximability of Modular Teichmüller Groups, for the proof of Lemma 2, the following is stated:
Let $G$ be a finitely generated group and $\tau: G \to \operatorname{PSL}(2,\...
- 243
4
votes
0
answers
429
views
Auslander-Reiten-Quivers of representation-finite algebras having different 3-dimensional forms
I am looking for references, where I can find (pictures of) connected Auslander-Reiten-Quivers of representation-finite $k$-algebras ($k$ is a (preferably, but not necessarily finite) field) with one ...
- 1,755
2
votes
1
answer
581
views
A paper by Y. Morita
The corresponding bibliographical details are:
Yoshihito Morita, Elementary proofs of the commutativity of rings satisfying $x^{n}=x$. Mem. Defense Acad. 18 (1978), no. 1, 1–24.
Does anybody here ...
- 8,842
19
votes
1
answer
2k
views
Has anything ever been done with the set $\{1,2,3,4,\ldots\}$ equipped with the operation $a \oplus b = a+b-1$ and the usual notion of multiplication?
Definition. $$\mathbb{J} = \{1,2,3,\ldots\}.$$
We can refer to the elements of $\mathbb{J}$ as "joiners."
The product of joiners is inherited from $\mathbb{Z}$.
The sum of joiners will be ...
- 3,793
2
votes
0
answers
270
views
Looking for a reference in commutative algebra
I need "I.G. Macdonald, Secondary representation of modules over a commutative ring, Sympos. Math. 11 (1973) 23–43." in my research, but it seems to be very old and rare. Does anyone know a site for ...
- 21
7
votes
0
answers
228
views
Terminology for vanishing of Hochschild homology with symmetric coefficients?
In a title or abstract for a paper, if I say "Hochschild cohomology of this algebra $A$ vanishes in degrees two and above" then
it should hopefully be understood by most readers as saying $H^n(A,M)=0$...
- 25.8k
7
votes
0
answers
296
views
A roadmap to learn about finite-dimensional commutative associative real or complex unital algebras
I've always been secretly fascinated with the rich structure and applications of finite-dimensional associative unital algebras over complete fields. In particular, I am very much interested in the ...
4
votes
2
answers
405
views
Transitivity of discriminant for flat algebras
Sorry if the question doesn't feed this site, I'm reposting it from MSE. Nobody answered it there and I couldn't find the proof in general case(whenever it was mentioned the proof was referred to as a ...
- 43
1
vote
0
answers
115
views
cohomlogy of Diagonal ring
Let $S=\bigoplus_{\underline n\in\mathbb N^r } S_{\underline n}$ be a standard multigraded ring over a local ring and M be a finitely generated $\mathbb N^r $-graded $S$-module. Let $M_{\Delta}=\...
- 1,713
11
votes
3
answers
1k
views
Ring of differential operators of a quotient ring
All rings are assumed to have unity.
Let $k$ be a field. Recall the definition of Grothendieck's ring of ($k$-linear) differential operators $D(R;k)$ of a commutative $k$-algebra $R$:
Definition. ...
- 3,079
1
vote
1
answer
272
views
Self-similarity for simple algebraic structures [closed]
I'm doing this thread because I have some ideas about how to define self-similarity in algebra, but I don't know if this is known at all. Any critics, comments and references are more than welcomed. ...
- 438
2
votes
1
answer
203
views
Vertices of a polytope as algebra generators
I am wondering if the following kind of objects has some name, or are there any studied examples. I apologize for perhaps too specific definition, this is an adoptation of a situation that arises in ...
- 1,488
5
votes
3
answers
1k
views
adjoint of multiplication operator in a commutative algebra
Dan Popescu asked me the following question, and since I'm not an expert I'm throwing his question on MO.
Suppose that $A$ is a finite-dimensional vector space over an ordered field $k$ with $\...
- 6,614
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
15
votes
1
answer
633
views
Introduction to "commutative semialgebra"?
Of course, commutative algebra is a fundamental topic in algebraic geometry, number theory, representation theory, and so on.
However, there are some instances (most obviously tropical geometry) ...
- 12.6k