Define a map between sets of left cosets byIt is well defined: replacing by for changes neither component. It is injective becauseThe Cartesian product on the right has at most elements. ThereforeThis proves the basic bound for a finite intersection of finite-index subgroups.
Articles by others on the same topic
There are currently no matching articles.