Hans Julius Zassenhaus

Patrono:Infobox/articulo/persona Hans Julius Zassenhaus (28 de maio 1912 in Koblenz - 21 de novembre 1991 in Columbus, Ohio) esseva un mathematico german. Illo es famose a causa de su obra pro le mathematic branca algebra e como un pioneor de mathematica symbolic. Il ha duo lemmas portante su nomine.

Lemma de Zassenhaus o Lemma de papilion

Sia $A^{\ast },A,B^{\ast },B$ subgruppos de un gruppo $G$ con $A^{\ast }◃A$ e $B^{\ast }◃B$. Tunc vale

1. $A^{\ast }\cdot (A\cap B^{\ast })◃A^{\ast }\cdot (A\cap B)$,
2. $B^{\ast }\cdot (A^{\ast }\cap B)◃B^{\ast }\cdot (A\cap B)$,
3. $(A^{\ast }\cdot (A\cap B))/(A^{\ast }\cdot (A\cap B^{\ast }))\cong (B^{\ast }\cdot (A\cap B))/(B^{\ast }\cdot (A^{\ast }\cap B))$.

Lemma de Zassenhaus

Illo es le specialisation del Lemma de Margulis pro le gruppo linear general de matrices.