Defines a homomorphism between two algebraic structures.
The first algebraic structure which is the domain of the morphism
The second algebraic structure which is the codomain of the morphism
The function that takes an element from the first structure and maps it to the second structure
const Z4 = Chalkboard.abal.group(Chalkboard.abal.Z(4), (a, b) => (a + b) % 4, 0, (a) => (4 - a) % 4);const Z2 = Chalkboard.abal.group(Chalkboard.abal.Z(2), (a, b) => (a + b) % 2, 0, (a) => a);const parity = Chalkboard.abal.homomorphism(Z4, Z2, (x) => x % 2); // Defines the quotient map Copy
const Z4 = Chalkboard.abal.group(Chalkboard.abal.Z(4), (a, b) => (a + b) % 4, 0, (a) => (4 - a) % 4);const Z2 = Chalkboard.abal.group(Chalkboard.abal.Z(2), (a, b) => (a + b) % 2, 0, (a) => a);const parity = Chalkboard.abal.homomorphism(Z4, Z2, (x) => x % 2); // Defines the quotient map
Defines a homomorphism between two algebraic structures.