AMPLIACIÓN DE MATEMÁTICAS

Documentos relacionados
AMPLIACIÓN DE MATEMÁTICAS. a = qm + r

AMPLIACIÓN DE MATEMÁTICAS DIVISIBILIDAD DE POLINOMIOS.

AMPLIACIÓN DE MATEMÁTICAS

AMPLIACIÓN DE MATEMÁTICAS

SUBSUCESIONES. Las sucesiones convergentes son acotadas, como hemos visto. El recíproco no es cierto. No toda sucesión acotada es covergente.

Ejercicios resueltos Introducción a la teoría de los grupos. J. Armando Velazco

AMPLIACIÓN DE MATEMÁTICAS

La estructura de un cuerpo finito.

Estructuras algebraicas. Departamento de Álgebra. Apuntes de teoría

Tema 2: Teorema de estructura de los grupos abelianos finitamente generados.

Álgebra y estructuras finitas/discretas (Grupos A)

Tema 2: El grupo de las permutaciones

Teorema de Lagrange. En esta sección demostramos algunos hechos básicos sobre grupos, que se pueden deducir de la definición

Tema 2. Grupos. 3. El conjunto de matrices de orden 2 con coeficientes enteros (o reales) con la suma es un grupo conmutativo.

Peter Ludwig Mejdell Sylow, matemático noruego ( ).

AMPLIACIÓN DE MATEMÁTICAS

Ampliación Matemática Discreta. Justo Peralta López

Estructuras algebraicas

Definición. 1. Se define la función logaritmo (neperiano ) por. ln x =

Estructuras algebraicas

Grupos libres. Presentaciones.

Con esta definición de grupo, es directo que el neutro es único, al igual que el inverso de. , donde es conmutativo, se denomina Abeliano.

Tema 1.- Nociones preliminares: grupos, anillos, cuerpos. Divisibilidad

un conjunto cuyos elementos denominaremos vectores y denotaremos por es un espacio vectorial si verifica las siguientes propiedades:

Polinomios (lista de problemas para examen)

Estructuras Algebraicas

Álgebra Básica C Grado en Matemáticas Examen 1

Cálculo diferencial e integral I. Eleonora Catsigeras

Grupos. Subgrupos. El Teorema de Lagrange. Grupo cociente. Teoremas de

Funciones y Cardinalidad

Ejercicios de Estructuras Algebraicas 1

Espacios compactos. 7.1 Espacios compactos

1. Conjuntos y funciones

Álgebra. Curso

Los números naturales. Definición y propiedades

Seguridad Informática

Teoría de números. Herbert Kanarek Universidad de Guanajuato Enero Junio Eugenio Daniel Flores Alatorre

Sucesiones. Una sucesión de números reales es una tira, o una lista, de nḿeros reales que generalmente denotamos como

Espacios métricos completos

Definición 1 Un semigrupo es un conjunto E provisto de una operación binaria asociativa sobre E, se denota por (E, ).

14/02/2017. TEMA 3: EL CUERPO DE LOS NUMEROS REALES Esp. Prof. Liliana N. Caputo

520142: ALGEBRA y ALGEBRA LINEAL

Grupos y Subgrupos El concepto de grupo Sea G un conjunto no vacío y sea G G G

DERIVADAS DE FUNCIONES DE VARIAS VARIABLES. Curvas Paramétricas. Dada una curva paramétrica

COMPLEMENTO DEL TEÓRICO

ÁLGEBRA MODERNA. Índice 1. El grupo de permutaciones y el grupo alternante 1

Estructuras algebraicas

Capítulo 7. Espacios vectoriales. 7.1 Definición y ejemplos

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Enteros

1. Dominio de integridad: Si a, b son enteros, y a 0, b 0 entonces

Definición 1.2. Sea (K, +, ) un dominio de integridad. Un polinomio de grado n sobre K es una expresión de la forma

Anillo de polinomios con coeficientes en un cuerpo

Introducción a los números reales

Mariano Suárez-Álvarez ÁLGEBRA LINEAL 21 de noviembre de 2016 F F 8 f f

Espacios vectoriales. Capítulo Espacios vectoriales y subespacios Preliminares

Clase 2: Algoritmo de Euclídes

SUCESIONES DE CAUCHY DE NÚMEROS RACIONALES.

TEMA 1: NÚMEROS NATURALES. SISTEMA DE NUMERACIÓN

Introducción a la Teoría de Números

Departamento de Ingeniería Matemática - Universidad de Chile

MatemáticaDiscreta&Lógica 1. Conjuntos. Aylen Ricca. Tecnólogo en Informática San José 2014

UNIDAD 1 NUMEROS COMPLEJOS

EL TEOREMA DE SEIFERT-VAN KAMPEN. 1. Preliminares sobre grupos

MATEMÁTICAS BÁSICAS. Autora: Jeanneth Galeano Peñaloza Edición: Oscar Guillermo Riaño

Conjuntos finitos y conjuntos numerables

