Il teorema di Van Kampen

Riassunto

In questo capitolo useremo la seguente notazione: se G è un gruppo e S ⊂ G un sottoinsieme, denotiamo con (S) ⊂ G, o anche con <s | s ∈ S> ⊂ G, il sottogruppo normale generato da S, ossia l’intersezione di tutti i sottogruppi normali di G contenenti S. è facile dimostrare che <S> coincide con il sottogruppo generato da tutti gli elementi del tipo gsg^-1, al variare di s ∃ S e g ∃ G.