# Order of groups in relation to the First Isomorphism Theorem.

1. Nov 14, 2008

### sairalouise

Given H,K and general finite subgroups of G,

ord(HK) = [(ord(H))(ord(K))] / ord(H intersection K)

I know by the first isomorphism theorem that Isomorphic groups have the same order, but the left hand side of the equation is not a group is it?

I am struggling to show this.

2. Nov 14, 2008

### morphism

Yes, HK is not necessarily a group, but this is irrelevant. The identity you posted follows from an easy counting argument. The only theorem you need is Lagrange's. Here's a hint: $HK = \cup_{h \in H} hK$. So ord(HK) = ord(K) * number of distinct cosets of K of the form hK.

3. Nov 21, 2008