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, Z del

l (G) = \ {z \ en G \ | \ gz = zg \; \ mbox {para todos} \, g \ en G \} .

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 );

  • Si el x y el y están en el Z ( G ), entonces ( xy) el g = el x (yg del ) = el x ( GY ) = (el xg del ) el y = (el gx del ) el y = el g ( xy) para cada &isin de g del ; El G, y el xy está tan en el Z ( G ) también (es decir, el Z ( G ) exhibe el encierro);
  • Si el x está en el Z ( G ), entonces el gx del = xg, y el multiplicarse del dos veces, una vez a la izquierda y una vez a la derecha, por &minus del x ; 1, da &minus del x ; 1 g = &minus del gx del ; 1 - tan &minus del x ; &isin 1; 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
    G/Z del
    (G) \ cong \ rm {mesón} (G).

    Ejemplos


    el centro del _n del \ del mbox del grupo {GL} (F) del n - por las matrices inversibles n sobre el campo F es la colección de de las matrices escalares \ {sI_n | s \ en F \ setminus \ {0 \} \} .
    El centro del O ortogonal del grupo (n, F) es \ {I_n, - I_n \} .
    El centro del = \ {del Q del grupo de Quaternion 1, -1, i, - i, j, - j, k, - k \} es \ {1, -1 \} .
    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.

  • Ver también

    Centro (álgebra)
    Centralizador y normalizador
    Clase de Conjugacy.

    .

  • Zenithic
  • Robert Madgwick
    Random links:El municipio de Uddevalla | Henry Pequeño-Fitzmaurice, 3ro marqués de Lansdowne | Lista del salto | Harmonices Mundi | Distancia de Chebyshev

  • © 2007-2008 enciclopediaespana.com; article text available under the terms of GFDL, from en.wikipedia.org
    ="http://pagead2.googlesyndication.com/pagead/show_ads.js">