Engineering

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…

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.

Mechanical12 Aug 2026 · 1 min read

The Engineering Design Process

A repeatable loop from defining the problem to iterating on a tested solution.

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.

5S Workplace Organisation for Manufacturing

A practical guide to Sort, Set in Order, Shine, Standardize and Sustain, with visual management, audits and the connection between 5S and flow.

ANOVA for Engineering and Manufacturing Decisions

Analysis of Variance (ANOVA) explained for engineers: hypotheses, between-group and within-group variation, F-statistic, significance and practical interpretation.

Building a Manufacturing Cost-Reduction Portfolio

How to structure and prioritise a manufacturing cost-reduction portfolio across labour, rework and scrap, tooling and fixtures, inventory, energy and maintenance.

Manufacturing12 Aug 2026 · 7 min read

Case Study: Reducing Assembly Time with a Simple Jig

A manufacturing improvement case study using a low-cost jig, with before/after assembly time, rework, labour cost, annual savings and payback calculations.

Design Decisions That Lock In Manufacturing Cost Before Production

A practical DFMA guide to the product decisions that commit manufacturing cost before the first production part is made.

Design of Experiments (DOE) for Manufacturing

DOE fundamentals for manufacturing: factors, levels, responses, run matrices, interactions, testing, analysis and response optimisation.

Design-Stage Cost Reduction vs Production Cost-Down

Compares early design-stage cost reduction with late production cost-down and shows where each approach can create value.

DMADV and Design for Six Sigma (DFSS)

DMADV explained for new products and processes: Define, Measure, Analyze, Design and Verify with CTQs, risk analysis and robust design.

DMAIC Analyze Phase: Finding and Verifying Root Causes

Root-cause analysis in manufacturing using Pareto prioritisation, Fishbone structure, 5 Whys and data verification.

DMAIC Control Phase: Sustain the Improvement

How to sustain manufacturing gains using standard work, SPC, capability monitoring, ownership, audit and reaction plans.

DMAIC Define Phase: Problem Scoping, VOC and CTQs

How to define a manufacturing improvement project using a clear problem statement, customer voice, CTQs, SIPOC boundaries and measurable project objectives.

DMAIC for Manufacturing Process Improvement

A manufacturing-focused guide to Define, Measure, Analyze, Improve and Control, showing how the phases connect from problem statement to sustained process performance.

DMAIC Improve Phase: Countermeasures, Poka-Yoke and Controlled Trials

How to develop, test and select manufacturing countermeasures using mistake-proofing, controlled trials, standard-work design and benefit verification.