Engineering

The Grothendieck Spectral Sequence

The Grothendieck spectral sequence for a composite of functors, the acyclicity hypothesis, the five-term sequence and edge maps, and the standard specialisations.

The Group Ring and the Augmentation Ideal

The group ring, modules over it as representations, the augmentation map and its kernel, and the relation between the augmentation ideal and the abelianisation.

The Hermite Normal Form

Definition and uniqueness of the Hermite normal form, algorithms for computing it, entry explosion and its remedies, and its role as the representation of choice for modules and…

The Hom Functor and Left Exactness

The Hom functor in both variables, its covariant and contravariant forms, left exactness, and the precise sense in which it fails to be exact.

The Irredundant Basis Theorem

Irredundant bases, the failure of the exchange property outside vector spaces, and the theorem that the set of irredundant basis sizes of a finitely generated algebra has no gaps.

The Jacobi Sum Primality Test

The Adleman-Pomerance-Rumely test and its Cohen-Lenstra refinement: cyclotomic extensions, characters and Jacobi sums, the basic test, and the final trial division stage.

The Künneth Formula

The Kunneth theorem for complexes over a PID, the short exact sequence with the Tor correction term, splitting, and the hypotheses that are genuinely needed.

The Ladder of an Exact Couple and Rees Systems

The ladder diagram of an exact couple, Rees systems, and the systematic treatment of filtered chain complexes and their limits.

The LLL Lattice Reduction Algorithm

The LLL algorithm: reduction conditions, the swap-and-reduce loop, the potential function that proves polynomial termination, quality guarantees, and the deep-insertion and floa…

The Long Exact Homology Sequence

The long exact sequence associated to a short exact sequence of complexes, construction of the connecting homomorphism, naturality, and the standard applications.

The Long Exact Sequences of Derived Functors

Derivation of the long exact sequences of derived functors via the horseshoe lemma, their naturality, dimension shifting and the standard computational patterns.

The Lyndon–Hochschild–Serre Spectral Sequence

The LHS spectral sequence for a normal subgroup, its E2 page, the action of the quotient, the five-term sequence, and worked applications.

The Number Field Sieve

The number field sieve: polynomial selection, sieving over two sides, the algebraic factor base and character columns, the square root step in a number field, and the special nu…

The Quadratic Sieve and MPQS

The quadratic sieve, sieving by roots of a polynomial, the multiple polynomial variation, large prime variations, and the linear algebra stage.

Engineering Mathematics13 Aug 2026 · 7 min read

The RSA Cryptosystem

RSA key generation, encryption and signing, the correctness proof from Euler's theorem, why textbook RSA is insecure, padding schemes, known attacks including small exponent and…

Engineering Mathematics13 Aug 2026 · 11 min read

The Seventeen Open Problems: Status Then and Now

The source's seventeen open problems listed in full, grouped by section, with what can be said about their status and an explicit account of where certainty ends.

The Smith Normal Form and Its Applications

The Smith normal form, elementary divisors, the structure theorem for finitely generated abelian groups, and the application to class group structure determination.

The Stein–Serre Theorem for Abelian Groups

The Stein-Serre theorem characterising countable torsion-free abelian groups that are free, via vanishing of Ext, and related Whitehead-type problems.

The Subalgebra Lattice as an Algebraic Lattice

The subuniverse lattice as an algebraic lattice, the Birkhoff–Frink representation theorem, and why an exact characterisation closes the question for arbitrary algebras while le…

The Subresultant Algorithm, Resultants and Discriminants

The subresultant polynomial remainder sequence, the resultant as a determinant and as a product over roots, the discriminant, and their use in elimination and in number field ar…

The Tensor Product of Modules

The tensor product by universal property and construction, right exactness, flat modules, and the tensor-hom adjunction.

The Tor Functor

Tor defined by projective resolutions, symmetry in its two variables, vanishing criteria, and the standard computations over the integers.

The Two Long Exact Sequences of Ext

The long exact sequences of Ext in the first and second variables, their connecting homomorphisms, naturality, and the direction reversal caused by contravariance.

Three Finite Basis Theorems

The finite basis problem, Baker's theorem for congruence-distributive varieties, and the further finite basis results in the source, with the proof strategy via bounded subdirec…

Ultraproducts and Jonsson's Lemma

Ultraproducts in the algebraic setting, congruence-distributive varieties, Jónsson's lemma and its proof strategy, and the consequences for finitely generated varieties.

Ultraproducts and Los's Theorem

Ultraproducts as reduced products over an ultrafilter, Łoś's theorem and its proof, ultrapowers and the elementary embedding, and the applications to compactness and non-standar…

