Commutators, Homomorphisms, Kernels and Structure Maps
Handbook guide to measuring non-commutativity, structure-preserving maps, kernels, images and quotient-factorisation.
Every page in the KEVOS library tagged kernel. 11 pages.
Handbook guide to measuring non-commutativity, structure-preserving maps, kernels, images and quotient-factorisation.
Handbook guide to group isomorphism theorems and correspondence with core definitions, structural results, reasoning methods and verification checks.
Handbook guide to ring homomorphisms, ideals and kernel methods, covering definitions, key results, methods, verification checks and worked examples.
Step-by-step structural proof that finite radical constructions have soluble monodromy, using direct products, quotients and commutative kernels.
Elimination over a finite field, structured methods for very large sparse systems, and why the linear algebra stage limits sieving methods.
Computing kernel and image bases for rectangular matrices over a field, and why the integer analogue is a different problem.
Extending LLL to generating sets that are not independent, and using the resulting zero vectors to extract relations.
Computing the p-radical of an order as a kernel, and the ring of multipliers that enlarges the order.
Extracting fundamental units and the regulator from the kernel of the relation matrix, and confirming the unit system is fundamental.
Berlekamp's linear algebra approach to factoring over a finite field, the Berlekamp subalgebra, and when it outperforms the GCD pipeline.
Additive and abelian categories, the axioms, exactness in a general abelian category, the Freyd-Mitchell embedding theorem, and the standard examples.