Sistemas basados en la Teoría de Números

ESCUELA TÉCNICA SUPERIOR DE NÁUTICA Y MÁQUINAS NAVALES / NAUTIKAKO ETA ITSASONTZI MAKINETAKO GOI ESKOLA TEKNIKOA FUNDAMENTOS MATEMÁTICOS

58 7. ESPACIOS COCIENTE

Conjuntos relaciones y grupos

sup si A no es acotado.

Problemas de VC para EDVC elaborados por C. Mora, Tema 4

Conjuntos finitos y conjuntos numerables

Capítulo II. Pruebas en Matemáticas

Continuidad y monotonía

1 Introducción al Álgebra conmutativa

TRIÁNGULOS: RELACIONES DE DESIGUALDAD ENTRE SEGMENTOS Y ÁNGULOS

1. Conjuntos y funciones

Extensiones normales.

Capítulo V. Valores y vectores propios. Diagonalización de operadores lineales.

Ejercicios del Tema 2: Estructuras algebraicas básicas

MATEMÁTICAS BÁSICAS. 2 de marzo de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS

Tema 1: Fundamentos.

Espacios Vectoriales

Transcripción:

AMPLIACIÓN DE MATEMÁTICAS GRUPOS CÍCLICOS. Los grupos que pueden ser generados por un único elemento se llaman Grupos Cíclicos. Un único elemento como generador hace que sea fácil trabajar con ellos. Además, más adelante, veremos que los grupos multiplicativos de los cuerpos finitos son todos cíclicos, algo que tiene implicaciones en criptografía. Definición 1. Sea (G, ) un grupo. A: Si existe {g 1, g 2,..., g n } G, un subconjunto finito de G, de modo que < g 1, g 2,..., g n >= G se dice que G está finitamente generado. B: Si existe g G de modo que < g >= G, se dice que G es un grupo cíclico y que g es un generador de G. Ejemplos 1. 1. < 2 >= 2Z, así el grupo (2Z, +) es cíclico y 2 es un generador. 2. < 1 >= Z. 3. (R, +) no está finitamente generado. Definición 2. Sea (G, ) un grupo. Sea g G. Se llama orden de g al menor entero k N\{0} de modo que Escribiremos Ord(g) = k. g k = g g... k veces... g = e. Puede haber elementos de un grupo con orden infinito (por ejemplo 2 (Z, +)) lo cuál no es muy interesante. En los grupos finitos (de orden finito) todos sus elementos tiene orden finito. 1

2 C. RUIZ Proposición 1. Sea (G, ) un grupo finito. Todo elemento a de G tiene orden finito. Si a G y n es su orden entonces {a, a 2,..., a n = e} forma un subgrupo cíclico de G. Demostración: Tomemos un elemento a G y consideramos el conjunto de las potencias del elemento a, {a, a 2,..., a k,...} (solo operamos a con el mismo). Como G es finito estas potencias de a se tienen necesariamente que repetir. Sea k, r N de modo que a k = a k+r a k = a k a r, ahora multiplicando por el inverso de a k tenemos que e = a r. Ahora solo hace falta tomar el menor de los r N con a r = e para conseguir el orden de a. Consideremos ahora {a, a 2,..., a n = e}. Todas estas potencias son distintas, de los contrario existirían k, r N con k + r n de modo que a k = a k+r y por el argumento anterior a r = e. Lo cuál no es posible ya que r < n y por definición de n (el orden de a) es el menor natural que verifica a n = e. Sean ahora a k 1, a k 2 {a, a 2,..., a n = e}. Claramente (a k 2 ) 1 = a n k 2 {a, a 2,..., a n } y además a k 1 (a k 2 ) 1 = a k 1 a n k 2 = a k 1+n k 2 {a, a 2,..., a n = e} (claro, como 0 < k 1 + n k 2 < 2n, si 0 < k 1 + n k 2 n es clara la pertenencia anterior, si k 1 + n k 2 = n + r con r < n entonces a k 1+n k 2 = a n+r = a n a r = a r ). Por la caracterización de subgrupos vemos que {a, a 2,..., a n = e} es un subgrupo de G de orden exactamente n ( {a, a 2,..., a n = e} = n). Además, claramente < a >= {a, a 2,..., a n = e}, luego es un subgrupo cíclico Propiedades de los grupos finitos cíclicos son las siguientes.

