Minimal Ideals and the Socle of a Primitive Ring

Q: Why does (11.9) need semiprimeness rather than primeness?

Because the only thing the proof uses is that ar ≠ 0 implies arRar ≠ 0, which is exactly the elementwise form of semiprimeness. Primeness would be a stronger hypothesis than necessary, and the lemma is applied to semiprime rings that are not prime elsewhere in the theory.

Q: Does (11.11) mean prime rings are usually primitive?

No. It says prime rings *with a minimal left ideal* are primitive. Most prime rings have zero socle — Z, k[x], and every domain that is not a division ring — and for those the theorem says nothing. The hypothesis is restrictive, and its force comes from what it delivers, not from how often it applies.

Q: Is the socle always an ideal?

The left socle is a two-sided ideal of R — it is a left ideal by construction, and right multiplication maps a minimal left ideal onto zero or another minimal left ideal, so the sum is stable on the right too. The same holds for the right socle. What is not automatic is that the two coincide.

Executive Summary

Left primitivity is not left-right symmetric. This page identifies the hypothesis that restores the symmetry: the existence of a minimal left ideal. Under it, $(11.11)$ makes prime, left primitive and right primitive a single condition, and adds a uniqueness statement — every faithful simple left module is isomorphic to the minimal left ideal itself.

The engine is $(11.9)$ : in a semiprime ring, if $R a$ is a minimal left ideal then $a R$ is a minimal right ideal. Consequently the left socle and the right socle of a semiprime ring coincide, and one may speak of the socle $soc (R)$ . Semiprimeness is essential: a $2 \times 2$ upper triangular matrix ring furnishes the counterexample $(11.10)$ .

$R a \to a R$ The transfer (11.9)

3 = 1Prime = left = right primitive

UniqueFaithful simple module

SemiprimeHypothesis that cannot be dropped

Overview

The socle of a module is the sum of its simple submodules — see The Socle of a Module and of a Ring. Applied to the regular module it gives the left socle $soc (_{R} R)$ , the sum of all minimal left ideals of $R$ , and dually the right socle $soc (R_{R})$ . Both are two-sided ideals. In general they differ.

For semiprime rings they do not, and the reason is a single lemma about individual generators. Once a minimal left ideal is written as $R a$ , semiprimeness produces enough room to invert a suitably chosen endomorphism of $R a$ , and that inversion delivers a minimal right ideal $a R$ . Everything else on this page is a consequence.

The class of rings with nonzero socle is exactly where the classical, finite-rank intuition survives into the infinite-dimensional world. The model is $E = End (V_{k})$ for an infinite-dimensional right $k$ -vector space $V$ : its socle is the ideal of finite-rank endomorphisms, it is left and right primitive, and it is neither simple nor artinian.

Learning Objectives

Prove $(11.9)$ , isolating the exact place where semiprimeness is used.
Reproduce the counterexample $(11.10)$ and identify the square-zero ideal responsible.
Prove $(11.11)$ , including the uniqueness of the faithful simple module.
Deduce that left and right socles agree for semiprime rings.
Show $soc (End (V_{k}))$ is the ideal of finite-rank maps and that $End (V_{k})$ is not artinian.
Explain why a left primitive ring with several non-isomorphic faithful simple modules must have zero socle.

Definitions

Minimal left ideal: A nonzero left ideal $𝔄$ with no left ideal strictly between $0$ and $𝔄$ ; equivalently, $𝔄$ is simple as a left $R$ -module.
$soc (_{R} R)$: The left socle: the sum of all minimal left ideals of $R$ , or $0$ if none exists. It is a two-sided ideal.
$soc (R_{R})$: The right socle, defined dually. Equal to the left socle when $R$ is semiprime, by $(11.9)$ .
$soc (R)$: The common value, used only when the two socles are known to agree — in particular for semiprime, prime and one-sided primitive rings.
Semiprime: No nonzero nilpotent two-sided ideal. The elementwise form used below: $a R a = 0 \Rightarrow a = 0$ .

A minimal left ideal is automatically of the form $R a$ : if $0 \neq a \in 𝔄$ then $R a$ is a nonzero left ideal inside $𝔄$ , so $R a = 𝔄$ . This is where the identity element is used.

Core Concepts

Minimal left ideals are simple modules sitting inside $R$

