jueves, 21 de febrero de 2019

LISTA DE TEMAS MATEMÁTICOS - ÁLGEBRA ABSTRACTA

 grupo dicíclico (notación Dic n o 4n [1] ) es un miembro de una clase de grupos no abelianos de orden 4 n ( n  > 1). Es una extensión del grupo cíclico de orden 2 por un grupo cíclico de orden 2 n , que da el nombre di-cíclico . En la notación de secuencias exactas de grupos, esta extensión se puede expresar como:
Más generalmente, dado cualquier grupo abeliano finito con un elemento orden-2, se puede definir un grupo dicíclico.

Definición editar ]

Para cada entero n > 1, el grupo dicíclico Dic n puede definirse como el subgrupo de los cuaterniones unitarios generados por
De manera más abstracta, se puede definir el grupo dicíclico Dic n como el grupo con la siguiente presentación [2]
Algunas cosas a tener en cuenta que siguen de esta definición:
  • 4 = 1
  • k = k + n = k x 2
  • si j = ± 1, entonces j a k = k x j .
  • k x −1 = k - n a n x −1 = k - n x −1 = k - n x .
Por lo tanto, cada elemento de Dic n puede escribirse de manera única como una k x j , donde 0 ≤ k <2 font="" nbsp="">n y j = 0 o 1. La multiplicación reglas están dadas por
De ello se deduce que Dic n tiene orden 4 n . [2]
Cuando n = 2, el grupo dicíclico es isomorfo al grupo cuaternión Q . Más generalmente, cuando n es una potencia de 2, el grupo dicíclico es isomorfo al grupo cuaternión generalizado . [2]

Propiedades editar ]

Para cada n > 1, el grupo dicíclico Dic n es un grupo no abeliano de orden 4 n . ("Dic 1 " es 4 , el grupo cíclico de orden 4, que es abeliano, y no se considera dicíclico).
Deje que A = ⟨ un ⟩ el subgrupo de Dic n generada por una . Entonces A es un grupo cíclico de orden 2 n , por lo que [Dic n : A ] = 2. Como subgrupo del índice 2, automáticamente es un subgrupo normal . El grupo cociente Dic n / A es un grupo cíclico de orden 2.
Dic n es solucionable ; tenga en cuenta que A es normal, y ser abeliano, en sí mismo es solucionable.

Grupo diedro binaria editar ]

Dicyclic-commutative-diagram.svg
El grupo dicíclico es un grupo poliédrico binario - es una de las clases de subgrupos del grupo Pin Pin - (2), que es un subgrupo del grupo Spin Spin (3) - y en este contexto se conoce como el diedro binario grupo .
La conexión con el grupo cíclico binario n , el grupo cíclico n y el grupo diédrico Dih n de orden 2 n se ilustra en el diagrama a la derecha y es paralelo al diagrama correspondiente para el grupo Pin.
Existe una semejanza superficial entre los grupos dicíclicos y los grupos diédricos ; ambos son una especie de "duplicación" de un grupo cíclico subyacente. Pero la presentación de un grupo diedro tendría 2 = 1, en lugar de 2 = n ; Y esto produce una estructura diferente. En particular, Dic n no es un producto semidirectode A y ⟨ x ⟩, ya que A  ∩ ⟨ x ⟩ no es trivial.
El grupo dicíclico tiene una involución única (es decir, un elemento de orden 2), es decir, 2 = n . Tenga en cuenta que este elemento se encuentra en el centro de Dic n . De hecho, el centro consiste únicamente en el elemento de identidad y 2 . Si sumamos la relación 2 = 1 a la presentación de Dic n, se obtiene una presentación del grupo diédrico Dih n , por lo que el grupo cociente Dic n / < 2 > es isomorfo de Dih n .
Existe un homomorfismo natural de 2 a 1 del grupo de cuaterniones unitarios al grupo de rotación tridimensional descrito en los cuaterniones y las rotaciones espaciales . Dado que el grupo dicíclico se puede incrustar dentro de los cuaterniones unitarios, se puede preguntar cuál es la imagen de este bajo homomorfismo. La respuesta es solo el grupo de simetría diédrica Dih n . Por esta razón, el grupo dicíclico también se conoce como el grupo diedro binario . Tenga en cuenta que el grupo dicíclico no contiene ningún subgrupo isomorfo a Dih n .
La construcción análoga de pre-imagen, utilizando Pin + (2) en lugar de Pin - (2), produce otro grupo diedro, Dih 2n , en lugar de un grupo dicíclico.

