Direct Sums, Free Modules and Matrix Representations
Handbook guide to direct sums, free modules and matrix representations with core definitions, structural results, reasoning methods and verification checks.
Every page in the KEVOS library tagged modules. 20 pages.
Handbook guide to direct sums, free modules and matrix representations with core definitions, structural results, reasoning methods and verification checks.
Handbook guide to exact functors and projective modules with core definitions, structural results, reasoning methods and verification checks.
Handbook guide to flat modules, direct limits and inverse limits with core definitions, structural results, reasoning methods and verification checks.
Handbook guide to free, projective and injective modules, covering definitions, key results, methods, verification checks and worked examples.
Injective Modules, Injective Embeddings and Divisible Groups: core definitions, structural results and verification methods in abstract algebra.
A representation of an algebra is a module over that algebra. Simple modules, invariant subspaces, composition series and endomorphism rings provide the language for decomposing…
Handbook guide to modules over principal ideal domains, covering definitions, key results, methods, verification checks and worked examples.
Handbook guide to modules, algebras and module homomorphisms with core definitions, structural results, reasoning methods and verification checks.
Modules generalise vector spaces by allowing scalars from a ring rather than a field. This introduces free modules, generators, submodules, quotient modules and module homomorph…
Handbook guide to modules, submodules and exact sequences, covering definitions, key results, methods, verification checks and worked examples.
Handbook guide to semisimple modules and key structure theorems with core definitions, structural results, reasoning methods and verification checks.
Handbook guide to tensor products of modules with core definitions, structural results, reasoning methods and verification checks.
Cofree modules via Hom from the ring, the adjunction producing enough injectives, essential extensions, and the existence and uniqueness of injective hulls.
Direct sums and direct products of modules, their universal properties, the splitting lemma and equivalent characterisations of split short exact sequences.
Free modules and bases, projective modules and the lifting property, the equivalence with direct summands of free modules, and projective resolutions.
Injective modules, the extension property, Baer's criterion, divisible groups, and the existence of enough injectives.
Injective modules over a PID characterised by divisibility, the classification of injective abelian groups, and the resulting short injective resolutions.
Modules over a ring, submodules and quotients, module homomorphisms, exact sequences, the short five lemma and the snake lemma.
Structure of projective and finitely generated modules over a PID, the structure theorem, torsion and free parts, and the resulting short projective resolutions.
The Hom functor in both variables, its covariant and contravariant forms, left exactness, and the precise sense in which it fails to be exact.