Checks if a subgroup of a group is a normal subgroup.
The group
The subgroup
const Z4 = Chalkboard.abal.group(Chalkboard.abal.Z(4), (a, b) => (a + b) % 4, 0, (a) => (4 - a) % 4);const H = Chalkboard.abal.set([0, 2]);const valid = Chalkboard.abal.isNormalSubgroup(Z4, H); // Returns true Copy
const Z4 = Chalkboard.abal.group(Chalkboard.abal.Z(4), (a, b) => (a + b) % 4, 0, (a) => (4 - a) % 4);const H = Chalkboard.abal.set([0, 2]);const valid = Chalkboard.abal.isNormalSubgroup(Z4, H); // Returns true
Checks if a subgroup of a group is a normal subgroup.