Notation and Symbols Reference

Q: Why does Lam write endomorphisms of left modules on the right?

So that End(_R R) ≅ R rather than R^op. In the proof of the Wedderburn–Artin Theorem he computes the endomorphism ring of the left regular module and wants it to be R itself; with the functional convention it would be R^op and every subsequent identification would carry an opposite. The mathematics is identical either way, but one convention halves the bookkeeping.

Q: Is rad R or J(R) the better notation?

Neither is standard. rad R is dominant in the ring-theoretic literature — Lam, Rowen, Jacobson — and J(R) in the module-theoretic literature, notably Anderson–Fuller and Curtis–Reiner. This collection uses rad R and mentions J(R) once per page where the alternative could confuse.

Q: Does the opposite ring construction ever change a ring?

For commutative rings, no: R^op = R. In general it can. A ring need not be isomorphic to its opposite, and there are left artinian rings whose opposite is not left artinian — the triangular ring (smallmatrix R & R 0 & Qsmallmatrix) is one, since it is left but not right artinian.

Q: What is the right way to write a two-sided ideal?

A R, or in words. Writing A ⊆ R leaves it ambiguous whether the object is a subset, a subring, a one-sided ideal or a two-sided ideal, and in a subject where the distinction between left and two-sided ideals is the whole point, the ambiguity is expensive.

Q: Are these conventions the same in the sequel volume?

Largely. Lam's *Lectures on Modules and Rings* keeps rad R, the Fraktur letters and the opposite-ring convention, and continues the practice of switching to right modules where the module theory reads better that way. The Ore extension notation k[x;,] becomes primary there rather than the two special cases used here.

Executive Summary

Notation in noncommutative ring theory is not settled. The Jacobson radical is $rad R$ , $J (R)$ or $ℛ (R)$ depending on the author; semisimple means one thing in Lam and another in mid-century sources; and the two nilradicals differ only by the position of a star.

This page fixes the conventions used throughout this collection, tabulates every symbol, and records the variants a reader will meet elsewhere. Two conventions carry real mathematical content — the side on which module homomorphisms are written, and the meaning of semisimple — and both are flagged.

$rad R$ Jacobson radical

LeftDefault module side

RightEndomorphisms of left modules

YesIdentity assumed

Overview

Three standing conventions apply everywhere in this collection unless a page says otherwise. Rings have an identity and ring homomorphisms preserve it. Modules are unital, and are left modules by default in §1–§18, right modules in §19–§25 following Lam. Simple modules are nonzero by definition.

A fourth convention is less visible but more consequential: homomorphisms of left modules are written on the right of their arguments, and homomorphisms of right modules on the left. This is what makes $End (_{R} R) ≅ R$ rather than $R^{op}$ , and it is the difference between two statements of the Wedderburn–Artin theorem that look contradictory but are not.

Use with Glossary of Noncommutative Ring Theory for the words and Conventions and Notation for the standing hypotheses developed in context.

Learning Objectives

Read $rad R$ , ${Nil}_{*} R$ , ${Nil}^{*} R$ and $L - rad R$ without confusing them.
State the multiplication rule defining $R^{op}$ , $k [x; σ]$ and $k [x; δ]$ .
Explain why $End (_{R} R) ≅ R^{op}$ under the left-acting convention.
Prove that $M_{n} (R)^{op} ≅ M_{n} (R^{op})$ and say what that means notationally.
Translate a statement from Anderson–Fuller or Jacobson into the notation used here.
Write these objects correctly in LaTeX, MathML, and the major computer algebra systems.

Definitions

The standing conventions, stated once.

$R$ , $S$ , $A$: Rings with identity $1 \neq 0$ unless explicitly allowed to be zero. $A$ is often reserved for an algebra over a field.
$k$ , $F$ , $K$: $k$ is a field or a division ring, according to context; $F \subseteq K$ denotes a field extension. Lam uses $k$ for a base division ring throughout §1–§3.
$D$: A division ring. $D^{*}$ or $U (D)$ is its multiplicative group $D ∖ {0}$ .
$𝔄, 𝔅, 𝔪$: Fraktur letters denote one-sided ideals; $𝔪$ is reserved for a maximal left ideal. Lam uses this convention consistently.
$_{R} M$ , $M_{R}$: A left, respectively right, $R$ -module. An $(R, S)$ -bimodule is written $_{R} M_{S}$ .
$R^{op}$: The opposite ring: the same additive group, with product $a^{op} b^{op} = (b a)^{op}$ . Left $R$ -modules are exactly right $R^{op}$ -modules.
$M_{n} (R)$: The ring of $n \times n$ matrices over $R$ . Written $R^{n \times n}$ or ${Mat}_{n} (R)$ elsewhere; the blackboard variant is not used here.
$U (R)$ , $Z (R)$: The unit group and the centre. Common variants: $R^{\times}$ , $R^{*}$ for units; $Cent (R)$ or $C (R)$ for the centre.

