Questions tagged [noncommutative-rings]
Questions about rings that are not necessarily commutative.
134
questions
3
votes
1answer
84 views
Cohn localization examples
I'm working on my master's thesis, part of which involves an exposition on Cohn localization. (nlab discussion)
In Free ideal rings and localization in general rings, Sec 7.4, Cohn gives a ...
6
votes
2answers
205 views
Rings $R$ such that every [regular] square matrix with entries in $R$ is equivalent to an upper triangular matrix
Let $\text{M}_n(R)$ be the ring of $n$-by-$n$ matrices with entries in a commutative unital ring $R$. Theorem III in
C.R. Yohe, Triangular and Diagonal Forms for Matrices over Commutative ...
1
vote
0answers
44 views
Existence of nontrivial transfinite divisibility in $R$-modules
Let $R$ be a unital, possibly noncommutative ring and $s \in R$. For a right $R$-module $M$, define $Ms = \{ms \mid m \in M\}$; this is an additive subgroup of $M$, which is a module over the ...
7
votes
1answer
148 views
Categories of modules generated under coproducts by a small set?
Question 1: For which rings $R$ does there exist a small set $S \subseteq Mod_R$ such that every module $M \in Mod_R$ is a direct sum of modules in $S$?
Equivalenty, for which rings $R$ does there ...
2
votes
0answers
81 views
Rings whose finitely-generated modules are co-hopfian
Let $A$ be a unital, possibly noncommutative ring. Dischinger showed [1] that the following are equivalent:
For every $a \in A$, there exists $n \in \mathbb N$ such that $a^n A = a^{n+1} A$;
For ...
5
votes
1answer
173 views
Classification of finitely generated modules over non-commutative rings
Let $\Lambda$ be a commutative integral ring with an automorphism $\sigma$ (I have in mind $\mathbb Z_p[[t]]$ and $\sigma(t) = (1+t)^\alpha - 1$ with $\alpha \in \Lambda^\times$) and $R = \Lambda\{F\}$...
4
votes
1answer
179 views
Linear algebra over non-commutative semirings
I'm reading up on linear algebra over semirings, and I'm wondering why people seem to stop short of showing an equivalence between linear transformations between free modules and matrices.
It seems ...
7
votes
2answers
412 views
What other lattices are obtainable from this noncommutative ring?
Here I will regard $SU(2)$ as the multiplicative group of unit quaternions.
There are just three conjugacy classes of finite subgroups $G < SU(2)$ where $[G:C] > 2$ for all cyclic subgroups $...
2
votes
0answers
44 views
Non-singular rings which are Rickart
A ring $R$ is said to be a right Rickart ring if the right annihilator of any element in $R$ is of the form $eR$ for some idempotent $e \in R$.
It turns out that a ring $R$ is right Rickart iff every ...
3
votes
1answer
82 views
Example of an associative unital ring R with stable range 1 and Jac(R)=0 that is not an exchange ring
Rings are supposed to be associative and unital, but not necessarily commutative.
Some definitions:
(Bass) A ring $R$ is said to have stable range $1$ if for all $a,b \in R$, whenever $Ra+Rb=R$, ...
3
votes
2answers
209 views
Is Hilbert basis theorem true for positive graded ring?
Let $R=\oplus_{I\geq 0}R_i$ be a positive graded ring(maybe not commutative), where $R_0$ is a commutative Noetherian ring. If $R$ is finite generated $R_0$-algebra, is $R$ Noetherian?
In here, Is ...
2
votes
1answer
110 views
Non-commutative projective lines
There have been many approaches to the notion of projective line:
combinatorial approaches (e.g. as certain permutation groups, such as $\mathrm{PGL}_2(k)$ in its natural action on $\mathbb{P}^1(k)$, ...
3
votes
0answers
86 views
Constructing a centrally primitive idempotent in the group algebra of the symmetric group
Consider the group algebra of the symmetric group $ \mathbb{C} S_k$.
Given some Young tableau $T$ of shape $\lambda$, let $a_{\lambda,T}$ and $b_{\lambda,T}$ be the row symmetrizer and column ...
3
votes
0answers
55 views
Ring epimorphisms and finiteness assumptions
Let $f : A\to B$ be a ring epimorphism. It is well-known that, under the extra assumption that $A$ and $B$ are commutative, then $f$ makes $B$ a finitely-generated $A$-module implies that $f$ must be ...
3
votes
1answer
77 views
Irreducible skew polynomials over an algebraically closed field
Let $\mathbb{F}$ be a field, and denote with $\mathbb{F}[t,\sigma]$ the skew-polynomial ring, where $\sigma$ is an automorphim of $\mathbb{F}$. Recall that the multiplication of this ring is defined ...
1
vote
1answer
244 views
A property for primitive idempotents
Let $R$ be a (commutative) ring (with identity). A nonzero idempotent $e\in R$ is called primitive idempotent, whenever it has no decomposition into $a+b$ where $a$ and $b$ are nonzero orthogonal ($...
3
votes
0answers
76 views
Is a specific endomorphism of $A_1$ an automorphism?
Let $k$ be a field of characteristic zero, and let $A_1(k)$ be the first Weyl algebra, namely, the associative non-commutative $k$-algebra generated by $x$ and $y$ subject to the relation $yx-xy=1$.
...
2
votes
0answers
40 views
Partially commutative elements in powers of augmentation ideal
Let $\vartheta$ a relation of parcial commutation over a set $X,$ and consider the respective free parcially commutative group $F(X, \vartheta).$ Let $K[F(X, \vartheta)]$ the parcially commutative ...
4
votes
1answer
180 views
Noetherian ring with a “strange” idempotent ideal
Do you know a left-noetherian ring $R$ with a two-sided ideal $I$ such that:
$I=I.I$;
$I$ is not projective as a left $R$-module (and better, the tensor product over $R$ of $I$ with itself is not a ...
6
votes
1answer
144 views
Relative Dickson (trace) criterion for Jacobson radical?
In the following, all algebras are associative and unital. Let $J\left(A\right)$ denote the Jacobson radical of an arbitrary algebra $A$. Recall that this is defined as the set of all $a \in A$ such ...
2
votes
1answer
102 views
Field of definition of a finite dimensional division algebra and how to reduce it
Let F be a field, and E/F an infinite algebraic extension. Let D be a finite dimensional division algebra over E (meaning its center is also E).
Is it possible to somehow gow down to a finite ...
2
votes
0answers
89 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$ ...
3
votes
1answer
204 views
Possible values of symmetric functions evaluated on quaternions
Let $i,j,k$ the units of quaternions, in particular $i^2=j^2=k^2=-1, ijk=-1$.
We will use non commutative variables $x,y,z$. Define $sym_{a,b,c}$ to be the polynomial made of the sum of monomials ...
1
vote
0answers
49 views
Infinite Non Abelian Extensions Unramified Outside p
Let $K$ be a number field and $p$ be a fixed odd prime. Suppose $\mathfrak{p}\mid p$ is the only prime prime above $p$ in $K$, and that $p$ does not divide the class number of $K$ (I am okay with ...
5
votes
0answers
275 views
Slightly noncommutative Nakayama's lemma?
Nakayama's lemma asserts the following. If $R $ is a commutative ring with an element $s$, and $M$ is a finitely generated module such that $sM = M$, then there exists $r \in R$ such that $rM =0$ and $...
1
vote
0answers
66 views
Localizing prime ideals over Noetherian rings
Let $R$ be a prime Noetherian ring which is not necessarily commutative. Consider the two natural ways to "extend" $R$: $R[x]$ and $M_n(R)$, polynomials over $R$ and $n$ by $n$ matrices over $R$ ...
8
votes
0answers
240 views
Rings that fail to satisfy the strong rank condition
In T.Y. Lam's book Lectures on Modules and Rings, a ring $R$ is said to satisfy the strong rank condition if, for every natural number $n$, there is no right $R$-module monomorphism $R^{n+1}\to R^n$. ...
1
vote
0answers
47 views
Single source shortest path over non-commutative finite idempotent semiring in Cartesian product
Let $G$ be a Cartesian product of two arbitrary directed weighted graphs $M$ and $N$.
The weights are from a non-commutative finite idempotent semiring.
Do there exist advanced results on the single ...
5
votes
0answers
61 views
von Neumann regular ring homomorphisms
Let us call a ring homomorphism $f\colon R\rightarrow S$ von Neuman regular if it has the property that for every left $S$-module $M$, the left $R$-module $f^*M$ is flat.
In particular, $\mathrm{id}...
6
votes
1answer
97 views
Do twisted group rings of free abelian groups admit universal fields of fractions?
Let $R$ be an associative ring with unit. Recall that an epic $R$-field is a ring epimorphism $\alpha\colon R\to D$ to a skew field/division ring $D$. An epic $R$-field $\alpha$ is called a field of ...
6
votes
0answers
202 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, $\...
6
votes
0answers
107 views
Localizations of group algebras of free groups
$\newcommand{\QQ}{\Bbb Q}$
Let $G$ be a free group on the symbols $x_1, \dots, x_n$, with $\QQ[G]$ its rational group algebra.
Write $\varepsilon: \QQ[G] \to \QQ$ for the augmentation, and for $\...
1
vote
0answers
39 views
Relation between left projections
Let $A$ be a Baer *-ring. Let $x$ be in $A$, $L(x)$ is the left projection of $x$ that is the smallest projection with $L(x)x=x$.
Q. Let $p,q$ are projections in $A$ with $p\leq q$. For a given ...
1
vote
0answers
35 views
The statue of a sequence of finite projections
Let $A$ be a Baer $*$-ring. Let $\{p_n\}$ be a sequence of finite projections in $A$. True or false?
Suppose that there is no $N$ with $p_n=p_{n+1}$ for $n\geq N$. We have then $\inf_{1\leq n\leq ...
1
vote
0answers
34 views
something concerning finite projections
Let $A$ be a Baer *-ring. Let $x$ be an isometry (meaning $x^*x=1$ where $1$ is the unit of $A$).
Let $e$ be a finite projection in $A$ such that $ex^ne=ex^n$ for every $n\geq0$.
Q. Can we say that ...
2
votes
1answer
71 views
Strongly finite projections in $*$-rings
Let $A$ be a $*$-ring. Let us have some points:
i) We recall that a projection $p$ is a self-adjoint idempotent that is $p=p^*=p^2$.
ii) On the set of projections, we write $p\leq q$ if $pq=p$.
iii)...
8
votes
1answer
440 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 ...
6
votes
1answer
227 views
Is every (left) graded-Noetherian graded ring (left) Noetherian?
I call a $\mathbb{Z}$-graded (non-commutative, associative, unital) ring $A$ (left) graded-Noetherian if every homogeneous (left) ideal is finitely generated, and (left) Noetherian if it is (left) ...
3
votes
1answer
92 views
Extensions of modules of type $FP_n$
Let $R$ be a ring (not necessarily commutative, but with a unit). Recall that an $R$-module $M$ is of type $FP_n$ if $M$ has a partial projective resolution of length $n$ whose terms are all finitely ...
2
votes
0answers
142 views
Algebraic version of unilateral shift
It was confirmed that Wold-type decomposition can be extended from von Neumann algebras to Baer*-rings (see this paper). By algebraic tools the notion of unilateral shifts is successfully transmitted ...
7
votes
0answers
195 views
Torsion in a tensor product over a group ring
Let $\Gamma$ be a finitely generated dense subgroup of a pro-$p$ group $G$. Let $\mathbb Z_p$ be the ring of $p$-adic numbers. Denote by $\mathbb Z_p[[G]]$ the completed group algebra.
Is it true ...
7
votes
1answer
211 views
invertibility of matrix over free associative algebra
For a commutative ring $R$, a matrix $A \in M_n(R)$ is invertible iff $\det (A)$ is a unit in $R$. Is there a similar criterion to determine invertibility (having two-sided inverse) of a matrix over a ...
4
votes
1answer
169 views
number of indecomposable summands of an extension of two modules
I have the following question : in a Krull-Schmidt category (say the category of finite length left modules over a ring, this is the case which interests me), is it possible to relate the number of ...
3
votes
1answer
359 views
Looking for example of quotient of group algebra by ideal of group ring which fails to be injective
I am looking for an example of a group ring $\mathbb{Z}[G]$ of a finite group $G$ along with a lattice $I$ (in the case at hand the word 'lattice' means: a $\mathbb{Z}[G]$-submodule which is ...
3
votes
0answers
44 views
A question related to reflexive rings
Let $R$ be a ring. An endomorphism $\alpha:R\to R$ is said to be right central reflexive if for all $a,b\in R,$ $aRb=(0)\implies bR\alpha (a)\subset Z(R)$, where $Z(R)$ denotes the centre of the ring. ...
2
votes
1answer
84 views
From socle of quotients to socle of ring itself
Let $I_1, \dots , I_n$ be ideals of a ring $R$ with identity having zero intersection. Assume that for some $x\in R$, $x+I_ i$ is an element of the right socle of $R/I_ i$, for each $ i=1,\dots , n$....
1
vote
0answers
65 views
When is $R/Soc(R)$ reduced?
Let $R$ be a ring with identity. It is readily checked that when the quotient $R/S_r$ is reduced, the nilpotent elements of $R$ fall into $S_r$, where $S_r$ is the right socle of $R$. Is the converse ...
-1
votes
1answer
98 views
Nilpotent Elements and the Socle [closed]
Let $R$ be a ring with identity such that the quotient ring $R/S_r$ is abelian, i. e., all idempotents of the quotient are central. Here, $S_r$ means the right socle of the ring $R$. Do the nilpotent ...
2
votes
0answers
51 views
An Abelan quotient ring by Socle
Let $R$ be a ring with identity whose (right) socle $S$ contains its nilpotent elements. Is it necessarily true that the quotient $R/S$ is an abelian ring? ( By an abelian ring I mean a ring whose ...
6
votes
0answers
108 views
m-systems and n-systems in topological rings
Note that throughout rings have a multiplicative identity and are not necessarily commutative
Definition: Let $R$ be a ring and let $M\subseteq R$. Then, $M$ is an m-system iff for every $x,y\in ...