A minimal left ideal is a simple left $R$ -module that happens to be a submodule of $R R$ . That double life is what makes the socle so useful: it converts questions about modules into questions about ideals, where multiplication is available.

Two consequences are immediate. First, Schur's Lemma applies: $End (_{R} 𝔄)$ is a division ring for $𝔄$ minimal. Second, since $𝔄 = R a$ , right multiplication by any $t \in R$ is a left $R$ -module homomorphism $𝔄 \to 𝔄 t$ , and by simplicity it is either zero or injective. The proof of $(11.9)$ is exactly the exploitation of that dichotomy.

What semiprimeness supplies

The elementwise characterisation of semiprimeness — $a R a = 0$ implies $a = 0$ — says that no element is annihilated by conjugation-like products. Given $0 \neq a r \in a R$ , it produces $s \in R$ with $a r s a r \neq 0$ , which is precisely what is needed to make right multiplication by $r s a$ a nonzero endomorphism of the minimal left ideal $R a$ , hence an isomorphism.

Socle nonzero versus socle zero

For left primitive rings the socle splits the class in two. If $soc (R) \neq 0$ , $(11.11)$ applies: primitivity is two-sided and the faithful simple module is unique. If $soc (R) = 0$ there are no minimal one-sided ideals at all, the two sides may genuinely diverge, and there can be many non-isomorphic faithful simple modules.

A useful test: a domain that is not a division ring has zero socle. If $R a$ were a minimal left ideal in a domain $R$ then $R a^{2} \subseteq R a$ is nonzero, so $R a^{2} = R a$ and $a = r a^{2}$ for some $r$ ; cancelling $a$ on the right gives $r a = 1$ , and in a domain a one-sided inverse is two-sided, so $a \in U (R)$ and $R a = R$ . Minimality then forces $R$ to have no proper nonzero left ideals, i.e. $R$ is a division ring.

Key Results

Lemma(11.9)Left-to-right transfer of minimality

Let $R$ be a semiprime ring with identity and $a \in R$ . If $R a$ is a minimal left ideal of $R$ , then $a R$ is a minimal right ideal of $R$ .

Proof

Note first $a \neq 0$ , since $R a \neq 0$ ; hence $a R \neq 0$ . It suffices to prove that $a \in a r R$ for every $r \in R$ with $a r \neq 0$ . Granting this, let $𝔅$ be a nonzero right ideal with $𝔅 \subseteq a R$ , and pick $0 \neq b = a r \in 𝔅$ . Then $a \in a r R = b R \subseteq 𝔅$ , so $a R \subseteq 𝔅 \subseteq a R$ and $𝔅 = a R$ ; that is exactly minimality of $a R$ .

So fix $r$ with $a r \neq 0$ . Since $R$ is semiprime, $(a r) R (a r) \neq 0$ , so there is $s \in R$ with $a r s a r \neq 0$ . Define

ϕ : R a ⟶ R a, ϕ (x) = x r s a .

This is well defined, because $x r s a \in R a$ for $x \in R a$ , and it is a homomorphism of left $R$ -modules, since it is given by right multiplication. It is nonzero: $ϕ (a) = a r s a \neq 0$ . As $R a$ is a simple left module, a nonzero endomorphism is an isomorphism, so $ϕ$ has an inverse $ψ : R a \to R a$ , again a left $R$ -module map.

Now write $a r s a = (a r) \cdot (s a)$ with $a r \in R$ and $s a \in R a$ . Left $R$ -linearity of $ψ$ gives

a = ψ (ϕ (a)) = ψ (a r s a) = ψ ((a r) \cdot (s a)) = (a r) ψ (s a) \in a r R,

as required.

Corollary—The two socles agree

If $R$ is semiprime then $soc (_{R} R) = soc (R_{R})$ , and the common ideal is written $soc (R)$ . In particular this applies to prime rings and to left or right primitive rings, all of which are semiprime by $(11.6)$ .

Counterexample(11.10)Semiprimeness cannot be dropped

Let $k$ be a division ring and $R$ the ring of upper triangular $2 \times 2$ matrices over $k$ . Put $a = E_{11}$ . Then $R a = k E_{11}$ is a minimal left ideal, but $a R = E_{11} k + E_{12} k$ is not a minimal right ideal: it properly contains the nonzero right ideal $E_{12} k$ . Here $R$ is not semiprime, since $J = E_{12} k$ is a two-sided ideal with $J^{2} = 0$ .

