Centro di un gruppo
# Centro di un gruppo

In matematica, dato un gruppo $G$, il centro $C$ di $G$ è il sottoinsieme di $G$ costituito dagli elementi di $G$ che commutano con tutti gli elementi di $G$ (compresi quelli non appartenenti a $C$), in formule:

    $C:=\{c\in G\mid gc=cg{\text{ per ogni }}g\in G\}.$

Se $G$ è un gruppo abeliano, chiaramente, $C=G$.

$C$ è un sottogruppo abeliano e anche un sottogruppo normale di $G$: infatti, presi $c\in C$ e $g\in G$, $gc=cg$ implica $gcg^{-1}=cgg^{-1}=c1_{G}=c$. Questa proprietà permette sempre di costruire il gruppo quoziente $G/C$.

## Esempi

Consideriamo il gruppo $GL(n,\mathbb {R} )$ delle matrici quadrate invertibili di ordine $n$ ad elementi reali, munite dell'usuale prodotto righe per colonne. Il centro di questo gruppo è dato dai multipli dell'unità $\lambda I$, cioè dalle matrici diagonali con tutti elementi uguali sulla diagonale. Nel passare al quoziente, vengono identificate le matrici $A$ e $B$ tali che esista un $\lambda$ reale per cui valga $A=\lambda B$. I multipli dell'unità vengono quindi identificati con l'elemento unità, che resta il solo a commutare con tutto il resto del gruppo, questo non impedisce che due matrici arbitrarie possano comunque commutare tra di loro.

Altri esempi:

* Il centro del gruppo ortogonale $O(n)$ è dato da $\{I,-I\}$.
* Il centro del gruppo dei quaternioni $Q=\{1,-1,i,-i,j,-j,k,-k\}$ è dato da $\{1,-1\}$.
