En la álgebra del extracto, el centro de un G del grupo es el Z ( G ) del sistema de todos los elementos en el G que el conmuta con todos los elementos del G . Es decir, .
Observar que el Z ( G ) es un subgrupo G, porque El Z ( G ) contiene el e, el elemento de identidad del G, porque eg. = g = GE del para todo el &isin de g del ; G por la definición del e, tan por la definición del Z ( G ), &isin del e ; Z ( G );
Por otra parte, el Z ( G ) es un subgrupo abeliano G, un subgrupo normal G, e incluso terminantemente un subgrupo característico G, pero no siempre completamente de característica.
El centro del G es todo el de G del si y solamente si el G de es un grupo abeliano. En el otro extremo, un grupo reputa el que centerless si el Z ( G ) es trivial, es decir consiste solamente en el elemento de identidad.
Considerar el f del mapa: &rarr de G del ; Aut ( G ) del G al grupo del automorfismo G definido por el f ( g ) = φ g del , donde φ el g del es el automorfismo del G definido por φ g ( h ) del = &minus del ghg del ; 1. Esto es un homomorfismo del grupo, y su núcleo es exacto el centro del G, y su imagen se llama el grupo interno del automorfismo G, mesón denotado ( G ). Por el primer teorema del isomorfismo conseguimos el el centro del _n del del n - por las matrices inversibles n sobre el campo es la colección de .
Ejemplos
El centro del es .
El centro del = \ {del es .
El centro del grupo multiplicativo de diferente a cero Quaternions es el grupo multiplicativo de números verdaderos diferentes a cero.
Usar la ecuación de la clase uno puede probar que el centro de cualquier P-grupo finito no trivial es no trivial.
.
| Random links: | El municipio de Uddevalla | Henry Pequeño-Fitzmaurice, 3ro marqués de Lansdowne | Lista del salto | Harmonices Mundi | Distancia de Chebyshev |