Theorem(11.11)Rings with a minimal left ideal

Let $R$ be a ring with identity possessing a minimal left ideal $𝔄$ . The following are equivalent:

$R$ is prime;
$R$ is left primitive;
$R$ is right primitive.

If these hold, then $R$ also possesses a minimal right ideal $𝔅$ , every faithful simple left $R$ -module is isomorphic to $R 𝔄$ , and every faithful simple right $R$ -module is isomorphic to $𝔅_{R}$ .

Proof

**(2) $\Rightarrow$ (1) and (3) $\Rightarrow$ (1)** hold for every ring, by $(11.6)$ .

**(1) $\Rightarrow$ (2).** Assume $R$ prime. Write $𝔄 = R a$ with $0 \neq a$ , possible because $a \in R a \subseteq 𝔄$ for any nonzero $a \in 𝔄$ and minimality forces equality. The module $R 𝔄$ is simple by minimality. It is faithful: if $r 𝔄 = 0$ then $r R a = 0$ , and primeness in the form $x R y = 0 \Rightarrow x = 0$ or $y = 0$ , together with $a \neq 0$ , gives $r = 0$ . So $𝔄$ is a faithful simple left module and $R$ is left primitive.

Uniqueness. Let $M$ be any faithful simple left $R$ -module. Since $𝔄 \neq 0$ and $ann (M) = 0$ , we have $𝔄 M \neq 0$ , so $𝔄 m \neq 0$ for some $m \in M$ . Then $𝔄 m$ is a nonzero submodule of the simple module $M$ , hence $𝔄 m = M$ . The map $𝔄 \to M$ , $x \mapsto x m$ , is a surjective homomorphism of left $R$ -modules with $𝔄$ simple and $M \neq 0$ , hence an isomorphism. Thus $M ≅_{R} 𝔄$ .

**(1) $\Rightarrow$ (3).** A prime ring is semiprime, so $(11.9)$ applies to $𝔄 = R a$ and gives a minimal right ideal $𝔅 = a R$ . Now run the two paragraphs above in $R^{op}$ : $𝔅_{R}$ is a faithful simple right module, $R$ is right primitive, and every faithful simple right module is isomorphic to $𝔅$ .

Corollary—Where the asymmetry has to live

A left primitive ring that is not right primitive has zero socle, and in particular has no minimal left and no minimal right ideal. The same applies to a left primitive ring carrying two non-isomorphic faithful simple left modules.

Remark—Contrast with the simple case

By $(3.10)$ , a simple ring with a minimal left ideal is already left and right artinian, hence $≅ M_{n} (D)$ . For left primitive rings this fails completely: $End (V_{k})$ with $\dim_{k} V$ infinite has minimal left and right ideals yet is neither left nor right artinian. Primitivity is genuinely weaker than simplicity, and this is the sharpest illustration.

Proof Techniques and Method

How these proofs work, and which move to reuse.

Move 1

Right multiplication as an endomorphism

For a left ideal, right multiplication by a fixed element is a left module map. On a minimal left ideal it is therefore either zero or invertible — a dichotomy with no middle ground.

Move 2

Semiprimeness to avoid the zero case

The elementwise form $a R a \neq 0$ for $a \neq 0$ is used precisely to guarantee the endomorphism is nonzero. Every use of semiprimeness in this section is of that shape.

Move 3

Invert and re-associate

Apply the inverse map to a product written so that a left factor can be pulled out. The conclusion $a \in a r R$ is purely a matter of where the brackets are placed.

The uniqueness half of $(11.11)$ uses a different, equally reusable move: a nonzero homomorphism between simple modules is an isomorphism, so exhibiting any nonzero map $𝔄 \to M$ finishes the job. Producing that map is the only work, and $𝔄 M = M$ supplies it.

Write the minimal ideal as $R a$ Possible in any ring with identity; fixes a generator to compute with.

Choose $s$ with $a r s a r \neq 0$ Available because

R

is semiprime and

a r \neq 0

Right-multiply by $r s a$ A nonzero endomorphism of the simple module

R a

, hence invertible.

Apply the inversePull

a r

out on the left to land

a

inside

a r R

; minimality of

a R

follows.

Worked Example

The socle of $End (V_{k})$

Let $k$ be a division ring, $V \neq 0$ a right $k$ -vector space, and $E = End (V_{k})$ acting on the left. Fix $0 \neq v \in V$ and let $e \in E$ be a projection of $V$ onto the line $v k$ , so $e^{2} = e$ and $e (V) = v k$ . Put $f = 1 - e$ .

