Skip to main content

All Questions

5 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
12 votes
0 answers
542 views

Does Wedderburn's Little Theorem hold constructively?

Wedderburn's Little Theorem states that every finite division ring is commutative. Perhaps even more surprising, this implies that every finite reduced ring is commutative. The proofs that I am aware ...
Martin Brandenburg's user avatar
5 votes
0 answers
442 views

A reference on semisimple linear algebra

Is there any literature where the tools familiar from (multi)linear algebra are systematically transferred to the setting of semisimple modules over noncommutative rings? In fact this question is a ...
Alexander Shamov's user avatar
2 votes
0 answers
98 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
39 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
1 vote
0 answers
124 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