Universal Algebra: Computation and Sources

The sourcing policy for this collection: what is written here, what is deliberately not transcribed, the reasoning behind the split, and where to obtain current computational re…

Universal Algebra: Discipline Overview

Structural overview of universal algebra: what an algebra of arbitrary type is, why congruences rather than substructures carry the quotient theory, how Birkhoff's two theorems …

Universal Coefficients and the Dual Künneth Formula

The universal coefficient theorems for homology and cohomology, the Ext and Tor correction terms, naturality and splitting, and the dual Kunneth formula.

Yoneda Ext and n-Fold Extensions

The Yoneda description of Ext^n by n-fold extensions, the equivalence relation, splicing as composition, and the Yoneda product.

Assembly Modelling: Mates, Trees and Motion Studies

Assembly modelling in parametric CAD: standard, mechanical and advanced mates, bottom-up versus top-down approaches, the assembly tree, exploded views, interference and collisio…

CAD Analysis Tools: Mass Properties, FEA and Flow

The analysis capabilities built on a CAD model: neutral file data exchange, mass property calculation, motion analysis, flow simulation, the finite element method, and interpret…

CAD Data Exchange: Neutral Formats and Interoperability

How CAD models move between systems: native versus neutral formats, STEP IGES and the de facto standards, export and import translators, why translation loses data, healing impo…

CAD Modelling Management: Topology, Parametrics and Boolean Operations

The conceptual base of parametric CAD: the four model types, solid model topology and the Euler-Poincare relation, parametric modelling, sketch relations, patterns and Boolean o…

Curve Geometry for CAD: Analytic and Synthetic Curves

The mathematics of curves in CAD: analytic versus synthetic families, explicit and parametric representation, the tangent vector and why it matters for mass properties and NC pr…

Design Intent in Parametric CAD Modelling

What design intent means in parametric CAD, how it is captured through modelling plans, relations, equations and mates, and how to document it so that models survive change and …

Mechanical13 Aug 2026 · 9 min read

Engineering Drawings and Drafting Standards in CAD

How engineering drawings are generated from CAD models: ASME drafting and dimensioning rules, first and third angle projection, view types, sheets, title blocks, bills of materi…

Mechanical13 Aug 2026 · 11 min read

Engineering Tolerances: Conventional, Geometric and Stack-Up

Tolerancing from first principles: sources of variability, nominal basic and actual size, the four ways to express a tolerance, standard fits, tolerance accumulation, statistica…

Feature-Based Modelling, Libraries and Design Automation

The full feature set of a parametric modeller beyond extrude and revolve — sweep, loft, hole wizard, rib, draft, shell and dome — plus design libraries, configurations, design t…

Mechanical13 Aug 2026 · 9 min read

Injection Moulding and Mould Design from CAD Models

Injection moulding for designers: the machine, the four-stage cycle, mould classification, core and cavity, part design guidelines including wall thickness draft ribs and bosses…

Numerical Control Machining and CAM Programming

Numerical control machining from a design perspective: machine tool anatomy, motion axes and cutting parameters, turning, drilling, milling and EDM, design for manufacture rule …

Mechanical13 Aug 2026 · 9 min read

Rapid Prototyping and Additive Manufacturing from CAD

How rapid prototyping turns a CAD model into a physical part: the RP process chain, triangulation and STL resolution, build orientation, layer thickness, support structures, the…

Rendering, Visualisation and Animation of CAD Models

How CAD rendering works: scenes and light types, the reflection model, decals, textures, materials versus appearances, transparency, camera sleds and key-frame animation.

Sheet Metal and Weldment Design in CAD

Specialised modelling for sheet metal and welded structures: gauge and bend allowance, the K-factor, flange types, flat pattern generation, the four sheet metal creation methods…

Sketching Discipline: Entities, Relations, Planes and Patterns

The sketching layer of parametric CAD in detail: model and working coordinate systems, sketch planes, the three sketch states, sketch entities, relations, equations and link val…

Mechanical13 Aug 2026 · 11 min read

SOLIDWORKS as a Design System: Series Overview

An engineering-led overview of the SOLIDWORKS Design Approach series: treating CAD as a design system rather than a menu structure, and the eighteen-part pathway from first prin…

SOLIDWORKS Certification Pathways for Designers

How SOLIDWORKS certification works and how to prepare for it: exam structure, the associate and professional levels, discipline-specific certificates, a mapping of exam topics t…

Surface Modelling: Theory, Creation and Solid Conversion

Surface modelling for free-form parts: what a surface is, the available surface types and their inputs, parametric surface representation, curvature visualisation, and the three…