MathCastle
Groups and FieldsHardCosets and Lagrange's Theorem

Cosets and Lagrange's Theorem · Hard problem

A group GG has order 210210. It has subgroups HH of order 7070 and KK of order 4242. Since H∩KH\cap K is a subgroup of both, ∣H∩K∣|H\cap K| divides gcd⁡(70,42)=14\gcd(70,42)=14. Also, the set HK={hk:h∈H,k∈K}HK=\{hk : h\in H, k\in K\} has exactly ∣H∣∣K∣/∣H∩K∣|H||K|/|H\cap K| elements, which cannot exceed ∣G∣=210|G|=210. What must ∣H∩K∣|H\cap K| be?