Lam switches from left modules to right modules at §19; each page in this collection states which side it uses.

Core Concepts

The four radicals and their stars

The single most error-prone piece of notation in the subject is the placement of the star. ${Nil}_{*} R$ , star below, is the lower nilradical — the intersection of the prime ideals, also called the Baer or prime radical. ${Nil}^{*} R$ , star above, is the upper nilradical — the sum of the nil ideals. The chain runs

{Nil}_{*} R \subseteq L - rad R \subseteq {Nil}^{*} R \subseteq rad R,

(N.1)

lower nilradical, Levitzki radical, upper nilradical, Jacobson radical; $(10.27)$ and $(10.32)$ .

Mnemonic: lower is the smaller, and its star sits low. Other authors write ${Nil}_{*} R$ as $β (R)$ , $P (R)$ or $N (R)$ , and ${Nil}^{*} R$ as $Nil (R)$ or $N^{*} (R)$ — always check which is which before quoting an inclusion.

Which side an endomorphism acts on

For a right $R$ -module $M_{R}$ , endomorphisms are written on the left in the usual functional way, and $End (R_{R}) ≅ R$ by $(1.12)$ . For a left module $_{R} M$ , Lam writes endomorphisms on the right, which again gives $End (_{R} R) ≅ R$ . Under the more common functional convention for left modules one instead gets $R^{op}$ , and both appear in the literature.

Twisted constructions

The two twisting rules are easy to confuse. In $k [x; σ]$ the variable moves a coefficient past itself by applying $σ$ : $x b = σ (b) x$ . In $k [x; δ]$ it moves past unchanged but leaves a remainder: $x a = a x + δ (a)$ , where $δ$ is a derivation, $δ (a b) = a δ (b) + δ (a) b$ . Elements are always left polynomials $\sum a_{i} x^{i}$ .

k [x]

k [x; σ]

k [x; σ, δ]

The general Ore extension k[x;σ,δ] with xa = σ(a)x + δ(a) specialises to both; Lam treats it in the sequel volume.

Key Results

Two results justify the conventions above rather than merely recording them.

Proposition(1.12)Endomorphisms of the regular module

Let $R$ be a ring with identity. Writing homomorphisms on the left of their arguments, $End (R_{R}) ≅ R$ via $f \mapsto f (1)$ , while $End (_{R} R) ≅ R^{op}$ via the same formula. Writing homomorphisms of left modules on the right instead gives $End (_{R} R) ≅ R$ .

Proof

Let $M = R_{R}$ and $f \in End (R_{R})$ , so $f (a b) = f (a) b$ . Then $f (a) = f (1 \cdot a) = f (1) a$ : every endomorphism is left multiplication by $c = f (1)$ . For $f, g$ with $f (1) = c$ , $g (1) = d$ ,

(f \circ g) (1) = f (g (1)) = f (d) = c d,

(N.2)

so $f \mapsto f (1)$ is multiplicative in the correct order and is a ring isomorphism onto $R$ .

Now let $M =_{R} R$ and $f \in End (_{R} R)$ , so $f (r a) = r f (a)$ . Then $f (a) = f (a \cdot 1) = a f (1)$ : every endomorphism is right multiplication by $c = f (1)$ . This time

(f \circ g) (1) = f (g (1)) = f (d) = d c,

(N.3)

so $f \mapsto f (1)$ reverses products: it is an anti-isomorphism $End (_{R} R) \to R$ , equivalently an isomorphism onto $R^{op}$ . If instead one writes the endomorphism after its argument, $(a) (f g) = ((a) f) g = (a c_{f}) c_{g} = a (c_{f} c_{g})$ , and the order is restored. That is exactly why Lam adopts the right-acting convention for left modules: it lets him write $End (_{R} R) = R$ in the proof of the Wedderburn–Artin Theorem without an opposite ring appearing.

Proposition—Transpose and the opposite ring

For every ring $R$ and every $n \geq 1$ , the transpose map $A \mapsto A^{T}$ is an isomorphism

M_{n} (R)^{op} ≅ M_{n} (R^{op}) .

