Checks if a group and a subgroup satisfy Lagrange's Theorem, i.e. the order of a subgroup divides the order of its group.
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.Lagrange(Z4, H); // Returns true because 2 divides 4 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.Lagrange(Z4, H); // Returns true because 2 divides 4
Checks if a group and a subgroup satisfy Lagrange's Theorem, i.e. the order of a subgroup divides the order of its group.