Goursat's lemma

From Wikipedia, the free encyclopedia

Goursat's lemma is an algebraic theorem.

Let $G$ , $G'$ be groups, and let $H$ be a subgroup of $G\times G'$ such that the two projections $p_1: H\rightarrow G$ and $p_2: H\rightarrow G'$ are surjective. Let $N$ be the kernel of $p 2$ and $N'$ the kernel of $p 1$ . One can identify $N$ as a normal subgroup of $G$ , and $N'$ as a normal subgroup of $G'$ . Then the image of $H$ in $G/N\times G'/N'$ is the graph of an isomorphism $G/N\approx G'/N'$ .

[edit] Proof of Goursat's Lemma

Before proceeding with the proof, $N$ and $N'$ are shown to be normal in $G \times \{e'\}$ and $\{e\} \times G'$ , respectively. It is in this sense that $N$ and $N'$ can be identified as normal in G and G', respectively. Since $p 2$ is a homomorphism, its kernel N is normal in H. Moreover, given $g \in G$ , there exists $h=(g,g') \in H$ , since $p 1$ is surjective. Therefore, $p 1 (N)$ is normal in G, viz: $g p 1 (N) = p 1 (h) p 1 (N) = p 1 (h N) = p 1 (N h) = p 1 (N) g$ . It follows that $N$ is normal in $G \times \{e'\}$ since $(g,e')N = (g,e')(p_1(N) \times \{e'\}) = gp_1(N) \times \{e'\} = p_1(N)g \times \{e'\} = (p_1(N) \times \{e'\})(g,e')=N(g,e')$ . The proof that $N'$ is normal in $\{e\} \times G'$ proceeds in a similar manner. Given the identification of $G$ with $G \times \{e'\}$ , we can write $G / N$ and $g N$ instead of $(G \times \{e'\})/N$ and $(g, e') N$ , $g \in G$ . Similarly, we can write $G' / N'$ and $g' N'$ , $g' \in G'$ .

On to the proof. Let $h=(g,g') \in H$ . Consider the map $H \rightarrow G/N \times G'/N'$ defined by $h \mapsto (gN, g'N')$ . The image of $H$ under this map is $\{(gN,g'N') | h \in H \}$ . This relation is the graph of a well-defined function $G/N \rightarrow G'/N'$ provided $gN=N \implies g'N'=N'$ , essentially an application of the vertical line test. Since $g N = N$ (more properly, $(g, e') N = N$ ), we have $(g,e') \in N \subset H$ . Thus $(e,g') = (g,g')(g^{-1},e') \in H$ , whence $(e,g') \in N'$ , that is, $g' N' = N'$ . Note that by symmetry, it is immediately clear that $g'N'=N' \implies gN=N$ , i.e., this function also passes the horizontal line test, and is therefore one-to-one. The fact that the map is a homomorphism and is surjective also follows trivially.