Consider $ϕ :_{E} E \to_{E} V$ , $g \mapsto g (v)$ . It is a homomorphism of left $E$ -modules and it is surjective, because $E V$ is simple and $ϕ \neq 0$ . Its kernel is $E f$ . Indeed $e (v) = v$ , so $(g f) (v) = g (v - e (v)) = 0$ for every $g$ , giving $E f \subseteq \ker ϕ$ . Conversely suppose $g (v) = 0$ . For any $u \in V$ we have $e (u) \in v k$ , say $e (u) = v c$ with $c \in k$ , whence $(g e) (u) = g (v c) = g (v) c = 0$ . So $g e = 0$ and $g = g (e + f) = g f \in E f$ .

E = E e \oplus E f, ϕ |_{E e} : E e \tilde{⟶} V .

(E.1)

$E e$ is isomorphic to the simple module $V$ , hence is a minimal left ideal of $E$ .

So $E$ has a minimal left ideal, and $E$ is left primitive; by $(11.11)$ it is also right primitive, $E V ≅ E e$ is the unique faithful simple left $E$ -module up to isomorphism, and $e E$ is the unique faithful simple right one.

What the socle is

For a rank-one idempotent $e$ , the minimal left ideal $E e$ consists of the endomorphisms vanishing on the fixed hyperplane $f (V) = \ker e$ ; all of them have rank at most one. Conversely any $h$ of rank one vanishes on a hyperplane, and choosing $e$ to project onto a complementary line gives $h = h e \in E e$ . Summing over all rank-one idempotents therefore produces every finite-rank map:

soc (E) = {g \in E : \dim_{k} g (V) < \infty} .

(E.2)

A proper nonzero two-sided ideal when $\dim_{k} V$ is infinite; equal to $E$ when $\dim_{k} V$ is finite.

Not artinian

Take $\dim_{k} V$ infinite and choose linearly independent $v_{1}, v_{2}, \dots$ in $V$ . The left ideals $𝔄_{n} = {g \in E : g (v_{i}) = 0 for i \leq n}$ satisfy $𝔄_{1} ⊋ 𝔄_{2} ⊋ \dots$ , since a linear map killing $v_{1}, \dots, v_{n}$ but not $v_{n + 1}$ exists. So $E$ is not left artinian, even though it has minimal left ideals — the contrast with $(3.10)$ noted above.

Comparison and Classification

Socle behaviour across primitive and near-primitive rings
Ring	Minimal left ideal?	$soc (R)$	Consequence
$M_{n} (D)$	yes	all of $R$	simple artinian; unique simple module
$End (V_{k})$ , $\dim_{k} V$ infinite	yes	finite-rank maps, proper and nonzero	left and right primitive, not artinian
$k [x; δ]$ , $k$ of characteristic $0$ , $δ$ non-inner	no	$0$	primitive with possibly many faithful simple modules
$ℤ$	no	$0$	prime, semiprimitive, not primitive
$T_{2} (k)$ upper triangular	yes	left and right socles differ	not semiprime; $(11.9)$ fails
Ring primitive on one side only	no	$0$	forced by $(11.11)$

What each hypothesis delivers
	Socles agree	Sides of primitivity agree	Faithful simple module unique	Ring is artinian
Semiprime	yes	no	no	no
Prime with a minimal left ideal	yes	yes	yes	no
Simple with a minimal left ideal	yes	yes	yes	yes
Left primitive, zero socle	yes	no	no	no
Left artinian	yes	yes	yes	yes

What each hypothesis delivers

Relationship Map

$R$ has a minimal left ideal $𝔄$ — equivalently $soc (_{R} R) \neq 0$
- and $R$ is prime
  - $R$ is left and right primitive $(11.11)$
  - $𝔄$ is the unique faithful simple left module
  - $R$ has a minimal right ideal $a R$ $(11.9)$
  - $soc (_{R} R) = soc (R_{R})$
- and $R$ is simple
  - $R$ is left and right artinian $(3.10)$
  - $R ≅ M_{n} (D)$
- and $R$ is not semiprime
  - $(11.9)$ may fail
  - left and right socles may differ — see $T_{2} (k)$

R a

minimal left

a R

minimal right

soc (_{R} R) = soc (R_{R})