(N.4)

Consequently $M_{n} (R)$ is left artinian if and only if $M_{n} (R^{op})$ is right artinian, and the matrix notation may be transposed freely provided the coefficient ring is opposed at the same time.

Proof

Write $*$ for multiplication in $R^{op}$ , so $b * a = a b$ in $R$ . For $A, B \in M_{n} (R)$ , the $(i, j)$ entry of $(A B)^{T}$ is $(A B)_{j i} = \sum_{k} a_{j k} b_{k i}$ . The $(i, j)$ entry of $B^{T} A^{T}$ computed in $M_{n} (R^{op})$ is

\sum_{k} (B^{T})_{i k} * (A^{T})_{k j} = \sum_{k} b_{k i} * a_{j k} = \sum_{k} a_{j k} b_{k i} .

(N.5)

The two agree, so transpose sends the product $A B$ to $B^{T} A^{T}$ — an anti-isomorphism $M_{n} (R) \to M_{n} (R^{op})$ , that is, an isomorphism from $M_{n} (R)^{op}$ . It is bijective and additive, and $I^{T} = I$ .

Remark—Why the notation is not neutral

$(N . 4)$ is the formal reason a great many results in this subject may be quoted on either side after a transposition, and equally the reason that quoting them without transposing the coefficient ring produces false statements. When $R$ is commutative, $R^{op} = R$ and the distinction disappears — which is precisely why it is so easy to forget.

Frameworks and Models

Grouping the symbols by what they classify makes the collection navigable.

Objects
- rings: $R$ , $S$ , $A$ ; division rings $D$ ; fields $k$ , $F$ , $K$
- modules: $_{R} M$ , $M_{R}$ , $_{R} M_{S}$
- groups: $G$ , $H$ ; the FC subgroup $Δ (G)$
Constructions on a ring
- $R^{op}$ , $M_{n} (R)$ , $e R e$ , $R / 𝔄$
- $R [x]$ , $R [[x]]$ , $k [x; σ]$ , $k [x; δ]$ , $k ((x; σ))$
- $k G$ , $k * G$ , triangular rings
Invariants attached to a ring
- $rad R$ , ${Nil}_{*} R$ , ${Nil}^{*} R$ , $L - rad R$
- $U (R)$ , $Z (R)$ , $char R$ , $soc (R)$
- $Br (k)$ for a field $k$
Relations between objects
- $\subseteq$ , $⊊$ , $⊴$ , $≅$ , $↪$ , $↠$
- $\oplus$ , $\otimes$ , $\times$ , $⋉$ , $⋊$

Comparison and Classification

Rings, constructions and elements
Symbol	Meaning	Notes
$R^{op}$	opposite ring	$a^{op} b^{op} = (b a)^{op}$
$U (R)$	group of units	variants $R^{\times}$ , $R^{*}$
$Z (R)$	centre	variant $Cent (R)$ ; not to be confused with $ℤ$
$char R$	characteristic	least positive $n$ with $n \cdot 1 = 0$ , or $0$
$M_{n} (R)$	$n \times n$ matrices	variants $R^{n \times n}$ , ${Mat}_{n} (R)$
$E_{i j}$	matrix units	$E_{i j} E_{k l} = δ_{j k} E_{i l}$
$R \times S$	direct product of rings	coordinatewise operations
$R [x]$ , $R [[x]]$	polynomial, power series	$R [T]$ for a set $T$ of commuting variables
$R [x, x^{- 1}]$	Laurent polynomials	$= R ℤ$ , the group ring of $ℤ$
$k [x; σ]$	skew polynomial ring	$x b = σ (b) x$ ; $(1.7)$
$k [x; δ]$	differential polynomial ring	$x a = a x + δ (a)$ ; $(1.9)$
$k ((x; σ))$	skew Laurent series	$σ$ must be an automorphism; $(1.8)$
$A_{n} (k)$	$n$ -th Weyl algebra	$A_{1} (k) = k [y] [x; d / d y]$ , simple in characteristic $0$
$k G$	group ring	$k$ a ring, $G$ a group or semigroup; $(1.4)$
$k * G$	skew group ring	$(1.11)$ ; crossed products generalise it
$k ⟨ x_{i} ⟩$	free ring	$(1.2)$ ; noncommuting variables
$(\begin{matrix} R & M \\ 0 & S \end{matrix})$	triangular ring	$M$ an $(R, S)$ -bimodule; $(1.17)$
$ℍ$	real quaternions	$i^{2} = j^{2} = - 1$ , $i j = - j i = k$ ; $(1.1)$

