Checks if a morphism is injective.
The morphism
const Z4 = Chalkboard.abal.group(Chalkboard.abal.Z(4), (a, b) => (a + b) % 4, 0, (a) => (4 - a) % 4);const identity = Chalkboard.abal.idmorphism(Z4);const valid = Chalkboard.abal.isInjective(identity); // Returns true Copy
const Z4 = Chalkboard.abal.group(Chalkboard.abal.Z(4), (a, b) => (a + b) % 4, 0, (a) => (4 - a) % 4);const identity = Chalkboard.abal.idmorphism(Z4);const valid = Chalkboard.abal.isInjective(identity); // Returns true
Checks if a morphism is injective.