Lagrange's theorem for profinite groups

From Groupprops
Jump to: navigation, search

Statement

Suppose G is a profinite group and H is a closed subgroup of G. Then, we have:

|G| = |H|[G:H]

where:

Related facts