Questions tagged [noncommutative-rings]
Questions about rings that are not necessarily commutative.
204
questions
1
vote
0
answers
22
views
Number of right divisors of a central skew polynomial
Let $\mathbb{F}$ be a finite field of $p$ elements, $\sigma \in \operatorname{Aut}(F)$ of order $m$, $\mathbb{F}^\sigma$ be the fixed field of $\sigma$, and $\mathbb{F}[x,\sigma]$ be a skew polynomial ...
0
votes
0
answers
47
views
Polynomial identities satisfied by the Weyl algebra in prime characteristic
The rank $n$ Weyl $A_n(\mathsf{k})$ algebra over a field $\mathsf{k}$ of zero characteristic does not satisfies any polinomial identity. If it were a PI-algebra, Kaplansky theorem would apply (since ...
1
vote
0
answers
80
views
Does the center of any finitely generated associative algebra over a field have finite type?
Consider the monoid algebra $R:=K\langle x_1,\dots,x_n\rangle$ generated by $n$ letters $x_1,\dots,x_n$ for $n>1$ over field $K$. Equivalently, $R$ is the tensor algebra $T(V)$ on the $n$-...
3
votes
0
answers
79
views
Cohn's localization for rings with enough idempotents
I am in the following situation: I have a non-unitary (associative) ring $R$ with enough idempotents or, if you prefer, a small pre-additive category. Actually, I even know that $R$ is right coherent (...
5
votes
0
answers
180
views
Usefulness of total algebras and exotic generating series
In his first Algebra volume, Bourbaki [1] defines the structure of a “total algebra” i.e. the space of functions on a monoid $M$ (to a ring $k$) with the convolution product ( a function $f:\ M\to k$ ...
2
votes
1
answer
114
views
Non-negative integer matrix representation of a fusion ring
Context: I am a physics grad student working on topological lines in 2D CFTs.
Let $A$ be a unital based $\mathbb{Z}_{+}$ ring with finite rank (or a Fusion ring) with the basis $B = \{b_1, b_2, \dotsc ...
2
votes
1
answer
104
views
Relation(s) between units and nilpotent elements in graded noncommutative rings
In Commutative Algebra we have the following standard facts which I am going to state in a slightly different form than usually found in textbooks. Namely, let $A$ be a commutative unital ring of ...
5
votes
1
answer
277
views
Simple component that is not a two-sided ideal
Suppose $R$ is a semisimple ring and if $L$ is a minimal left ideal. Let $B$ be the direct sum of all minimal left ideals isomorphic to $L$ ($B$ is called a simple component corresponding to $L$). It ...
3
votes
1
answer
61
views
Topology of the Malcev-Neumann group ring
For a ring $R$ and a group $G$ the group ring $R[G]$ consist of maps from $G$ to $R$ with finite support.
It was shown that if the group is fully ordered them this ring can be embedded in a division ...
2
votes
1
answer
70
views
Primitive group rings and endomorphism rings
It is known that, for any group $G$, there exists a group $H$ containing $G$ such that the group ring $F[H]$ for some field $F$ is primitive, see Formanek, Edward; Snider, Robert L., Primitive group ...
0
votes
0
answers
46
views
Complemented subalgebra in a free Lie ring
A Lie ring is a triple $(G,+, [\ ,\ ]),$ where $(G,+)$ is an abelian group and $ [\ ,\ ]$ is a bilinear map satisfying
$[x,x]=0$
$[\ ,\ ]$ is bilinear
$[[x,y],z]+[[y,z],x]+[[z.x],y]=0,\ \forall\ x,...
6
votes
1
answer
412
views
Center of a monoid ring
According to the Wikipedia page the center of a group ring $R[G]$ is the set:
$$
\{ p | \forall g,\, h \in G.\, p(g) = p(hgh^{-1}) \}
$$
i.e. class functions which do not distinguish elements of the ...
3
votes
1
answer
127
views
Ideals of an ordered ring
Suppose $R$ is a strictly ordered (non-commutative) ring, in particular $ab > 0$ for any $a,\, b > 0$, that is also discrete in that there are no elements between $0$ and $1$.
Now consider a two-...
2
votes
0
answers
130
views
Embedding a monoid into a group via its monoid ring
Suppose I have a monoid $(M,\, \cdot,\, e)$ equipped with a monoid homomorphism $\textrm{length} : M \rightarrow \mathbb{N}_+$ into the monoid of natural numbers under addition where $e$ is the only ...
0
votes
1
answer
85
views
Do you know of any indecomposable ring that has no isolated elements and is neither reversible, nor integral, nor nilpotent, nor unitary?
Let $R$ be a non commutative ring. We will say that an element of $R$ is isolated if it is zero divisor and nothing nonzero annihilates it at the same time on both sides.
Note that there are many ...
3
votes
1
answer
254
views
Graded global dimension of a graded algebra
Let $k$ be an algebraically closed field of characteristic $0$.
Let $A := k \langle x,x^{-1},y \rangle /(xy-qyx, x^{d_1}-ay^{d_2})$, where deg$(x)>0$, deg$(y)>0$, $q,a \in k^*$ and $d_1\text{deg}...
2
votes
0
answers
143
views
Simple modules of quantum planes
Let $k$ be an algebraically closed field.
Let $R := k\langle x,y \rangle/(yx-qxy) (q \in k^*)$.
We often call $R$ a quantum plane.
If $q$ is a primitive $n$-th root, then for any $(\zeta, \xi) \in k^* ...
0
votes
0
answers
56
views
countable direct sum of cyclic abelian $p^{2}$ groups
Let $G={{\Bbb{Z}}_{p^{2}}}^{(\aleph)}$ (countable direct sum of copies of ${\Bbb{Z}}_{p^2}$). It is clear that every subgroup of $G$ is a homomorphic image of $G$. Now this is my question:
Is it true ...
0
votes
1
answer
61
views
Unital subrings of simple Artinian rings
Let $S=M_n(D)$, the ring of $n\times n$ matrices with entries in a division ring $D$. Now suppose that $R$ is a simple unital Artinian subring of $S$. Is it the case that $R\cong M_k(D')$ for some ...
6
votes
0
answers
189
views
Proving the spectrum of the Young-Jucys-Murphy elements by formal computation in the degenerate affine Hecke algebra
This is really a followup to Why are Jucys-Murphy elements' eigenvalues whole numbers? , specifically to Igor Makhlin's beautiful answer. I'm trying to make it even more beautiful by getting rid ...
4
votes
0
answers
84
views
Nullstellensatz for maximal left ideals of quantum plane
Let $R=\mathbb{C}\langle x,y\rangle/\langle xy=qyx\rangle$ be the quantum plane algebra. Does some sort of Nullstellensatz holds for the maximal left ideals of $R$? By this we mean all maximal left ...
2
votes
1
answer
222
views
Primitive elements in the universal enveloping algebra of Lie superalgebra
Let $\mathfrak{g}$ be a Lie superalgebra over $\mathbb{C}$. Denote by $U(\mathfrak{g})$ the universal enveloping algebra of $\mathfrak{g}$. We know that there is a natural super Hopf algebra structure ...
6
votes
2
answers
262
views
Abelian groups such that $A \cong \mathrm{End}(A)$ and "complete rings"
Motivation: for any ring $R$ there is the natural monomorphism $\mathrm{in} \colon R \to \mathrm{End}(R_{add}): r \mapsto (x \mapsto rx)$, where $R_{add}$ is an additive abelian group ( rings are ...
1
vote
0
answers
105
views
Pseudo-coherent complexes over sheaves of non-commutative rings
I am posing a question on derived categories to which I was not able to find an answer anywhere in the literature. I would appreciate any answer, hint or suggestion.
Assume that $\mathcal{R}_X$ is a ...
3
votes
0
answers
59
views
Explicit separability idempotent for the center of a separable algebra
Let $A$ be a $k$-algebra for some commutative ring $k$. Recall that $A$ is said to be separable over $k$ if the multiplication map $A\otimes_k A^{\operatorname{op}}\to A$ has a section as a map of $A\...
4
votes
0
answers
132
views
A non-commutative, left duo ring whose only unit is the identity
Let $R$ be a ring (here, rings are always associative, unital, and non-zero). We say that $R$ is a left duo ring if $aR \subseteq Ra$ for every $a \in R$.
Question. Is there a non-commutative, left ...
5
votes
1
answer
236
views
Rings s.t. each element has a power lying in the center (and their completely prime ideals)
Let $R$ be a ring (throughout, all rings are associative and unital). We say $R$ satisfies condition (C) if, for every $a \in R$, there exists an integer $n \ge 1$ (depending on $a$) such that $a^n$ ...
10
votes
1
answer
636
views
Existence of a finite extension of ℤ providing a finite extension of the primes
Let $R$ be a ring (possibly noncommutative with zero-divisors). A non-unit and non-zero-divisor element $r \in R$ will be called irreducible if for all $a,b \in R$ such that $r=ab$, then $a$ or $b$ is ...
4
votes
1
answer
255
views
Is a non-degenerate finite-dimensional algebra unital?
Let $A$ be a finite-dimensional (not necessarily unital) associative algebra over the field of complex numbers $\mathbb{C}$ (but I'm also interested in more general fields). Assume the multiplication ...
2
votes
2
answers
166
views
Module complements to rings embedded in a projective module
Let $R$ be noncommutative unital ring and $M$ a projective (right) $M$-module. Assume that $R$ embedds into $M$ as a right -module.
A) If $R$ is a semisimple ring, then of course $R$ admits an $R$-...
1
vote
1
answer
123
views
Nilpotent elements of index $2$ in group algebra $FA_4$
Let $A_4 = K_4 \rtimes C_3$ be alternating group on $4$ symbols and $F$ be finite field containing $4$ elements. By definitions of group algebra and augmentation ideal, there exist a natural map $$\...
4
votes
1
answer
323
views
Infinite linearly independent set in finitely generated module
Let $R$ be a (commutative, otherwise the answer is easy, see the comment below) ring and let $M$ be a finitely generated $R$-module. Is it possible that $M$ admits an infinite linearly independent set?...
2
votes
0
answers
80
views
Decomposition of augmentation ideal in a group ring
Let $R$ be a ring and $G$ be a finite group with invertible order in $R$. Assume that the augmentation ideal $\Delta (G)$ of group ring $RG$ has a decomposition $M_1\oplus M_2\oplus \cdots M_k$ as an $...
2
votes
1
answer
123
views
Every module of finite uniform dimension is a direct sum of (finitely many) indecomposable
Crossposted on StackExchange on July 28 (no answer so far).
Let $R$ be a (commutative or non-commutative, associative, unital) ring. It is well known that any artinian or noetherian $R$-module $M$ can ...
26
votes
3
answers
692
views
Subtraction-free identities that hold for rings but not for semirings?
Here is a concrete, if seemingly unmotivated, aspect of the question I am interested in:
Question 1. Let $a$ and $b$ be two elements of a (noncommutative) semiring $R$ such that $1+a^3$ and $1+b^3$ ...
1
vote
0
answers
54
views
Class groups and zeta functions for maximal orders in CSAs
I'm looking for references for certain algebraic objects in the context of maximal orders in (finite dimensional) central simple algebras over algebraic number fields. Does anyone know of any good ...
2
votes
0
answers
87
views
Do $r(a) \leq^\oplus R$ and $r(a) = r(a^2)$ imply $r(a) = eR$ and $aR \subseteq (1-e)R$ for some idempotent $e$?
Let $R$ be a (commutative or non-commutative, associative) ring with unity, and let $a$ be an element of $R$ such that $r(a) = r(a^2)$, where $r(\cdot)$ denotes a right annihilator. It follows that $r(...
1
vote
0
answers
36
views
Rings where every indecomposable principal right ideal is extensive
Let $R$ be a (commutative or non-commutative, associative) unital ring. Following Nicholson & Yousif [1, p. 21], we say that a right ideal $\mathfrak i$ of $R$ is extensive if every $R$-linear ...
2
votes
2
answers
95
views
Every non-zero submodule of $R_R$ has an indecomposable direct summand: True when $R$ is von Neumann regular?
Let's say that a (right) module $M$ is well complemented if every non-zero submodule of $M$ has an indecomposable direct summand (by the way, is there a better or more standard name for this property?)...
1
vote
0
answers
113
views
On the rings $R$ with the property that $eR \cong fR$ for all primitive idempotents $e, f \in R$
Let $R$ be a (commutative or non-commutative) ring with identity. As usual, an idempotent $e \in R$ is primitive if $eR$ (the principal right ideal generated by $e$) is indecomposable as a right ...
2
votes
1
answer
171
views
Origins of a theorem on an atomic factorizations in domains and cancellative monoids satisfying the ACCPL and the ACCPR
Let $H$ be a (commutative or non-commutative) monoid. We say that $H$ satisfies the ACCPL (ascending chain condition on principal left ideals) if there exists no infinite sequence of principal left ...
21
votes
3
answers
1k
views
Is there any non-commutative ring such that every element other than the identity is a zero divisor?
A (unital) ring $R$ with the property that every element other than the identity $1_R$ is a (two-sided) zero divisor, seems to be commonly called a "$0$-ring" or "$\mathcal O$-ring"...
6
votes
1
answer
207
views
Is there any structural characterization of the rings in which every element other than the identity is a (two-sided) zero divisor?
[I fear that I'm missing something obvious here, but I'll dare to ask anyway.]
As we all know, a division ring is a (unital, associative, non-zero) ring where every non-zero element is a unit. So, let ...
2
votes
2
answers
215
views
An algebra which is a direct sum of simple sub-bimodules over a subalgebra
Let $A$ be an infinite-dimensional noncommutative algebra over a field, let $B$ be an infinite-dimensional subalgebra of $A$, and let $A$ be a direct sum of projective simple $B$-sub-bimodules. Then ...
1
vote
1
answer
332
views
Are there algebras over reals besides complex numbers, where identities, analoguous to $(-1)^i=e^{-\pi}$ and $i^i=e^{-\pi/2}$ hold?
Are there algebras over real numbers (with exponentiation), such that there is such $z$ that does not include components in $\mathbb{C}$ (or in a subset isomorphic to $\mathbb{C}$), for which $(-1)^z\...
2
votes
1
answer
95
views
The ring of upper triangular $n$-by-$n$ matrices over a skew field is (left and right) Rickart
Let $T_n(R)$ be the ring of upper triangular $n$-by-$n$ matrices with entries in a (commutative or non-commutative) unital ring $R$. It happened to me to note that, if $R$ is a skew field, then $T_2(R)...
3
votes
1
answer
84
views
Terminology for a ring satisfying the DCC on chains of principal right ideals generated by the powers of an element
Question. Is there any standard name for a (commutative or non-commutative) unital ring $R$ with the property that, for every $a \in R$, the (descending) chain $R, aR, a^2 R, \ldots,$ is eventually ...
5
votes
1
answer
142
views
Do $r(a) \leq^\oplus R$ and $r(a) = r(a^2)$ imply $r(a) = eR$ and $r(1-a) \subseteq (1-e)R$ for some idempotent $e$?
Let $R$ be a (commutative or non-commutative) unital ring, fix $a \in R$, and denote by $r(\cdot)$ the right annihilator of an element.
Question. If $r(a)$ is a (right) direct summand of $R$ and $r(a)...
8
votes
1
answer
380
views
If the Grothendieck ring of a semiring on a free commutative monoid is unital, is the original semiring unital?
Suppose $S$ is an associative semiring whose underling commutative monoid is free (in particular, cancellative) and that its Grothendieck ring $G(S)$ is a unital ring. Can we conclude that $S$ must be ...
1
vote
1
answer
79
views
If, in a unit-regular ring, the right annihilator of $a$ equals the right annihilator of $b$, then $aR = bR$?
Recall that a (unital) ring $R$ is von Neumann regular (VNR) if, for each $x \in R$, there exists $y \in R$ such that $x = xyx$; and unit-regular if such an element $y$ can be taken to be a unit.
...