# Generators

**Theorem:** The intersection of subgroups \(H_1, H_2, ....\) is a subgroup
of each of \(H_1, H_2, ...\)

We say the elements \(g_1,...,g_m\) are *independent* if
none of them can be expressed in terms of the others, that is,
\(g_i \notin \langle g_1,...,g_{i-1},g_{i+1},...,g_m \rangle\). Clearly
every finite group has at least one set of independent generators.
Independent elements can have relations between them, e.g. if \(a,b\) are
independent then we may have \((a b)^2 = 1\) for example. Such a relation is
called a *defining relation*.

Given any two groups \(G, H\) we may form their *direct product*
\(G\times H\), whose elements are pairs \((g,h)\) with \(g\in G, h\in H\), and
the group operation applies coordinatewise. The direct product of abelian
groups is abelian.

Suppose every element of a group \(F\) has the form \(g h\) where \(g\in G, h\in H\) for some subgroups \(G, H\) of \(F\), and furthermore, suppose every element of \(G\) commutes with every element of \(H\) and \(G \cap H = \{1\}\). Then \(F \cong G\times H\).

It is clear how to generalize this to define the direct product to \(k\) groups.

**Example:** \(\mathbb{Z}_{15}^* \cong \mathbb{Z}_4 \times \mathbb{Z}_2\).

*blynn@cs.stanford.edu*💡