Engineering Mathematics

Reduced Rings as Subdirect Products of Domains

Lam's results (12.6) and (12.7): minimal primes of a reduced ring are completely prime, and a nonzero ring is reduced precisely when it is a subdirect product of domains, with t…

Right Algebraically Closed Division Rings

Baer's theorem and the classification of right algebraically closed division rings: a noncommutative centrally finite division ring in which every polynomial over the centre has…

Engineering Mathematics8 Aug 2026 · 15 min read

Right Perfect but Not Left Perfect: A Counterexample

The standard counterexample separating right perfect from left perfect rings: infinite strictly upper triangular matrices over a field, with proofs that the radical is right T-n…

Ring Class Hierarchy: Semisimple to Semilocal and Everything Between

A structural map of the main classes of noncommutative rings: the containment chain from semisimple down to semilocal, the parallel chain from division ring down to semiprime, a…

Ring Theory Conventions and Notation for Noncommutative Rings

Baseline conventions for noncommutative ring theory: rings with identity, subrings containing 1, two-sided ideals, simple rings, left and right zero-divisors, domains, units, De…

Rings of Stable Range One

Left stable range one: the definition, its relation to Bass' Theorem for semilocal rings, the cancellation theorem for modules whose endomorphism ring has stable range one, and …

Schur’s Lemma and Endomorphism Division Rings

Schur's Lemma: the endomorphism ring of a simple module is a division ring, homomorphisms between non-isomorphic simple modules vanish, and the sharper form over an algebraicall…

Schur’s Theorem on Torsion Linear Groups

Schur's theorem: a finitely generated torsion subgroup of GL(n,k) is finite over any field. The proof combines the bounded exponent lemma, the trace argument, and the abelian-by…

Semilocal Rings: Definition and Examples

Semilocal rings: the definition via a semisimple quotient by the Jacobson radical, the relation to having finitely many maximal ideals, closure under matrix rings and finite mod…

Semiperfect Endomorphism Rings and Module Decompositions

The endomorphism ring characterisation of semiperfect rings: End of a module is semiperfect exactly when the module is a finite direct sum of strongly indecomposable summands, w…

Semiperfect Rings and Decompositions of the Identity

The idempotent characterisation of semiperfect rings: primitive idempotents are local, the identity decomposes into finitely many orthogonal local idempotents, uniqueness up to …

Engineering Mathematics8 Aug 2026 · 17 min read

Semiperfect Rings with Simple Quotient and Commutative Semiperfect Rings

Semiperfect rings with simple radical quotient are matrix rings over local rings, with n and k unique; commutative semiperfect rings are finite products of local rings; and the …

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 Mathematics8 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 Mathematics8 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 …

Engineering Mathematics8 Aug 2026 · 20 min read

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…

Engineering Mathematics8 Aug 2026 · 20 min read

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 Mathematics8 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 Mathematics8 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 Mathematics8 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…

Engineering Mathematics8 Aug 2026 · 22 min read

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…

Engineering Mathematics8 Aug 2026 · 22 min read

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…

Engineering Mathematics8 Aug 2026 · 20 min read

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…

Engineering Mathematics8 Aug 2026 · 22 min read

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…

Engineering Mathematics8 Aug 2026 · 17 min read

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 …