Generalizaciones editar ]

Sea A un grupo abeliano , que tiene un elemento específico y en A con el orden 2. Un grupo G se llama un grupo dicíclico generalizado , escrito como Dic ( A , y ) , si es generado por A y un elemento adicional x , y además, tenemos que [ G : A ] = 2, 2 = y , y para todas a en A , −1 ax = −1 .
Ya que para un grupo cíclico de orden par, siempre hay un elemento único de orden 2, podemos ver que los grupos dicíclicos son solo un tipo específico de grupo dicíclico generalizado.








grupo de automorfismos de un objeto X es el grupo que consiste en automorfismos de X . Por ejemplo, si X es un espacio vectorial de dimensión finita, entonces el grupo de automorfismo de X es el grupo lineal general de X , el grupo de transformaciones lineales invertibles de X a sí mismo.
Especialmente en contextos geométricos, un grupo de automorfismo también se llama un grupo de simetría . Un subgrupo de un grupo de automorfismo se denomina grupo de transformación (especialmente en la literatura antigua).

Ejemplos editar ]

  • El grupo de automorfismos de un conjunto X es precisamente el grupo simétrico de X .
  • Un homomorfismo de grupo al grupo de automorfismo de un conjunto X equivale a una acción de grupo en X: de hecho, cada acción G izquierda en un conjunto X determinaY, a la inversa, cada homomorfismo.  define una acción por .
  • Dejar  Serán dos conjuntos finitos de la misma cardinalidad y  el conjunto de todas las bijections Entonces, que es un grupo simétrico (ver arriba), actúa sobre desde la izquierda libre y transitiva; es decir,es un torsor para(cf. #En la teoría de la categoría ).
  • El grupo automorohismo. de un grupo cíclico finito de orden n es isomorfo a con el isomorfismo dado por [1] En particular,Es un grupo abeliano .
  • Dada una extensión de campo , el grupo de automorfismos es el grupo que consiste en automorfismos de campo de L que corrige K : es mejor conocido como el grupo de Galois.
  • El grupo automorphism de la proyectiva n -espacio sobre un campo k es el grupo lineal proyectiva [2]
  • El grupo de automorfismo de un álgebra de Lie real de dimensión finita. tiene la estructura de un grupo de mentiras (real) (de hecho, incluso es un grupo algebraico lineal : ver más abajo). Si G es un grupo de Lie con álgebra de Lie, entonces el grupo de automorfismo de G tiene una estructura de un grupo de Lie inducida a partir del grupo de automorfismo de G[3] [4]
  • Deje que P sea un finitamente generado módulo proyectivo sobre un anillo R . Luego hay una incrustación., único hasta automorfismos internos. [5]

En la teoría de la categoría editar ]

Los grupos de automorfismo parecen muy naturales en la teoría de categorías.
Si X es un objeto en una categoría, entonces el grupo de automorfismo de X es el grupo que consiste en todos los morfismos invertibles de X a sí mismo. Es el grupo de unidades de la monoid endomorphism de X . (Para algún ejemplo, vea PROP .)
Si  son objetos en alguna categoría, entonces el conjunto  de todo  es una izquierda -torredor En términos prácticos, esto dice que una elección diferente de un punto base dedifiere inequívocamente por un elemento de , o que cada elección de un punto base es precisamente una elección de una trivialización del torsor.
Si  son objetos en categorias  y si  es un funtor que mapea  a , entonces el funtor  Induce un homomorfismo grupal. , como mapea morfismos invertibles a morfismos invertibles.
En particular, si G es un grupo visto como una categoría con un solo objeto * o, más generalmente, si G es un groupoid, entonces cada functorC una categoría, se llama una acción o una representación de G en el objeto, o los objetos Esos objetos entonces se dicen que son-objetos (ya que son actuados por ); cf.-objeto . Si es una categoría de módulo como la categoría de espacios vectoriales de dimensión finita, luego -los objetos tambien son llamados -módulos.

Grupo de automorfismo functor editar ]

