0

Let's consider a group $G$ and a subgroup $H$.

We note the quotient group $G/H$

My question is: why this notation and the notion of "quotient" ?

Is the motivation only because from Lagrange theorem for finite groups, where we have $|G/H|=|G|/|H|$ or there are deeper reasons ?

Maybe I am lacking some intuition to see further motivations.

Note: I am by far not an expert of group theory, I only know the basics so I expect an answer following the same logic =)

StarBucK
  • 689

1 Answers1

4

The notation working out nicely for Lagrange's theorem is one reason. There's a couple others:

$\mathbb{Z}/n\mathbb{Z}$ is our prototypical case for quotient groups, and here it really is very closely related to division; the equivalence class of $x$ mod $n$ is the (equivalence class of the) remainder of $x$ divided by $n$.

The notation also works out very nicely for the third isomorphism theorem (which, if you haven't learned it yet, you will shortly). Namely, if $G$ is a group, and $K < H < G$, with everything normal in everything else, then

$$\frac{G}{H} \simeq \frac{G/K}{H/K}$$

That is, we can "cancel" subgroups in a quotient group just like we can cancel factors in an actual fraction.

Duncan Ramage
  • 6,928
  • 1
  • 20
  • 38