The tensor product, G = AxB of groups A,B satisfies:

multiplication on G is defined pairwise: forall g1,g2 in G: g1*g2=(a1,b1)*(a2,b2)=(a1*a2,b1*b2)

identity of G = (ea,eb) for ea the identity of A and eb the identity of B.

A' subset of G: A'== A x eb ~= A... Similary with B. A', B' normal w.r.t. G.


Given a group G, G is a tensor product of 2 smaller groups if you can write: g=a'b'=b'a'


Converse is not true:

let H normal subset of G
G/H=G' !=> G~=HxG'

Example: C2xC2 ~=D2 but C4/C2~=C2

source index