- #1
- 4,807
- 32
In the conditions where the second isomorphism theorem applies, one has H/HnK = HK/K so in particular, taking orders (in the finite case), one has the order formula
|HK| = |H|*|K|/|H n K|.
Does anyone know if this formula holds in general, or under lesser hypotheses? Thx.
|HK| = |H|*|K|/|H n K|.
Does anyone know if this formula holds in general, or under lesser hypotheses? Thx.