APUNTES AM 3 Proposición 2. Si (G, ) es un grupo finito cíclico y a es un generador, entonces G = {a, a 2,..., a k,..., a G = 1} (donde 1 es el elemento neutro y a k = a a a... k veces... a). Demostración: Sea n el orden de a, que sabemos que existe por ser G finito. Por la proposición anterior sabemos que < a >= {a, a 2,..., a n = 1} G es un subgrupo cíclico de G. Como a es un generador de G, esto solo puede ocurrir si n = {a, a 2,..., a n = 1} = G Proposición 3. Todo subgrupo de un grupo cíclico finito es a su vez cíclico. Demostración: Sea G =< a >, un grupo cíclico finito con a un generador. Sea S un subgrupo de G (S G). Como G = {a, a 2,..., a k,..., a G = 1}, tomamos a k 0 S de modo que k 0 = mín{k : a k S }. Solo nos falta ver que < a k 0 >= S. Como S es subgrupo es claro que < a k 0 > S. Sea ahora a k S. Si k 0 k es claro que a k < a k 0 >. Si no, por el Teorema del Resto, k = qk 0 + r con r < k 0 y así a k = a qk 0+r = (a k 0 ) q a r ((a k 0 ) q ) 1 a k = a r S lo cuál no es posible ya que por elección de k 0, éste es el menor natural de modo que al elevar a a él, ésta potencia pertenece a S Proposición 4. Si S es un subgrupo de un grupo cíclico finito G, entonces el orden del subgrupo divide al orden del grupo ( S G ). Demostración: Sea a un generador de G, con orden de a igual a G y sea a k 0 un generador de S con orden S. Entonces (a k 0 ) S = a k 0 S = 1, como el orden de a es G se tiene que k 0 S = m.c.m(k 0, G ). De la definición de máximo común múltiplo y su caracterización como el producto de los primos divisores comunes o no, se sigue que S divide a G

4 C. RUIZ Esta propiedad de que el orden del subgrupo divide al orden del grupo es una propiedad general de los grupos finitos. En el caso de grupos cíclicos es más o menos sencillo de probar. En el caso general, el Teorema de Lagrange, nos va a llevar un poco más de trabajo. Antes de avanar más, veamos algunos ejemplos del cálcuo de ordenes de elementos de un grupo. Ejemplo 1. Sea (Z 5 \{0}, ) = ({[1], [2][3], [4]}, ). Éste es un grupo multiplicativo, ya que 5 es primo y sus congruencias todas tienen inverso. [1] tiene orden 1 claramente. [2] tiene orden 4, ya que [2 4 ] = [16] = [1] y [2 2 ] = [4] y [2 3 ] = [3]. Luego [2] es un generador del grupo. [3] tiene orden 4, ya que [3 4 ] = [81] = [1] y [3 2 ] = [4] y [3 3 ] = [2]. Luego [3] es un generador del grupo. [4] tiene orden 2, ya que [4 2 ] = [16] = [1]. Ejemplo 2. Sea (Z 9, ) = ({[1], [2], [4], [5], [7], [8]}, ). Éste es un grupo multiplicativo como hemos visto anterioremente. Además, Z 9 = 6 [2] tiene orden 6, ya que [2 6 ] = [64] = [1] y [2 2 ] = [4], [2 3 ] = [8], [2 4 ] = [16] = [7] y [2 5 ] = [32] = [5]. Luego [2] es un generador del grupo. [4] tiene orden 3, ya que [4 3 ] = [64] = [1] y [4 2 ] = [16] = [7]. [5] tiene orden 6, ya que [5 2 ] = [25] = [7] y [5 3 ] = [125] = [8]. Como el grupo es finito y cíclico (ya que 2 es un generador), entonces el orden de [5] tiene que dividir al del grupo; como este orden no es ni 2 ni 3, solo puede ser 6. [7] tiene orden 3, ya que [7 2 ] = [14] = [5] y [7 3 ] = [343] = [1]. [8] tiene orden 2, ya que [8 2 ] = [64] = [1]. Siempre encontramos que el orden de un elemento divide al orden del grupo, ya que el orden del elemento es igual al orden del subgrupo que engendra en el grupo.

APUNTES AM 5 Ejemplo 3. Sea un grupo (G, ) y sean a, b G. Hay que probar que 1. Si Ord(a) = n y n = pq, entonces Ord(a p ) = q. 2. Ord(a 1 ) = Ord(a) y Ord(ab) = Ord(ba) (G no tiene por que ser conmutativo). 3. Si a y b conmutan y tienen ordenes finitos primos entre si, entonces < a > < b >= {e}. Demostración: En el primer caso, por definición de orden e = a n = (a p ) q. Si Ord(a p ) = r < q, entonces e = (a p ) r y se tendría que Ord(a) pr < n, lo que contradice la hipótesis. e = a n, despejando (a n ) 1 = e, como (a n ) 1 = (a 1 ) n, deducimos que Ord(a 1 ) = n. Por otro lado si Ord(ab) = 1, entonces a y b son inversos y Ord(ba) = 1. Ahora se procede por inducción. Si c < a > < b > se tiene que c = a n = b k para ciertos n, k N. c está dentro de grupos finitos y ciclícos, luego existe Ord(c) con Ord(c) Ord(a) y Ord(c) Ord(b). Como ambos ordenes son primos entre si, se tiene que Ord(c) = 1 y así c = e Referencias Departamento de Análisis Matemático, Facultad de Matemáticas, Universidad Complutense, 28040 Madrid, Spain E-mail address: Cesar Ruiz@mat.ucm.es