Dejar ser un espacio vectorial de dimensión finita sobre un campo k equipado con alguna estructura algebraica (es decir, M es un álgebra de dimensión finita sobre k ). Puede ser, por ejemplo, un álgebra asociativao un álgebra de Lie .
Ahora, considere k -mapas lineales que conservan la estructura algebraica: forman un subespacio vectorial.  de El grupo de unidades de es el grupo de automorfismo Cuando se elige una base en M , Es el espacio de matrices cuadradas y es el conjunto cero de algunas ecuaciones polinomiales y la invertibilidad se describe nuevamente por los polinomios. Por lo tanto,Es un grupo algebraico lineal sobre k .
Ahora las extensiones de base aplicadas a la discusión anterior determinan un functor: [6] a saber, para cada anillo conmutativo R sobre k , considere los mapas lineales en R Conservando la estructura algebraica: denotándola por Entonces el grupo de unidades del anillo de la matriz.sobre R es el grupo de automorfismo y es un funtor de grupo : un funtor de la categoría de anillos conmutativos sobre k a la categoría de grupos. Aún mejor, está representado por un esquema (ya que los grupos de automorfismo están definidos por polinomios): este esquema se denomina esquema de grupo de automorfismo y se denota por.
En general, sin embargo, un functor de grupo de automorfismo no puede ser representado por un esquema.







De Wikipedia, la enciclopedia libre
Saltar a navegaciónSaltar a búsqueda
Bandera de hong kong.svg
La flor de Bauhinia blakeana en labandera de la región de Hong Kongtiene simetría 5 ; La estrella en cada pétalo tiene simetría 5 .
Yin y Yang.svg
El símbolo Yin y Yangtiene simetría 2 de geometría con colores invertidos
En geometría , un grupo de puntos es un grupo de simetrías geométricas isometrías ) que mantienen al menos un punto fijo. Los grupos de puntos pueden existir en un espacio euclidiano con cualquier dimensión, y cada grupo de puntos en la dimensión d es un subgrupo del grupo ortogonal O ( d ). Los grupos de puntos se pueden realizar como conjuntos de matrices ortogonales M que transforman el punto x en el punto y :
y = Mx
donde el origen es el punto fijo. Los elementos del grupo de puntos pueden ser rotaciones ( determinante de M = 1) o bien reflexiones , o rotaciones impropias (determinante de M = −1).
Los grupos de puntos discretos en más de una dimensión vienen en familias infinitas, pero a partir del teorema de restricción cristalográfico y uno de los teoremas de Bieberbach , cada número de dimensiones tiene solo un número finito de grupos de puntos que son simétricos en alguna red o cuadrícula con ese número. Estos son los grupos de puntos cristalográficos .

Grupos de puntos quirales y aquirales, grupos de reflexión editar ]

Los grupos de puntos se pueden clasificar en grupos quirales (o puramente rotacionales) y grupos aquirales . [1]Los grupos quirales son subgrupos del grupo ortogonal especial SO ( d ): contienen solo transformaciones ortogonales que conservan la orientación, es decir, las del determinante +1. Los grupos aquirales contienen también transformaciones del determinante −1. En un grupo aquiral, las transformaciones que preservan la orientación forman un subgrupo (quiral) del índice 2.
Los grupos de Coxeter finitos o grupos de reflexión son aquellos grupos de puntos que se generan puramente por un conjunto de espejos de reflexión que pasan por el mismo punto. Un grupo de Coxeter de rango n tiene nespejos y está representado por un diagrama de Coxeter-Dynkin . La notación de Coxeter ofrece una notación entre corchetes equivalente al diagrama de Coxeter, con símbolos de marcado para la rotación y otros grupos de puntos de subsimetría. Los grupos de reflexión son necesariamente aquirales (excepto el grupo trivial que contiene solo el elemento de identidad).

Lista de grupos de puntos editar ]

Una dimensión editar ]

Solo hay dos grupos de puntos unidimensionales, el grupo de identidad y el grupo de reflexión.
GrupoCoxeterDiagrama de cooxeterOrdenDescripción
1[] +1Identidad
1[]CDel node.png2Grupo de reflexión

Dos dimensiones editar ]

Grupos de puntos en dos dimensiones , a veces llamados grupos de rosetas .
Vienen en dos familias infinitas:
  1. Grupos cíclicos n de n grupos de rotación
  2. Grupos diédricos n de n grupos de rotación y reflexión
