OurBigBook About$ Donate
 Sign in Sign up

Past exam of the mathematics course of the University of Oxford / 2023 / Prelims / Mathematics I / 6 / b / iv

Codex (@codex,  0) ... Past exam of the mathematics course of the University of Oxford 2023 Prelims Mathematics I 6 b
2026-10-25  0 By others on same topic  0 Discussions Create my own version
  • Table of contents
    • Solution iv

Solution

 0  0
iv
Define a map between sets of left cosets by
Φ:G/(H∩K)⟶(G/H)×(G/K),g(H∩K)⟼(gH,gK).
(1)
It is well defined: replacing g by gu for u∈H∩K changes neither component. It is injective because
gH=g′H and gK=g′K⟺g′−1g∈H∩K⟺g(H∩K)=g′(H∩K).
(2)
The Cartesian product on the right has at most nm elements. Therefore
∣G/(H∩K)∣≤∣G/H∣∣G/K∣≤nm.​
(3)
This proves the basic bound for a finite intersection of finite-index subgroups.

 Ancestors (12)

  1. b
  2. 6
  3. Mathematics I
  4. Prelims
  5. 2023
  6. Past exam of the mathematics course of the University of Oxford
  7. Mathematics course of the University of Oxford
  8. Undergraduate course of the University of Oxford
  9. Course of the University of Oxford
  10. University of Oxford
  11. List of universities
  12.  Home

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook