Engineering Mathematics

Engineering Mathematics9 Aug 2026 · 22 min read

Solutions as Module Homomorphisms | KEVOS® Mathematics

The solutions of a linear system in a chosen space are exactly the module homomorphisms from the system module into that space, a bijection that is linear and functorial.

Subdirect Products and Subdirect Embeddings

Subalgebras of a direct product that project onto every factor. The construction is weaker than a direct product but available everywhere, and it is the decomposition the subjec…

Equational Logic and the Rules of Deduction

A formal proof system for identities, its five rules, and the completeness theorem matching syntactic derivability with semantic consequence.

Complete Lattices and Completeness Criteria

Lattices in which every subset — not merely every pair — has a supremum and an infimum, and the surprisingly economical criterion that establishes completeness from one half of …

Boolean Spaces and Stone Spaces

The topological spaces that arise as duals of Boolean algebras: compact, Hausdorff, totally disconnected, with a basis of clopen sets.

Engineering Mathematics12 Aug 2026 · 2 min read

Master Revision Wall

Explore this KEVOS knowledge article.

Engineering Mathematics9 Aug 2026 · 22 min read

The Weyl Algebra by Generators and Relations | KEVOS® Mathematics

The Weyl algebra is the free algebra on 2n generators modulo the canonical commutation relations, a presentation that gives it a universal property.

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.

Engineering Mathematics9 Aug 2026 · 25 min read

Rings of Differential Operators: The Inductive Definition | KEVOS® Mathematics

The intrinsic definition of the ring of differential operators of a commutative algebra, by induction on order through iterated commutators.

Subuniverses and the Generation Operator Sg

The operator Sg that produces the smallest subuniverse containing a given set, its two equivalent descriptions, and the finitary character that makes it an algebraic closure ope…

The First Two Finite Basis Theorems

Two results giving conditions under which a variety has a finite equational basis, and the general shape of finite basis arguments.

Jónsson's Lemma for Congruence-Distributive Varieties

The theorem bounding the subdirectly irreducible algebras of a congruence-distributive variety, and the structural consequences that follow from it.

Engineering Mathematics9 Aug 2026 · 21 min read

Bernstein's Inequality | KEVOS® Mathematics

Bernstein's inequality bounds the dimension of every non-zero finitely generated module over the n-th Weyl algebra between n and 2n.

Lattice Homomorphisms and Order Preservation

Maps between lattices that respect the operations, and the sharp distinction between lattice homomorphisms and merely order-preserving maps — a distinction that has no analogue …

Engineering Mathematics9 Aug 2026 · 24 min read

Direct Limits of Modules | KEVOS® Mathematics

The direct limit of a directed family of modules: its construction as a quotient of a disjoint union, its universal property, and why the limit is an exact operation.

Mal'cev Conditions and Congruence Permutability

Conditions on a variety expressed by the existence of terms satisfying prescribed identities, and Mal'cev's theorem characterising congruence permutability by a single ternary t…

Engineering Mathematics9 Aug 2026 · 19 min read

The Noetherian Property in Short Exact Sequences | KEVOS® Mathematics

A module is Noetherian exactly when a submodule and the corresponding quotient both are, which makes the class closed under extensions and finite sums.

Models — Leadership & Communication

Situational Leadership II, OSCAR, and the cross-cultural / channels / gulf communication models.

Flashcards & Self-Quiz

Explore this KEVOS knowledge article.

Engineering Mathematics9 Aug 2026 · 22 min read

The Weyl Algebra Is Noetherian | KEVOS® Mathematics

Every left ideal of the Weyl algebra is finitely generated. The proof lifts Hilbert's basis theorem across the Bernstein filtration from the graded ring.

Sizes of Subdirectly Irreducible Algebras

Bounding how large the subdirectly irreducible members of a variety can be, and the compactness arguments that produce the bounds.

Models, Methods & Artifacts — Revision Sheet

60-second, 5-minute and 30-minute revision tiers covering all of PMBOK 7 Section 4.

Clopen Sets and the Duality Dictionary

Working with the duality in practice: how to translate a specific problem into its dual form, and the properties that correspond on each side.

Skew-Free Algebras and Independence

Algebras whose congruences on a product decompose into products of congruences on the factors, and the independence conditions that force this.

Models, Methods & Artifacts — Quick Reference

High-yield tables: model-to-use, estimating-method-to-when, contract-type-to-risk, plus exam tips.

The Definition of an Algebra and its Type

The central definition of the subject: an algebra is a set with a family of finitary operations indexed by a type. Everything that follows is an elaboration of this one idea.

Engineering Mathematics9 Aug 2026 · 23 min read

Twisting a Weyl Module by an Automorphism | KEVOS® Mathematics

Twisting a module by a ring automorphism keeps the underlying group and changes only the action, preserving simplicity and torsion while often changing the isomorphism class.

Semisimple and Directly Representable Varieties

Varieties whose subdirectly irreducible members are all simple, and those whose finite members are all direct products from a fixed finite list.

Engineering Mathematics7 Aug 2026 · 2 min read

Boolean Rings and Idempotent Rings

Rings in which every element is idempotent, their forced properties, and their status as an equationally defined class.

Arithmetical Varieties and Pixley Terms

Varieties that are both congruence-permutable and congruence-distributive, and the single term that characterises the combination.

Engineering Mathematics9 Aug 2026 · 18 min read

Multi-index Notation for Differential Operators | KEVOS® Mathematics

Multi-index notation compresses monomials and iterated partial derivatives into a single exponent vector, and it is the working language of the Weyl algebra.

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.

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

Engineering Mathematics8 Aug 2026 · 16 min read

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…

Engineering Mathematics8 Aug 2026 · 19 min read

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…

Engineering Mathematics8 Aug 2026 · 17 min read

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

Engineering Mathematics8 Aug 2026 · 16 min read

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 …

Engineering Mathematics8 Aug 2026 · 17 min read

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 …

Engineering Mathematics8 Aug 2026 · 19 min read

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 …

Engineering Mathematics8 Aug 2026 · 17 min read

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…

Engineering Mathematics8 Aug 2026 · 16 min read

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