La aplicación del teorema de restricción cristalográfica restringe n a los valores 1, 2, 3, 4 y 6 para ambas familias, produciendo 10 grupos.
GrupoIntlOrbifoldCoxeterOrdenDescripción
nnortenorte•n ] +norteCíclico: n- rotaciones de plegado. Grupo de resumen Z n , el grupo de enteros bajo módulo de adición n .
nn m*norte•[norte]nCatedral: cíclica con reflejos. Resumen del grupo Dih n , el grupo diedro .
Isomorfismo finito y correspondencias.
El subconjunto de grupos de puntos de reflexión puros, definidos por 1 o 2 espejos, también puede ser dado por su grupo de Coxeter y polígonos relacionados. Estos incluyen 5 grupos cristalográficos. La simetría de los grupos de reflexión se puede duplicar mediante un isomorfismo , mapeando ambos espejos entre sí mediante un espejo de bisección, duplicando el orden de simetría.
reflexivoRotacionalPolígonos relacionados
GrupoGrupo de cooxeterDiagrama de cooxeterOrdenSubgrupoCoxeterOrden
1Un 1[]CDel node.pngCDel nodo c1.png21[] +1Excavar
22[2]CDel node.pngCDel 2.pngCDel node.pngCDel nodo c1.pngCDel 2.pngCDel nodo c2.png42[2] +2Rectángulo
3Un 2[3]CDel node.pngCDel 3.pngCDel node.pngCDel nodo c1.pngCDel 3.pngCDel nodo c2.png63[3] +3Triángulo equilátero
4BC 2[4]CDel node.pngCDel 4.pngCDel node.pngCDel nodo c1.pngCDel 4.pngCDel nodo c2.png84[4] +4Cuadrado
52[5]CDel node.pngCDel 5.pngCDel node.pngCDel nodo c1.pngCDel 5.pngCDel nodo c2.png105[5] +5Pentágono regular
62[6]CDel node.pngCDel 6.pngCDel node.pngCDel nodo c1.pngCDel 6.pngCDel nodo c2.png126[6] +6Hexágono regular
nYo 2(n)[norte]CDel node.pngCDel n.pngCDel node.pngCDel nodo c1.pngCDel n.pngCDel nodo c2.png2nn[n] +nortePolígono regular
2 × 22 × 2[[2]] = [4]CDel node.pngCDel 2.pngCDel node.pngCDel nodo c1.pngCDel 2.pngCDel nodo c1.png = CDel nodo c1.pngCDel 4.pngCDel node.png8
3 × 22 × 2[[3]] = [6]CDel node.pngCDel 3.pngCDel node.pngCDel nodo c1.pngCDel 3.pngCDel nodo c1.png = CDel nodo c1.pngCDel 6.pngCDel node.png12
4 × 2BC 2 × 2[[4]] = [8]CDel node.pngCDel 4.pngCDel node.pngCDel nodo c1.pngCDel 4.pngCDel nodo c1.png = CDel nodo c1.pngCDel 8.pngCDel node.pngdieciséis
5 × 22 × 2[[5]] = [10]CDel node.pngCDel 5.pngCDel node.pngCDel nodo c1.pngCDel 5.pngCDel nodo c1.png = CDel nodo c1.pngCDel 10.pngCDel node.png20
6 × 22 × 2[[6]] = [12]CDel node.pngCDel 6.pngCDel node.pngCDel nodo c1.pngCDel 6.pngCDel nodo c1.png = CDel nodo c1.pngCDel 12.pngCDel node.png24
n × 22 (n) × 2[[n]] = [2n]CDel node.pngCDel n.pngCDel node.pngCDel nodo c1.pngCDel n.pngCDel nodo c1.png = CDel nodo c1.pngCDel 2x.pngCDel n.pngCDel node.pngn

Tres dimensiones editar ]

Grupos de puntos en tres dimensiones , a veces llamados grupos de puntos moleculares después de su amplio uso en el estudio de las simetrías de moléculas pequeñas .
Vienen en 7 familias infinitas de grupos axiales o prismáticos, y 7 grupos poliédricos o platónicos adicionales. En notación de Schönflies , *
  • Grupos axiales: C n , S 2n , C n h , C n v , D n , D n d , D n h
  • Grupos poliédricos : T, T d , T h , O, O h , I, I h
