- #1
sairalouise
- 10
- 0
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.
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.