Both implications require semiprimeness. The related page Minimal Left Ideals in Semiprime Rings develops the idempotent-theoretic side: in a semiprime ring, a minimal left ideal is generated by an idempotent, which is the structural reason the transfer works.

Applications and Industry Use

Applications here means where this structure is used — inside mathematics and in the engineering and computing disciplines that consume it.

Operator algebras

The finite-rank ideal

The socle of $End (V_{k})$ is the algebraic prototype of the compact operators inside $B (H)$ : a canonical proper ideal produced by rank considerations. Much of the ideal theory of operator algebras follows this pattern.

Representation theory

Recognising the regular representation

A minimal left ideal is a copy of a simple module inside the ring itself, so the socle records which irreducible representations are visible in the regular one. For semisimple algebras that is all of them.

Structure theory

Splitting the primitive rings

The socle divides left primitive rings into the tractable case, close to $End (V_{k})$ , and the exotic case with zero socle, where pathologies such as one-sided primitivity are confined.

Symbolic computation

Socle as a certificate

For finite-dimensional algebras the socle is computed alongside the radical and used to certify simplicity of modules and to build composition series in Meataxe-style algorithms.

Honestly stated: this material is internal to algebra. Its practical value is diagnostic — the socle tells you in advance whether the left and right theories of your ring will agree.

Computational Notes

Computational notes cover algorithms, cost and library behaviour rather than manufacturing process.

For a finite-dimensional algebra $A$ over a field given by structure constants, the socle of $A A$ is computable from the radical: $soc (_{A} A) = {x \in A : (rad A) x = 0}$ , a nullspace computation once $rad A$ is known.
Deciding whether a general finitely presented ring has a minimal left ideal is not algorithmic; the word problem already obstructs it. Practical work assumes finite dimension or an explicit model such as $End (V_{k})$ .
For $End (V_{k})$ with $V$ of countably infinite dimension, elements of the socle are represented by matrices with finitely many nonzero entries, and socle membership is a finite check — this is the standard computational model for the ring.
In GAP and Magma, Socle for algebras and modules is implemented via radical computation; for infinite-dimensional constructions no library support exists and the socle must be described by hand.

Failure Modes and Common Mistakes

Do not write $soc (R)$ without knowing the ring is semiprime; otherwise specify $soc (_{R} R)$ or $soc (R_{R})$ .
Do not assume every primitive ring has a nonzero socle. Simple domains such as $k [x; δ]$ are primitive with socle $0$ .
Do not read $(11.11)$ as saying primeness implies primitivity in general. The hypothesis has a minimal left ideal is doing all the work; $ℤ$ is prime with no minimal left ideal and is not primitive.
Do not conflate the minimal left ideal $𝔄$ with the socle. The socle is the sum of all of them and is two-sided; a single $𝔄$ is neither.

Best Practices

Check semiprimeness first; it is the gateway to every symmetry statement on this page.
When a minimal left ideal is available, write it as $R a$ immediately — the generator is what makes the transfer argument computable.
State which side a socle refers to until the two are proved equal, even in prose.
Use the uniqueness clause of $(11.11)$ as a consistency check: if a ring with nonzero socle appears to have two non-isomorphic faithful simple modules, one of the two is not faithful.

Quick Reference

$(11.9)$

R

semiprime,

R a

minimal left

\Rightarrow

a R

minimal right

Consequence

soc (_{R} R) = soc (R_{R})

for semiprime

R

$(11.10)$

T_{2} (k)

a = E_{11}

: transfer fails,

J = E_{12} k

has

J^{2} = 0

$(11.11)$ minimal left ideal: prime

\Leftrightarrow

left primitive

\Leftrightarrow

right primitive

Uniquenessfaithful simple left module

≅ 𝔄

, the minimal left ideal

Model ring

End (V_{k})

, socle

=

finite-rank maps

Zero socledomains that are not division rings; one-sidedly primitive rings

Contrastsimple

+

minimal left ideal

\Rightarrow

artinian

(3.10)

; primitive does not

Diagnostic table
Observation	Immediate conclusion
$R$ prime and $soc (R) \neq 0$	left and right primitive; unique faithful simple module each side
$R$ left primitive, not right primitive	$soc (R) = 0$
$R$ left primitive with two non-isomorphic faithful simple left modules	$soc (R) = 0$
$R$ a domain, not a division ring	$soc (R) = 0$
$R$ simple with a minimal left ideal	$R ≅ M_{n} (D)$ , left and right artinian

