diff --git a/Secondo anno/Algebra 1/3. Azione di coniugio e p-gruppi/main.pdf b/Secondo anno/Algebra 1/3. Azione di coniugio e p-gruppi/main.pdf index 83369a3..57dcf80 100644 Binary files a/Secondo anno/Algebra 1/3. Azione di coniugio e p-gruppi/main.pdf and b/Secondo anno/Algebra 1/3. Azione di coniugio e p-gruppi/main.pdf differ diff --git a/Secondo anno/Algebra 1/3. Azione di coniugio e p-gruppi/main.tex b/Secondo anno/Algebra 1/3. Azione di coniugio e p-gruppi/main.tex index be612c2..cd46e95 100644 --- a/Secondo anno/Algebra 1/3. Azione di coniugio e p-gruppi/main.tex +++ b/Secondo anno/Algebra 1/3. Azione di coniugio e p-gruppi/main.tex @@ -54,7 +54,7 @@ Infatti, grazie alla formula delle classi di coniugio, si osserva facilmente che il centro di un $p$-gruppo non è mai banale (ossia composto dalla sola identità), come mostra la: \begin{proposition} - Sia $G$ un $p$-gruppo. Allora $\abs{Z(G)} > 1$. + Sia $G$ un $p$-gruppo. Allora $\abs{Z(G)} = pk$, con $k \in \NN^+$, $k \geq 1$. \end{proposition} \begin{proof} @@ -67,7 +67,7 @@ $p$, si deduce allora che: \[ \abs{Z(G)} \equiv 0 \pod p. \] Combinando questo risultato col fatto che $\abs{Z(G)} \geq 1$ (infatti $Z(G) \leq G$), - si conclude che deve valere necessariamente che $\abs{Z(G)} > 1$. + si conclude che deve valere necessariamente la tesi. \end{proof} \medskip