Defines a quotient group or ring, modulo a normal subgroup or ideal.
The group or ring
The normal subgroup or ideal
const Z4 = Chalkboard.abal.group(Chalkboard.abal.Z(4), (a, b) => (a + b) % 4, 0, (a) => (4 - a) % 4);const H = Chalkboard.abal.group(Chalkboard.abal.set([0, 2]), (a, b) => (a + b) % 4, 0, (a) => a);const quotient = Chalkboard.abal.quotient(Z4, H); // Returns Z₄ / {0, 2} Copy
const Z4 = Chalkboard.abal.group(Chalkboard.abal.Z(4), (a, b) => (a + b) % 4, 0, (a) => (4 - a) % 4);const H = Chalkboard.abal.group(Chalkboard.abal.set([0, 2]), (a, b) => (a + b) % 4, 0, (a) => a);const quotient = Chalkboard.abal.quotient(Z4, H); // Returns Z₄ / {0, 2}
Defines a quotient group or ring, modulo a normal subgroup or ideal.