All Questions
Tagged with ra.rings-and-algebras reference-request
329 questions
4
votes
1
answer
520
views
List of Casimir elements of low dimensional Lie algebras
I am interested in explicit formulae for the Casimir elements (or "Casimir operators") of low-dimensional, real, non-Abelian Lie algebras (d=2,3, and possibly 4). I am wondering if there is any ...
5
votes
0
answers
140
views
Open problems about Morita and derived invariants
Are there properties of rings of which one does not know whether they are Morita or derived invariances?
For a recent such example for Morita invariance, see https://www.sciencedirect.com/science/...
- 26.5k
3
votes
0
answers
180
views
Automorphisms of infinite matrix algebra
This is a similar question to one that I posted in MSE a few days ago.
I recently came across this paper from Alahmedi, Alsulami, Jain and Zelmanov, which quoted the following result for $M_\infty(K)$...
- 195
2
votes
0
answers
56
views
Denominator identity for Lie superalgebras
Let $\mathfrak g$ be a basic classic simple Lie superalgebra.
Fix a maximal isotropic subset $S \subset \Delta$ and choose a set of simple roots $\Pi$ containing $S$. Let $R$ be the Weyl ...
- 1,269
3
votes
0
answers
162
views
Open sets on a Stone space
If $B$ is a Boolean algebra (possibly assumed complete), is there a standard name for the Heyting algebra (or frame) $L := \Omega(S(B))$ of open sets on the Stone space $S(B)$ of $B$, — or for the ...
- 32.5k
2
votes
0
answers
91
views
What are all pairs $(R,M)$ of a ring $R$ and a two-sided $R$-module $M$ such that all endomorphisms of $M$ are scalar multiples of $\text{id}_M$?
I was playing with some endomorphism rings and got curious whether there is a classification of all two-sided (not necessarily unitary on any side) modules $M$ over a (not necessarily unital) ring $R$ ...
- 295
3
votes
1
answer
141
views
The "semi-symmetric" algebra of a vector space
If $V$ is a vector space over a field $K$, then the symmetric algebra $S(V)$ is defined as the tensor algebra $T(V)$ factorized by the two-sided ideal generated by $x\otimes y-y\otimes x$, with $x,y\...
2
votes
0
answers
214
views
Why is the study of homology important? [closed]
In some fields of studies, for example, Amenability of Banach algebras and $L^2$-Betti numbers, some chain complexes are studied, why is the study of these creatures important? When and why do these ...
- 2,118
5
votes
3
answers
2k
views
Ideal structure of a tensor product of certain algebras
I would be grateful if anyone could give me a reference regarding the following question.
Suppose that $A$ and $B$ are two unital prime algebras over a field $F$ whose center consists of scalar ...
- 423
0
votes
1
answer
252
views
Banach algebra $A$ without an approximate identity but $A^2=A$
Please help me with the following question.
What are some examples of Banach algebra $A$ satisfying the following two conditions?
$1$.$ A $ does not have an approximate identity.
$2$. $A^2=A$. ...
- 167
3
votes
1
answer
262
views
Locally nilpotent derivations on rings with zero divisors
Almost all books that I have found deal with derivation on several types of rings (or algebras) (for instance, commutative, noncommutative, domains, non-domains etc).
However, each paper about ...
- 31
1
vote
0
answers
151
views
Lifting idempotents and projective coverings --- reference request
Let $R$ be a (non-commutative, unital) ring with Jacobson radical $J$, write $\overline{R}=R/J$ and denote the quotient map $R\to \overline{R}$ by $a\mapsto \overline{a}$.
It is easy to see that if ...
- 2,928
2
votes
0
answers
64
views
Algebra dimension computation in GAP
How does GAP compute the dimension of a matrix algebra over the rational numbers? I am curious about the run time.
For example, the manual https://www.gap-system.org/Manuals/doc/ref/chap62.html does ...
- 1,429
6
votes
0
answers
696
views
Jacobson radical of a tensor product
Let $R$ be a commutative ring and $A_1$, $A_2$ be $R$-algebras. Is there any general mean to compute the Jacobson radical of the tensor product $A_1\otimes_R A_2$ in terms of ${\rm Rad}(A_i )$, $i=1,2$...
- 6,349
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
6
votes
0
answers
332
views
Independence of characters with respect to polynomials
I came across the following property :
Let $\mathfrak{g}$ be a Lie algebra over a ring $k$ without zero divisors,
$\mathcal{U}=\mathcal{U}(\mathfrak{g})$ be its enveloping algebra. As such, $\mathcal{...
- 3,738
3
votes
0
answers
85
views
Diagonalization of matrices over semirings
I was wondering if anyone happens to know results for diagonalizing matrices over semirings. I was able to find a result for commutative rings:
https://www.sciencedirect.com/science/article/pii/...
- 131
7
votes
0
answers
187
views
Wedderburn decomposition of twisted group algebras
Let $K$ be a field and $G$ be a finite group. Maschke's theorem states that the group algebra $KG$ is semisimple iff $|G|$ is not divisible by $\text{char}K$. In particular, if $\text{char}K=0$, the ...
- 171
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
0
votes
1
answer
654
views
Book on algebraic structures
What is the most complete book on algebraic structures that deals with the complete taxonomy from magmas to Lie algebras and inner product spaces?
- 19
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
4
votes
0
answers
218
views
Conjugacy class representatives for the automorphism group of a finite abelian group
Given a finite abelian group $A$, I'd like a list of conjugacy class representatives for its automorphism group ${\rm Aut}(A)$.
In fact, it's not important that I have exactly one representative from ...
- 286
4
votes
1
answer
938
views
Twisted group rings and cohomology
Let $R$ be a commutative ring with unity and let $G$ be a finite group. Let $\gamma \in Z^{2}(G,R^{\times})$ be a $2$-cocycle. The twisted group ring (of $G$ over $R$ with respect to $\gamma$) $R *_{\...
- 1,661
4
votes
1
answer
235
views
Cancellation property for certain integral group rings
We say that the cancellation property holds for a ring $R$ if for finitely generated projective $R$-modules $P$ and $Q$ we have that $R \oplus P \cong R \oplus Q$ implies $P \cong Q$.
In the case ...
- 1,661
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
5
votes
1
answer
192
views
Given a representation-infinite algebra, when is every AR component infinite?
Let $A$ be a finite dimensional algebra over an algebraically closed field $K$. The Auslander-Reiten quiver $\Gamma_A$ of $A$ is a means of presenting the category of finitely generated right $A$-...
- 482
9
votes
0
answers
192
views
Where is it shown that a countable self-injective ring is semilocal?
In Lawrence, John. "A countable self-injective ring is quasi-Frobenius." Proceedings of the American Mathematical Society (1977): 217-220. the first line is this:
...
- 1,507
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
4
votes
1
answer
132
views
Isomorphism classes of rings of differential operators
Let $X$ be your "favourite" kind of space, and let $\mathcal{D}_X$ be the (sheaf of) ring(s) of differential operators on $X$. What does the ring $\mathcal{D}_X$ tell us about $X$?
I know this might ...
- 653
1
vote
0
answers
148
views
Traces in associative algebras
Are there some books or papers about the general definition of traces:
If $\mathscr{A}$ is an associative algebra over $K$ then the space of traces is the set of all linear functionals $\tau:\mathscr{...
- 283
8
votes
1
answer
281
views
Factor traces of the Temperley-Lieb algebra
Given $\delta\in\mathbb C$, let $A(\delta)$ denote the complex unital $*$-algebra generated by an identity $1$ and selfadjoint elements $e_k$, $k\in\mathbb N$, satisfying $e_k^2=\delta e_k$, $e_ke_l=...
- 1,017
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
10
votes
1
answer
1k
views
Equivalent descriptions of Coherent Groups
Attending a series of lectures, I have recently been exposed to the notion of Coherent groups, defined as following:
Def: A group $G$ is called Coherent if every finitely generated subgroup $H$ of $G$...
- 493
2
votes
1
answer
255
views
Does anyone have a copy of Salce's paper "Cotorsion theories for abelian groups"?
The paper "Cotorsion theories for abelian groups" by L. Salce, was published in 1979 in Symposia Math. 21, pages 1-21. According to Google Scholar, it's been cited 233 times, and I keep seeing ...
- 30.3k
1
vote
1
answer
174
views
Reference for a result of Auslander about the global dimension
One of Auslanders famous theorems is that he proved that the global dimension of a semiprimary ring is equal to the maximum of the projective dimensions of the simple modules of the ring. This result ...
- 26.5k
13
votes
1
answer
670
views
When is $A\otimes R$ a free $R$-module?
Let $R$ be a commutative ring. If I am not mistaken, there is the following fact:
For a finitely generated abelian group $A$, the $R$-module $A\otimes R$ is free if and only if we can write the ...
- 12.1k
-1
votes
1
answer
417
views
Conversion of logic formula into algebraic formula
We know formula of boolean algebra in canonical disjunctive normal form has or may be converted to Zhegalkin polynomial.
Is there any approach to convert first order formula into algebraic function ...
- 3,094
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
3
votes
1
answer
137
views
Subalgebras with finite codimension
In group theory it is well-known that every subgroup of finite index contains a normal subgroup of finite index. It is not true in general that for Lie algebras every subalgebra of finite codimenslon ...
- 379
2
votes
0
answers
93
views
What is known about the spectrum of a general algebra?
Whenever we have a unital algebra $A$ over a ring $R$, we may define the spectrum of an element $a \in A$ as the set of elements $r \in R$ such that $a - r e$ is not invertible, where of course $e$ is ...
- 559
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
6
votes
1
answer
203
views
Quotients of rings with finite free additive group
Let $R$ be a ring (assumed associative and unital) whose additive group is a finitely generated abelian group. As a reduction step in a paper I'm working on, we need to know that $R$ is a quotient of ...
- 10.7k
9
votes
1
answer
893
views
Kaplansky conjecture (consequences)
The Kaplansky conjecture says that: for any field $F$ and any torsion free group $G$, the group ring $F[G]$ does not have nontrivial idempotent elements.
Questions
Do we assume that $F$ has any ...
- 641
2
votes
1
answer
297
views
Papers on distribution of high order elements over $\mathbb{F}_p$
I am interested in knowing about the distribution of exponentially high order elements in $\mathbb{F}_p$. To be precise let $s$ be of the order $\frac{p}{\log^{k}(p)}$ for some fixed $k$ and integer. ...
- 335
6
votes
2
answers
2k
views
Direct sum of injective modules is injective
By the Bass-Papp Theorem, for a unital ring $R$, any direct sum of injective left $R$-modules is injective if and only if $R$ is left Noetherian. I would like to restrict my consideration to an ...
- 507
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
1
answer
955
views
Regular functions on a product of varieties
Let $k$ be an algebraically closed field and let $X$, $Y$ be varieties over $k$.
Let us denote by $\mathcal{O}(X)$ and $\mathcal{O}(Y)$ the $k$-algebra of regular functions on $X$ and $Y$ ...
- 413
6
votes
2
answers
422
views
Monoids in which every prime is an atom
Let $H$ be a multiplicatively written monoid with identity $1_H$. We write $H^\times$ for the set of units (or invertible elements) of $H$. We say that an element $a \in H$ is an atom if $a \notin H^\...
- 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