Ideals, radicals and annihilators
Symbol	Meaning	Notes
$𝔪$	maximal left ideal	Fraktur letters for one-sided ideals
$𝔄 ⊴ R$	two-sided ideal	$\subseteq$ alone leaves the sidedness unstated
$rad R$	Jacobson radical	variants $J (R)$ , $ℛ (R)$ , $rad (R)$
${Nil}_{*} R$	lower nilradical (Baer, prime)	$= \sqrt{(0)}$ ; variants $β (R)$ , $P (R)$ , $N (R)$
${Nil}^{*} R$	upper nilradical	largest nil ideal; variants $Nil (R)$ , $N^{*} (R)$
$L - rad R$	Levitzki radical	largest locally nilpotent ideal
$\sqrt{𝔄}$	radical of an ideal	intersection of the primes containing $𝔄$ ; $(10.11)$
$ann (M)$	annihilator of a module	${r \in R : r M = 0}$ , a two-sided ideal
${ann}_{r} (a)$ , ${ann}_{ℓ} (a)$	right and left annihilators of an element	${ann}_{r} (a) = {x : a x = 0}$ ; used in $(10.29)$
$soc (M)$	socle	sum of the simple submodules
$rad M$	radical of a module	intersection of the maximal submodules; $(24.3)$
$ε$	augmentation map	$k G \to k$ , $\sum a_{g} g \mapsto \sum a_{g}$

Modules, maps and invariants
Symbol	Meaning	Notes
$_{R} M$ , $M_{R}$	left, right module	$_{R} M_{S}$ for a bimodule
${Hom}_{R} (M, N)$	module homomorphisms	an abelian group; a ring when $M = N$
$End (M)$	endomorphism ring	see $(1.12)$ for the acting side
$M \oplus N$	direct sum	$⨁_{i \in I} M_{i}$ for arbitrary families
$M \otimes_{R} N$	tensor product	needs $M_{R}$ and $_{R} N$
$ℓ (M)$	composition length	finite iff $M$ has a composition series; $(1.19)$
$\dim_{k} V$	dimension over a division ring	$[K : F]$ for field extensions
$Ext$ , $Tor$	derived functors	used only in §24
$e = e^{2}$	idempotent	$e R e$ is the corner ring; $(21.7)$
$1 = e_{1} + \dots + e_{n}$	orthogonal decomposition	$e_{i} e_{j} = 0$ for $i \neq j$ ; $(23.6)$

Radical notation across the standard references
	Lam	Jacobson	Anderson–Fuller	Rowen
Jacobson radical	$rad R$	$rad R$	$J (R)$	$Jac (R)$
Lower nilradical	${Nil}_{*} R$	prime radical	—	$N (R)$
Upper nilradical	${Nil}^{*} R$	nil radical	—	upper nilradical
$rad R = 0$	J-semisimple	semisimple	semiprimitive	semiprimitive
Semisimple ring	semisimple	completely reducible	semisimple	semisimple Artinian

Radical notation across the standard references

Standards and Notation

Standards here covers notation, symbol and markup standards, and reference implementations, rather than material or design codes.

This collection

rad R

{Nil}_{*} R

{Nil}^{*} R

M_{n} (R)

U (R)

R^{op}

ISO 80000-2upright for operators and constants, italic for variables; set brackets and logical symbols standardised

MarkupPresentation MathML per ISO/IEC 40314; LaTeX with the operatorname macro for non-standard operators

GAPRadicalOfAlgebra, MatrixAlgebra, GroupRing, OppositeAlgebra

MagmaJacobsonRadical, MatrixAlgebra, GroupAlgebra

SageA.radical(), MatrixSpace, GroupAlgebra, A.opposite_algebra()

Macaulay2radical, Weyl algebra via makeWA

ISO 80000-2 settles the typography — operator names upright, variables italic — but says nothing about the ring-theoretic symbols themselves; there is no standard for $rad$ versus $J$ . Within a single document, consistency matters more than the choice.

Computational Notes

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

Translating notation into a computer algebra system introduces its own conventions, and the acting side is where systems disagree.

