Engineering

Semiperfect Rings: Definition and First Examples

Semiperfect rings: the definition as a semilocal ring in which idempotents lift modulo the Jacobson radical, why local and one-sided artinian rings qualify, matrix rings over lo…

Semiprime and Semiprimitive Rings as Subdirect Products

Lam's theorem (12.5): a nonzero ring is semiprime exactly when it is a subdirect product of prime rings, and semiprimitive exactly when it is a subdirect product of left primiti…

Engineering Mathematics13 Aug 2026 · 14 min read

Semiprime Ideals and n-Systems

Semiprime ideals in noncommutative rings: the squaring definition, the aRa element test, n-systems as complements, the lemma extracting an m-system from an n-system, and the the…

Engineering Mathematics13 Aug 2026 · 15 min read

Semiprimitive Rings and Faithful Semisimple Modules

Lam's Proposition 11.1: a ring is semiprimitive precisely when it carries a faithful semisimple left module. The proof, the explicit construction of that module from a complete …

Semisimple Rings: Definition and Equivalent Characterisations

Semisimple rings: the five equivalent conditions of Lam (2.5), the reduction of the whole notion to the regular module, the proof that semisimple rings are left artinian and lef…

Simple and Semisimple Modules: Definition and Equivalences

Simple and semisimple modules: the complement definition, the lemma that a nonzero semisimple module contains a simple submodule, and the theorem that semisimple, direct sum of …

Engineering Mathematics13 Aug 2026 · 25 min read

Simple Artinian Rings and Minimal One-Sided Ideals

Simple artinian rings: Lam's four-way equivalence between the DCC on left ideals, semisimplicity, the existence of a single minimal left ideal, and the matrix form over a divisi…

Engineering Mathematics13 Aug 2026 · 24 min read

Simplicity Criteria for Differential Polynomial Rings

Lam's criterion for the differential polynomial ring over a rational algebra to be simple: delta-simplicity of the base ring together with non-innerness of the derivation, with …

Engineering Mathematics13 Aug 2026 · 26 min read

Simplicity of Skew Laurent Polynomial Rings

Lam's theorem (3.18) following Jordan: three equivalent conditions for the skew Laurent polynomial ring to be simple, the inner order of an automorphism, full proofs of each imp…

Skew Group Rings and Crossed Products

Skew group rings and crossed products: the multiplication rule, the associativity conditions on the action and the factor set, the identification of skew Laurent polynomial ring…

Skew Polynomial Rings and Hilbert’s Twist

Skew polynomial rings k[x;sigma] and skew Laurent series rings: the twisted multiplication rule, degree and unit computations, when the construction yields a domain, a principal…

Skew Polynomial Rings as Primitive Rings

Skew polynomial rings over division rings as sources of left primitive rings: the classification of ideals in Lam 11.12, faithfulness of the modules R modulo R(x-a) in 11.13, th…

Small (Superfluous) Submodules

Small (superfluous) submodules: the definition, the closure properties under sums, submodules and finite direct sums, why nonzero direct summands are never small, and the Nakaya…

Snapper’s Theorem: The Radical of a Commutative Polynomial Ring

Snapper's Theorem computes the Jacobson radical of a commutative polynomial ring: it equals the nilradical of R extended coefficientwise, so R[T] is Jacobson semisimple exactly …

Splitting Fields for Finite Groups

Splitting fields for finite groups: the definition via the group algebra, the equivalent matrix-algebra and dimension criteria, the theorem that a finite extension always splits…

Splitting Fields for Finite-Dimensional Algebras

Splitting fields for finite-dimensional algebras: the matrix-algebra criterion, the dimension test, reduction to the semisimple quotient, existence of finite splitting fields ov…

Strongly Indecomposable Modules and Local Endomorphism Rings

Strongly indecomposable modules are those with local endomorphism ring. This page separates indecomposability from strong indecomposability, gives the standard abelian group and…

Structure of Finite-Dimensional Algebras and Their Simple Modules

Structure of a finite-dimensional algebra over a field: the Wedderburn decomposition of the semisimple quotient, the division algebras attached to the simple modules, the dimens…

Study Pathway: A Route Through Noncommutative Ring Theory

A study pathway through noncommutative ring theory: prerequisites, a core spine of seven sections, three specialist routes, a fourteen-week schedule and the milestones that cert…

Subdirect Products of Rings

Subdirect products of rings: Lam's definition, the equivalent description by families of ideals with zero intersection, trivial versus nontrivial representations, which properti…

Subdirectly Irreducible Rings and the Little Ideal

Subdirectly irreducible rings, the little ideal that detects them, Birkhoff's theorem writing every nonzero ring as a subdirect product of such rings, and the classification of …

Subgroups of Finite Index and Division Subrings

Projective spaces over a division ring and the index of a division subring: P(V) is finite only when V is finite, hence the index of K star in D star is finite only for finite D…

T-Nilpotency

T-nilpotency for one-sided ideals: the definition by sequences, its position strictly between nilpotent and nil, containment in the lower nilradical, the module-theoretic charac…

