Defines an isomorphism 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 bijective 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 inverse = Chalkboard.abal.isomorphism(Z4, Z4, (x) => (3 * x) % 4); // Defines an isomorphism of Z₄ Copy
const Z4 = Chalkboard.abal.group(Chalkboard.abal.Z(4), (a, b) => (a + b) % 4, 0, (a) => (4 - a) % 4);const inverse = Chalkboard.abal.isomorphism(Z4, Z4, (x) => (3 * x) % 4); // Defines an isomorphism of Z₄
Defines an isomorphism between two algebraic structures.