Engineering

The Refutation of Euler's Conjecture

The 1959–60 disproof of Euler's conjecture by Bose, Shrikhande and Parker, and the algebraic construction that produced the counterexamples.

The Second and Third Isomorphism Theorems

The remaining isomorphism theorems in their general algebraic form, and the hypotheses each requires — including the one that fails without congruence permutability.

The Seventeen Open Problems: a Status Register

A status register for the open problems stated in the source's closing chapter, reporting what is known rather than asserting resolutions.

The Spectrum of an Algebra

The spectrum as the Boolean space indexing an algebra's canonical decomposition, and the spectrum of a variety.

The Stone Representation Theorem

Every Boolean algebra is isomorphic to a field of sets. The theorem, its proof from the prime ideal theorem, and what it does and does not deliver.

The Subalgebra Lattice Sub(A) is Algebraic

The theorem that the subuniverses of any algebra form an algebraic lattice, and the converse showing that every algebraic lattice arises this way.

The Syntactic Monoid and Kleene's Theorem

The monoid canonically associated with a language, Kleene's characterisation of the recognisable languages as the regular ones, and the algebraic classification programme this o…

The Tarski–Vaught Test and Löwenheim–Skolem

The practical criterion for recognising elementary substructures and the theorems that build them at prescribed cardinalities.

The Ternary Discriminator Function

The operation that tests equality and branches, and the reason it is the single most consequential term operation in the subject.

Theories, Models and Axiomatisability

Theories as sets of sentences, model classes, and the question of which classes of algebras are first-order axiomatisable.

Manufacturing13 Aug 2026 · 6 min read

Tolerance Specification and Manufacturing Cost

How tolerance choices affect machine capability, tooling, inspection, rejection and supplier pricing—and how to specify tolerances from function rather than habit.

Traceability & Solution Evaluation

A detailed KEVOS handbook on Traceability & Solution Evaluation, covering core concepts, application, evidence, common errors and review checks.

Ultrafilters and the Boolean Prime Ideal Theorem

Maximal proper filters, their characterisation by the decision property, and the existence theorem that underwrites Stone duality and the ultraproduct construction.

Ultraproducts in Universal Algebra

The ultraproduct construction from the algebraic side: reduced products modulo an ultrafilter, and the properties they inherit.

Value Delivery System

A detailed KEVOS handbook on Value Delivery System, covering core concepts, application, evidence, common errors and review checks.

Manufacturing13 Aug 2026 · 7 min read

Value Stream Mapping for Manufacturing Flow

A practical guide to current-state and future-state value stream mapping, including material flow, information flow, inventories, cycle time and value-added versus non-value-add…

Varieties and the Variety Generated by a Class

Varieties as classes closed under H, S and P, the variety generated by a class, and the lattice of subvarieties.

Manufacturing13 Aug 2026 · 6 min read

Voice of the Customer to Critical-to-Quality (CTQ)

How to translate customer language into measurable CTQ requirements, specification limits and verification methods for manufacturing and product development.

Weak Boolean Products and Patchwork Properties

The relaxation of the Boolean product conditions that makes representations available more widely, and what is lost by the relaxation.

Engineering Mathematics13 Aug 2026 · 9 min read

What Universal Algebra Is: Scope and Method

Universal algebra studies what all algebraic structures have in common by stripping away the particular operations of groups, rings and lattices and asking which theorems surviv…

Manufacturing13 Aug 2026 · 6 min read

Why Spring Design Creates Assembly Problems—and Cost

How spring geometry, clearance, end condition, solid height and handling can create assembly delay, rework and rejection.

Absolutely Irreducible Modules and Schur’s Lemma over a Field

Absolutely irreducible modules over a k-algebra: the base-change lemma for Hom, the four equivalent characterisations in Lam (7.5), the role of Schur's Lemma and Burnside's Lemm…

Additive Commutators in Division Rings

Additive commutators in a division ring: the centralizer of the set of all commutators is the centre, commutators generate D as a division algebra over its centre, and division …

Engineering Mathematics13 Aug 2026 · 20 min read

Amitsur’s Theorem on the Radical of a Polynomial Ring

Amitsur's Theorem on the Jacobson radical of a polynomial ring over an arbitrary ring: the radical is the coefficientwise extension of a nil ideal, proved by a roots-of-unity ar…

Amitsur’s Theorem on the Radical of an Algebra of Small Dimension

Amitsur's theorem: for an algebra of dimension smaller than the cardinality of the base field, the Jacobson radical is the largest nil ideal. Full proof by linear dependence of …

Archimedean Ordered Rings Are Commutative