Row versus column vectors. GAP and Magma act on row vectors from the right, so a matrix algebra there is naturally the endomorphism ring of a right module. Sage's default is the same. Code written from a left-module treatment therefore often needs a transpose — which by $(N . 4)$ is exactly the passage to $M_{n} (R^{op})$ .
Radical routines assume finite dimension. RadicalOfAlgebra in GAP and JacobsonRadical in Magma expect a finite-dimensional algebra over a field. Neither computes ${Nil}_{*} R$ or ${Nil}^{*} R$ for a general ring; for finite-dimensional algebras all three coincide.
Group rings need the coefficient ring stated. GroupRing(GF(2), G) and GroupAlgebra(QQ, G) behave very differently: the first may be local, the second is semisimple when $G$ is finite.
Skew polynomial rings are entered as Ore extensions; the systems ask for $σ$ and $δ$ separately, in the convention $x a = σ (a) x + δ (a)$ , which matches $(1.7)$ and $(1.9)$ on setting the other to be trivial.

Failure Modes and Common Mistakes

$Z (R)$ is the centre; $ℤ$ is the integers; $Z (G)$ is the centre of a group. Three different objects, one letter.
$R^{*}$ means the unit group in some sources and the dual module in others; this collection writes $U (R)$ for units.
$\subset$ is used for both contained in and properly contained in across the literature. This collection writes $\subseteq$ and $⊊$ .
Regular means von Neumann regular here; in commutative algebra it means something entirely different, and regular element means a non-zero-divisor.

Best Practices

Declare the side once at the top of a document — left modules or right modules — and never switch silently.
Write $rad R$ rather than $J (R)$ if the surrounding text uses $J$ for an ideal; ambiguity is cheaper to avoid than to explain.
When quoting an inclusion between radicals, restate which radical is which rather than relying on the star.
Use $⊴$ when you mean a two-sided ideal; $\subseteq$ alone leaves it open.
Give the commutation rule explicitly whenever a skew construction appears: $x b = σ (b) x$ takes one line and prevents an entire class of errors.

Historical Notes and Lessons Learned

1843HamiltonThe symbols i, j, k and the relations i squared = j squared = k squared = ijk = -1 enter mathematics, together with the word 'scalar'.
1908WedderburnThe radical of a finite-dimensional algebra is introduced as the largest nilpotent ideal; 'semisimple' is coined for the quotient.
1927–30Noether and ArtinModule-theoretic language replaces explicit structure constants; ascending and descending chain conditions acquire the names noetherian and artinian.
1945JacobsonThe radical is redefined for arbitrary rings and takes the notation rad R. 'Semisimple' is reused for rad R = 0, creating the ambiguity that persists today.
1950s–60sProliferation of radicalsBaer, Levitzki, Brown-McCoy and others introduce competing radicals, and the star notation for upper and lower nilradicals settles into its current form.
1970s onwardStandardisation attemptsAnderson-Fuller popularise J(R) in the module-theoretic literature; ISO 80000-2 fixes typography but not the symbols; TeX makes both conventions equally easy to typeset and so entrenches both.

The lesson is that notation follows the concept that was current when a community formed. The two radical notations survive because two communities — module theorists and ring theorists — adopted them independently, and neither has any incentive to change.

Quick Reference

Radical

rad R = J (R)

, intersection of maximal left ideals

Lower nilradical

{Nil}_{*} R

, intersection of primes

Upper nilradical

{Nil}^{*} R

, sum of nil ideals

Levitzki

L - rad R

, largest locally nilpotent ideal

Opposite

a^{op} b^{op} = (b a)^{op}

Matrices

M_{n} (R)

;

M_{n} (R)^{op} ≅ M_{n} (R^{op})

Units, centre

U (R)

Z (R)

Skew polynomial

k [x; σ]

x b = σ (b) x

Differential

k [x; δ]

x a = a x + δ (a)

Annihilator

ann (M) = {r : r M = 0}

Module sides

_{R} M

left,

M_{R}

right,

_{R} M_{S}

bimodule

Endomorphisms

End (_{R} R) ≅ R

with maps on the right

Reading a statement from another source
If the source says	Read it as	Check
semisimple	$rad R = 0$ , possibly without artinian	date and author
$J (R)$	$rad R$	no ambiguity
$N (R)$	lower or upper nilradical	which inclusion the source asserts
regular ring	von Neumann regular, or regular local	whether the ring is commutative
primitive	ring, ideal or idempotent	the grammatical object
$R^{*}$	unit group or dual module	context
$𝕄_{n} (R)$	$M_{n} (R)$	purely typographical

Frequently Asked Questions

Why does Lam write endomorphisms of left modules on the right?

So that $End (_{R} R) ≅ R$ rather than $R^{op}$ . In the proof of the Wedderburn–Artin Theorem he computes the endomorphism ring of the left regular module and wants it to be $R$ itself; with the functional convention it would be $R^{op}$ and every subsequent identification would carry an opposite. The mathematics is identical either way, but one convention halves the bookkeeping.