Tensor Products of Algebras and Their Centralizers

Tensor products of division algebras over the centre: the centralizer of the first factor is the second factor, the centre of the product is the centre of the second factor, the…

The Augmentation Ideal of a Group Ring

The augmentation ideal of a group ring: the free basis of differences g minus 1, relative augmentation ideals and the identification of the quotient with a smaller group ring, t…

The Block Decomposition of a Ring

The linkage relation on primitive idempotents and the block decomposition of a ring: class sums are centrally primitive idempotents, linkage classes correspond to blocks, and fo…

The Brauer–Albert Theorem on Conjugate Maximal Subfields

The Brauer-Albert theorem produces an explicit basis of a central division algebra of degree r from a separable maximal subfield generator and a cyclic vector, and its corollary…

The Bray–Whaples Theorem and Interpolation

The Bray-Whaples theorem on polynomials over a division ring: existence and uniqueness of the monic polynomial of degree n vanishing on n pairwise nonconjugate elements, its roo…

The Cartan Matrix of a Semiperfect Ring

The Cartan matrix of a right artinian ring: definition by composition multiplicities of principal indecomposables, the nonvanishing criterion, block diagonal form, the K-theoret…

The Cartan–Brauer–Hua Theorem

The Cartan-Brauer-Hua theorem: a division subring whose nonzero elements form a normal subgroup of the multiplicative group is either the whole ring or central. Includes the ide…

The Commutator Subspace and Counting Simple Modules in Characteristic p

The commutator subspace of a ring, its behaviour under p-th powers in characteristic p, its computation for matrix algebras, and the resulting formula counting the simple module…

The First and Second Orthogonality Relations

The first and second orthogonality relations for the irreducible characters of a finite group over a splitting field of non-dividing characteristic: statements, proofs from the …

The Gordon–Motzkin Theorem on Roots in Conjugacy Classes

The Gordon-Motzkin theorems on roots of polynomials over a division ring: roots occupy at most n conjugacy classes, two roots in one class force infinitely many, and the root se…

The Group Ring Problems: Units, Zero Divisors, Idempotents and J-Semisimplicity

The four classical problems for group rings of torsion-free groups over a domain: trivial units, reducedness, the zero-divisor question and J-semisimplicity, the implications be…

The Homological Characterisation of Perfect Rings

The homological characterisation of right perfect rings as those over which every right module has a projective cover, with the T-nilpotence criterion used in the converse, the …

The Homological Characterisation of Semiperfect Rings

The homological characterisation of semiperfect rings: existence of projective covers for finitely generated, or merely cyclic, right modules. Includes the descent lemma for quo…

The Hopkins–Levitzki Theorem

Lam 4.14 and 4.15: semisimple equals J-semisimple plus left artinian, and the Hopkins-Levitzki theorem that over a semiprimary ring a module is noetherian if and only if artinia…

The Jacobson and Herstein Commutativity Theorems

The Jacobson and Herstein commutativity theorems (12.9) to (12.11), proved by the reduction ladder of (12.8) from division rings through primitive and semiprimitive rings, toget…

The Jacobson Density Theorem

The Jacobson–Chevalley Density Theorem: a semisimple module over a ring is acted on densely by that ring relative to its endomorphism division ring, with the Bourbaki proof, the…

The Jacobson Radical: Definition and Equivalent Characterisations

The Jacobson radical of a ring: its definition as an intersection of maximal left ideals, the annihilator and quasi-regularity characterisations, its left-right symmetry, and th…

The Krull–Schmidt Theorem

The Krull-Schmidt theorem for modules of finite length: existence of a decomposition into indecomposables from a single chain condition, uniqueness from the Krull-Schmidt-Azumay…

The Levitzki Radical and Locally Nilpotent Ideals

The Levitzki radical as the largest locally nilpotent ideal, Utumi's lemma on rings with ACC on right annihilators, Levitzki's theorem that nil one-sided ideals of a right noeth…

The Lower Nilradical (Baer Radical)

The lower nilradical of a ring: its definition as the radical of the zero ideal, its identification with the intersection of all prime ideals, why it is nil but not always nilpo…

The Lower Nilradical of Polynomial and Matrix Rings

The Amitsur-McCoy theorem on the lower nilradical of a polynomial ring and its matrix analogue: polynomial and matrix rings are prime or semiprime exactly when the base ring is,…

The Mal’cev–Neumann Construction of Laurent Series Rings

The Mal'cev-Neumann construction builds a division ring of formal series indexed by an ordered group with well-ordered supports. This page gives the construction, the key lemma …

The Multiplicative Group of a Division Ring

The multiplicative group of a division ring: its upper central series stabilises at the centre, so D star is nilpotent exactly when D is commutative. Includes the proof from the…

The Niven–Jacobson Theorem: Roots over Quaternion Algebras

The Niven-Jacobson theorem that quaternions over a real-closed field are right and left algebraically closed, with Niven's criteria for infinitely many roots and the exact count…