Archimedean ordered rings: the equivalence of the archimedean property with the absence of infinitely large and infinitely small elements, and Hilbert's classification theorem s…

Basic Idempotents

Basic idempotents in a semiperfect ring: the definition as an irredundant sum of primitive idempotents, the proof that such an idempotent is full, uniqueness of the corner ring …

Basic Rings and Morita Reduction

Basic rings of semiperfect rings: the lattice and idempotent correspondences of Lam 25.8, the criterion that a semiperfect ring is basic precisely when its semisimple quotient i…

Bass’s Theorem P: Characterisations of Perfect Rings

Bass's Theorem P characterises right perfect rings by descending chain conditions on principal left ideals, by DCC on cyclic submodules of left modules, and by an idempotent plu…

Bass’s Theorem: Flat Modules Are Projective over Perfect Rings

Bass's theorem that flat right modules are projective exactly over right perfect rings, proved via projective covers and the flat module attached to a sequence of ring elements,…

Behaviour of Simple Modules under Field Extension

How simple modules of a finite-dimensional algebra behave under scalar extension: every simple module over the extended algebra is a composition factor of an extended simple mod…

Behaviour of the Radical under Ring Extensions

Lam's results (5.6) to (5.9) on how the Jacobson radical moves between a ring and an extension: direct summand and fixed-ring hypotheses for descent, finitely many centralising …

Block Decomposition of a Semiperfect Ring

The block decomposition of a semiperfect ring: existence and uniqueness of the centrally primitive idempotents, the linkage relation on primitive idempotents, and why blocks of …

Blocks of Finite-Dimensional Algebras and Group Algebras

Blocks of a finite-dimensional algebra over an algebraically closed field, described by central characters: the map from primitive idempotents to algebra homomorphisms from the …

Burnside’s Theorem on Irreducible Subalgebras of Matrix Rings

Burnside's theorem: a subalgebra of End(V) acting irreducibly on a finite-dimensional vector space over an algebraically closed field is the whole endomorphism algebra. Proof by…

Cancellation of Modules over Semilocal Rings

Lam (20.13): the four consequences of left stable range one for module theory — cancellation of finitely generated projectives, invariant basis number, freeness of stably free m…

Catalogue of Counterexamples

A catalogue of the standard counterexamples in noncommutative ring theory: one-sided chain conditions, non-nil radicals, nil but not nilpotent ideals, failures of Krull-Schmidt,…

Engineering Mathematics13 Aug 2026 · 20 min read

Central Idempotents and Ring Direct Decompositions

Central idempotents and direct product decompositions of a ring: the correspondence with ideal direct sums, centrally primitive idempotents, uniqueness of the decomposition, and…

Central Idempotents of a Group Algebra and Characters

Lam's Proposition 8.15: explicit formulas for the primitive central idempotents of a split semisimple group algebra in terms of irreducible characters, and for the class sums in…

Engineering Mathematics13 Aug 2026 · 21 min read

Centrally Finite and Centrally Infinite Division Rings

Centrally finite and centrally infinite division rings: why the centre of a division ring is a field, what finite dimension over the centre forces, the degree of a division alge…

Chain Conditions: A Reference

A reference on chain conditions in noncommutative ring theory: noetherian and artinian modules and rings, the Hopkins-Levitzki theorem, descending chain conditions on principal …

Chain Conditions: Noetherian and Artinian Rings and Modules

Ascending and descending chain conditions for modules and rings: equivalent formulations, the finitely generated criterion, behaviour in short exact sequences, composition serie…

Characters of Modules over Finite-Dimensional Algebras

Characters of modules over a finite-dimensional algebra: additivity on short exact sequences, the characteristic zero theorem recovering composition factors, separation of absol…

Completely Reducible Linear Groups

Completely reducible linear groups: the definition, the criterion that the spanned algebra be semisimple, inheritance by subnormal subgroups via Clifford's theorem, the finite i…

Conjugacy Classes and Polynomials Vanishing on Them

Polynomials vanishing on a conjugacy class of a division ring: the degree bound of Lam (16.5), the description of the vanishing ideal as D[t] times the minimal polynomial (16.6)…

Constructing Ordered Division Rings

How ordered division rings are built: the leading-coefficient ordering on a Mal'cev-Neumann Laurent series ring with well-ordered support, the hypothesis that the twist preserve…

Engineering Mathematics13 Aug 2026 · 21 min read

Corner Rings eRe and Their Radical

Corner rings eRe: the computation of their Jacobson radical as e times rad R times e, the injection of their left ideals and ideals into those of R, surjectivity for full idempo…