rad R

J (R)

the better notation?

Neither is standard. $rad R$ is dominant in the ring-theoretic literature — Lam, Rowen, Jacobson — and $J (R)$ in the module-theoretic literature, notably Anderson–Fuller and Curtis–Reiner. This collection uses $rad R$ and mentions $J (R)$ once per page where the alternative could confuse.

How do I remember which nilradical has the star on top?

The upper nilradical is the larger and its star is above; the lower nilradical is the smaller and its star is below. If in doubt, recall that ${Nil}_{*} R$ is defined as an intersection of primes — intersections make things small — while ${Nil}^{*} R$ is defined as a sum of nil ideals.

Does the opposite ring construction ever change a ring?

For commutative rings, no: $R^{op} = R$ . In general it can. A ring need not be isomorphic to its opposite, and there are left artinian rings whose opposite is not left artinian — the triangular ring $(\begin{matrix} ℝ & ℝ \\ 0 & ℚ \end{matrix})$ is one, since it is left but not right artinian.

What is the right way to write a two-sided ideal?

$𝔄 ⊴ R$ , or in words. Writing $𝔄 \subseteq R$ leaves it ambiguous whether the object is a subset, a subring, a one-sided ideal or a two-sided ideal, and in a subject where the distinction between left and two-sided ideals is the whole point, the ambiguity is expensive.

Are these conventions the same in the sequel volume?

Largely. Lam's Lectures on Modules and Rings keeps $rad R$ , the Fraktur letters and the opposite-ring convention, and continues the practice of switching to right modules where the module theory reads better that way. The Ore extension notation $k [x; σ, δ]$ becomes primary there rather than the two special cases used here.

References

T. Y. Lam, A First Course in Noncommutative Rings, Graduate Texts in Mathematics 131, Springer-Verlag, 1991, Notes to the Reader and §1 (pp. 1–24).
T. Y. Lam, Lectures on Modules and Rings, Graduate Texts in Mathematics 189, Springer-Verlag, 1999.
F. W. Anderson and K. R. Fuller, Rings and Categories of Modules, 2nd edition, Graduate Texts in Mathematics 13, Springer-Verlag, 1992.
N. Jacobson, Structure of Rings, American Mathematical Society Colloquium Publications 37, revised edition, 1964.
L. H. Rowen, Ring Theory, Volume I, Academic Press, 1988.
ISO 80000-2:2019, Quantities and units — Part 2: Mathematics, International Organization for Standardization.

AI Suggested Questions

Show that a ring need not be isomorphic to its opposite ring, with an explicit finite-dimensional example.
How does the choice of acting side for endomorphisms affect the statement of the double centraliser theorem?
Which notational conventions differ between Lam's first and second volumes, and why?
Write a LaTeX macro package that enforces one radical convention throughout a document.
How does mathlib in Lean name the Jacobson radical and the nilradicals, and how faithful is the naming?
Trace the historical use of the word semisimple from Wedderburn to the present.
What conventions do Magma and GAP use for the side on which matrices act, and where does that bite?

Notation Reference

Executive Summary

Overview

Learning Objectives

Definitions

Core Concepts

The four radicals and their stars

Which side an endomorphism acts on

Twisted constructions

Key Results

Frameworks and Models

Comparison and Classification

Standards and Notation

Computational Notes

Failure Modes and Common Mistakes

Best Practices

Historical Notes and Lessons Learned

Quick Reference

Frequently Asked Questions

References

AI Suggested Questions

Continue learning

01Executive Summary

02Overview

03Learning Objectives

04Definitions

05Core Concepts

The four radicals and their stars

Which side an endomorphism acts on

Twisted constructions

06Key Results

07Frameworks and Models

08Comparison and Classification

09Standards and Notation

10Computational Notes

11Failure Modes and Common Mistakes

12Best Practices

13Historical Notes and Lessons Learned

14Quick Reference

15Frequently Asked Questions

16Related KEVOS Topics

17References

18AI Suggested Questions

Continue learning

Executive Summary

Overview

Learning Objectives

Definitions

Core Concepts

Key Results

Frameworks and Models

Comparison and Classification

Standards and Notation

Computational Notes

Failure Modes and Common Mistakes

Best Practices

Historical Notes and Lessons Learned

Quick Reference

Frequently Asked Questions

Related KEVOS Topics

References

AI Suggested Questions