MathCastle
Groups and FieldsChallengeCosets and Lagrange's Theorem

Cosets and Lagrange's Theorem · Challenge problem

Z60\mathbb Z_{60} is cyclic, so it has exactly one subgroup of each order dividing 6060. Let HH be its subgroup of order 1212 and KK its subgroup of order 2020. What is ∣H∩K∣|H\cap K|?