Questions tagged [noncommutative-rings]

Questions about rings that are not necessarily commutative.

Filter by
Sorted by
Tagged with
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 ...
a196884's user avatar
  • 323
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 ...
jg1896's user avatar
  • 1,895
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$-...
GiS's user avatar
  • 321
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 (...
Simone Virili's user avatar
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$ ...
Duchamp Gérard H. E.'s user avatar
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 ...
Yaman Sanghavi's user avatar
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 ...
M.G.'s user avatar
  • 6,469
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 ...
Infinity_hunter's user avatar
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 ...
user avatar
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 ...
user avatar
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,...
MANI's user avatar
  • 101
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 ...
user avatar
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-...
user avatar
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 ...
user avatar
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 ...
José María Grau Ribas's user avatar
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}...
Walterfield's user avatar
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^* ...
Walterfield's user avatar
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 ...
Najmeh Dehghani's user avatar
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 ...
Greg's user avatar
  • 199
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 ...
darij grinberg's user avatar
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 ...
user498029's user avatar
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 ...
double-function's user avatar
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 ...
Arshak Aivazian's user avatar
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 ...
Flavius Aetius's user avatar
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\...
Maxime Ramzi's user avatar
  • 11.3k
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 ...
Salvo Tringali's user avatar
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$ ...
Salvo Tringali's user avatar
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 ...
Sebastien Palcoux's user avatar
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 ...
user avatar
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$-...
Dick Johnson's user avatar
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 $$\...
Himanshu Setia's user avatar
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?...
Ricky's user avatar
  • 3,594
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 $...
BizBiz's user avatar
  • 21
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 ...
Salvo Tringali's user avatar
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$ ...
darij grinberg's user avatar
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 ...
a196884's user avatar
  • 323
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(...
Salvo Tringali's user avatar
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 ...
Salvo Tringali's user avatar
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?)...
Salvo Tringali's user avatar
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 ...
Salvo Tringali's user avatar
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 ...
Salvo Tringali's user avatar
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"...
Salvo Tringali's user avatar
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 ...
Salvo Tringali's user avatar
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 ...
Boris Henriques's user avatar
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\...
Anixx's user avatar
  • 8,838
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)...
Salvo Tringali's user avatar
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 ...
Salvo Tringali's user avatar
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)...
Salvo Tringali's user avatar
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 ...
deaton.dg's user avatar
  • 183
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. ...
Salvo Tringali's user avatar

1
2 3 4 5