Frequently Asked Questions

Why does

(11.9)

need semiprimeness rather than primeness?

Because the only thing the proof uses is that $a r \neq 0$ implies $a r R a r \neq 0$ , which is exactly the elementwise form of semiprimeness. Primeness would be a stronger hypothesis than necessary, and the lemma is applied to semiprime rings that are not prime elsewhere in the theory.

Does

(11.11)

mean prime rings are usually primitive?

No. It says prime rings with a minimal left ideal are primitive. Most prime rings have zero socle — $ℤ$ , $k [x]$ , and every domain that is not a division ring — and for those the theorem says nothing. The hypothesis is restrictive, and its force comes from what it delivers, not from how often it applies.

Can a left primitive ring have two non-isomorphic faithful simple left modules?

Yes, provided its socle is zero. Lam's differential and skew polynomial examples in $(11.13)$ produce left primitive rings with infinitely many pairwise non-isomorphic faithful simple left modules; $(11.11)$ forces those rings to have no minimal one-sided ideals.

Is the socle always an ideal?

The left socle is a two-sided ideal of $R$ — it is a left ideal by construction, and right multiplication maps a minimal left ideal onto zero or another minimal left ideal, so the sum is stable on the right too. The same holds for the right socle. What is not automatic is that the two coincide.

How does this relate to the Density Theorem?

The Density Theorem describes every left primitive ring as a dense ring of linear transformations on $V_{k}$ . Rings with nonzero socle are precisely those dense subrings containing some nonzero finite-rank transformation; the socle is then the set of finite-rank elements. Zero socle corresponds to dense subrings avoiding finite rank entirely.

Why is a simple ring with a minimal left ideal automatically artinian, when a primitive one is not?

In a simple ring the socle is a nonzero two-sided ideal, hence all of $R$ , so $R R$ is a sum of simple modules and $R$ is semisimple, therefore artinian. In a primitive ring the socle can be a proper ideal, so the argument stops immediately — and $End (V_{k})$ shows the gap is real.

References

T. Y. Lam, A First Course in Noncommutative Rings, Graduate Texts in Mathematics 131, Springer-Verlag, 1991, §11, (11.9)–(11.11), pp. 187–189.
T. Y. Lam, A First Course in Noncommutative Rings, §3 for (3.10) on simple rings with minimal one-sided ideals, and §10 on prime and semiprime rings.
N. Jacobson, Structure of Rings, American Mathematical Society Colloquium Publications 37, revised edition, 1964, Chapter IV.
F. W. Anderson and K. R. Fuller, Rings and Categories of Modules, 2nd edition, Graduate Texts in Mathematics 13, Springer-Verlag, 1992, §9 on socles.
L. H. Rowen, Ring Theory, Volume I, Academic Press, 1988, Chapter 2.

AI Suggested Questions

Show that in a semiprime ring every minimal left ideal is generated by an idempotent, and deduce (11.9) from that.
Describe all dense subrings of $End (V_{k})$ containing the finite-rank transformations.
Give a prime ring with nonzero socle that is not simple and not artinian, other than an endomorphism ring.
How does the socle of a group algebra of an infinite group behave, and when is it nonzero?
Prove that the socle of a semiprime ring is a direct sum of its homogeneous components, and identify the components for $End (V_{k})$ .
What is the analogue of (11.11) for rings with a minimal right ideal but no minimal left ideal?
Compute the left and right socles of $T_{n} (k)$ for general $n$ and explain the asymmetry.

01Executive Summary

02Overview

03Learning Objectives

04Definitions

05Core Concepts

Minimal left ideals are simple modules sitting inside R

What semiprimeness supplies

Socle nonzero versus socle zero

06Key Results

07Proof Techniques and Method

Right multiplication as an endomorphism

Semiprimeness to avoid the zero case

Invert and re-associate

08Worked Example

The socle of End(Vk)

What the socle is

Not artinian

09Comparison and Classification

10Relationship Map

11Applications and Industry Use

The finite-rank ideal

Recognising the regular representation

Splitting the primitive rings

Socle as a certificate

12Computational Notes

13Failure Modes and Common Mistakes

14Best Practices

15Quick Reference

16Frequently Asked Questions

17Related KEVOS Topics

18References

19AI Suggested Questions

Continue learning