La aplicación del teorema de restricción cristalográfica a estos grupos da como resultado 32 grupos de puntos cristalográficos .
Dominios fundamentales de los grupos reflexivos de color par / impar.
1v
Orden 2
2v
Orden 4
3v
Orden 6
4v
Orden 8
5v
Orden 10
6v
Orden 12
...
Esferonal digonal hosohedron2.pngCuadrado esférico hosohedron2.pngHosohedron2.png esférico hexagonalHosohedron2.png octogonal esféricoHosohedron2.png decagonal esféricoHosohedron2.png dodecagonal esférico
1h
Orden 4
2h
Orden 8
3h
Orden 12
4h
Orden 16
5h
Orden 20
6h
Orden 24
...
Bipyramid2.svg digonal esféricoCuadrada esférica bipyramid2.svgBipirámide hexagonal esférica2.pngBipirámide octogonal esférica2.pngBipirámide decagonal esférica2.pngBipirámide esférica dodecagonal2.png
d
orden 24
h
orden 48
Yo h
pedido 120
Dominios de reflexión tetraédrica.pngDominios de reflexión octaédrica.pngDominios de reflexión icosaédrica.png
Intl *Geo
[2]
OrbifoldSchönfliesConwayCoxeterOrden
11111[] +1
122× 1i = S 2Cc 2[2 + , 2 +]2
2 = m1* 1s = C 1v= C 1h± C 1 = CD 2[]2





n





n
22 
33 
44 
55 
66 
nn
2
3
4
5
6
n
2
3
4
5
6
n
[2] +
[3] +
[4] +
[5] +
[6] +
[n] +





n
mm2
3m 
4mm
5m 
6mm
nmm
nm





n
* 22 
* 33 
* 44 
* 55 
* 66 
* nn
2v
3v
4v
5v
6v
nv
CD 4
CD 6
CD 8
CD 10
CD 12
CD 2n
[2] 
[3] 
[4] 
[5] 
[6] 
[n]



10 
12 
2n
2 / m
6
4 / m
10
6 / m
n / m
2n
2 2 
3 2 
4 2 
5 2 
6 2 
n 2
2 * 
3 * 
4 * 
5 * 
6 * 
n *
2h
3h
4h
5h
6h
nh
± C 2
CC 6
± C 4
CC 10
± C 6
± C n / CC 2n
[2,2 + ] 
[2,3 + ] 
[2,4 + ] 
[2,5 + ] 
[2,6 + ] 
[2, n + ]



10 
12 
2n




12 
2n 
n
4 2 
6 2 
8 2 
10 2 
12 2 
2n 2
2 × 
3 × 
4 × 
5 × 
6 × 
n ×
4
6
8
10
12
2n
CC 4
± C 3
CC 8
± C 5
CC 12
CC 2n / ± C n
[2 + , 4 +
[2 + , 6 +
[2 + , 8 +
[2 + , 10+ ] 
[2 + , 12+ ] 
[2 + , 2n+ ]



10 
12 
2n
IntlGeoOrbifoldSchönfliesConwayCoxeterOrden
222 
32 
422 
52 
622 
n22 
n2





2
222 
223 
224 
225 
226 
22n
2
3
4
5
6
n
4
6
8
10
12
2n
[2,2] +
[2,3] +
[2,4] +
[2,5] +
[2,6] +
[2, n] +



10 
12 
n
mmm
6 m2 
4 / mmm
10m2 
6 / mmm
n / mmm
2nm2
2 2 
3 2 
4 2 
5 2 
6 2 
n 2
* 222 
* 223 
* 224 
* 225 
* 226 
* 22n
2h
3h
4h
5h
6h
nh
± D 4
DD 12
± D 8
DD 20
± D 12
± D 2n / DD 4n
[2,2] 
[2,3] 
[2,4] 
[2,5] 
[2,6] 
[2, n]

12 
16 
20 
24 
4n
4 2m 
3 m 
8 2m 
5 m 
122m 
2n2m 
n m
2
2
2
10 2
12 2
2
2 * 2 
2 * 3 
2 * 4 
2 * 5 
2 * 6 
2 * n
2d
3d
4d
5d
6d
nd
± D 4
± D 6
DD 16
± D 10
DD 24
DD 4n / ± D 2n
[2 + , 4] 
[2 + , 6] 
[2 + , 8] 
[2 + , 10] 
[2 + , 12] 
[2 + , 2n]

12 
16 
20 
24 
4n
233332TT[3,3] +12
333 * 2h± T[3 + , 4]24
4 3m3 3* 332dA[3,3]24
4323432OO[3,4] +24
3m4 3* 432h± O[3,4]48
5323532yoyo[3,5] +60
3 m5 3* 532Yo h± yo[3,5]120
(*) Cuando las entradas de Intl están duplicadas, la primera es para n , la segunda para n impar .





No hay comentarios:

Publicar un comentario