Grupos libres. Presentaciones.
|
|
|
- José Ramón Alarcón Gómez
- hace 9 años
- Vistas:
Transcripción
1 S _ Tema 12.- Grupos libres. Presentaciones Grupos libres. En el grupo Z de los enteros vimos una propiedad (cf. ejemplos.5), que lo caracteriza como grupo libre. Lo enunciamos al modo de una Propiedad Universal en la siguiente proposición. Sea S = {a} un conjunto con un único elemento, y ϕ : S Z la aplicación (necesariamente inyectiva) dada por ϕ(a) = 1. Proposición Para cada grupo G y para cada aplicación : S G, se tiene que se factoriza a través de ϕ, es decir, existe un único homomorfismo f : Z G tal que el siguiente diagrama conmuta, es decir, fϕ =. S G ϕ f Z Esta propiedad universal caracteriza al grupo Z: Corolario Sea R un grupo, ϕ 0 : S R una aplicación, verificando la propiedad universal de Z, es decir, para cada grupo G y para cada aplicación : S G, se tiene que se factoriza, de modo único, a través de ϕ 0, i.e = gϕ 0. Entonces existe un isomorfismo h : Z R tal que los siguientes diagramas G ϕ 0 S f ϕ h conmutan, es decir, hϕ = ϕ 0 y f = gh. Z Demostración: Primero se aplica la proposición a ϕ 0 y R, obteniéndose un homomorfismo h : Z R. Ahora se aplica la hipótesis a ϕ y Z, obteniéndose un homomorfismo h : R Z. Se aplica de nuevo la proposición a ϕ y Z, viendo que h h y la identidad en Z hacen el correspondiente diagrama conmutativo, y por la unicidad, son iguales. Análogamente, usando la hipótesis, se prueba que hh es la identidad en R. Por tanto h es un isomorfismo. 2 Vamos a generalizar los resultados anteriores para un conjunto cualquiera S. Teorema Sea S un conjunto cualquiera. Existe un grupo G(S) y una aplicación ϕ : S G(S) inyectiva tal que: para cada grupo G y para cada g R
2 !! = = aplicación : S G, se tiene que se factoriza a través de ϕ, es decir, existe un único homomorfismo f : G(S) G tal que el siguiente diagrama S CC CCCC C G ϕ C G(S) f conmuta, es decir, fϕ =. Antes de demostrar el teorema, veremos que la propiedad enunciada caracteriza al grupo G(S), al que llamaremos grupo libre engendrado por S, sobrentendiéndose la inclusión ϕ : S G(S). A este teorema se le califica normalmente como la Propiedad Universal de los Grupos Libres. Nótese que esta propiedad tiene una formulación análoga a la propiedad (universal) siguiente de los espacios vectoriales : para dar un homomorfismo f de espacios vectoriales que parta de V, basta dar la imagen por f de un sistema S de generadores de V. Corolario Sea R un grupo, ϕ 0 : S R inyectiva, verificando la propiedad universal de G(S). Entonces existe un isomorfismo f : G(S) R tal que el siguiente diagrama ϕ 0 S CC CCCC C R ϕ C G(S) f conmuta, es decir, fϕ = ϕ 0. La demostración del corolario es análoga a la del corolario anterior. Demostración: (del teorema) Construiremos G(S) en dos pasos. 1) Sea S un nuevo conjunto equipotente con S, es decir, para cada elemento a S hay asociado un elemento a S. Con el alfabeto formado por los elementos o letras de S S, formamos el conjunto P (S) de todas las palabras (finitas) construidas adjuntando letras del alfabeto. En el conjunto P (S) hay una operación binaria consistente en adjuntar palabras. La palabra vacía sería elemento neutro de la operación, que es obviamente asociativa. Pero P (S) todavía no es grupo, por la ausencia de elementos simétricos. Para lograrlo, definimos una transformación reducción ρ : P (S) P (S), consistente en hacer recurrentemente, mientras sea posible, la siguiente sustitución: dada una palabra p, en la primera ocurrencia de una pareja aa o a a en p, para a S, a S, se elimina en p cualquiera de estas parejas. 2) Construimos G(S) = Im(ρ), que llamamos conjunto de palabras reducidas. Definimos una operación binaria en G(S), de la siguiente manera: si p, q G(S), p q = ρ(p q). Se tiene fácilmente que el vacío es también el elemento neutro de esta operación. Los elementos inversos de los de S son los de S,
3 y recíprocamente. En general, el elemento inverso de una palabra reducida se construye cambiando cada letra de S (resp. S ) por la correspondiente en S (resp. S), y después cambiando el orden de la palabra. No es nada fácil probar la propiedad asociativa, por lo que no entraremos en los detalles (cf. Introducción al Álgebra de Xambó-Delgado-Fuertes, por ejemplo). Por tanto G(S) es un grupo con la operación dada. Queda ver que G(S) con la inclusión de S verifica las condiciones del teorema. Como S = {x 1 x r x i S S 1 } y S 1 = S, se tiene que G(S) = S. Por tanto, para definir un homomorfismo f : G(S) G, basta dar la imagen de los elementos del sistema generador S. Para que el diagrama enunciado conmute, debe ser f(a) = (a) para cada a S; de ahí la unicidad de f. 2 Un resultado no trivial, que veremos en el curso próximo, es que todo subgrupo de un grupo libre es libre. Es decir, si H es un subgrupo de G(S), entonces H es isomorfo a un grupo libre G(T ), para un cierto conjunto T Relaciones. Una consecuencia directa de la propiedad universal de los grupos libres es la siguiente Proposición Todo grupo es cociente de uno libre. Demostración: Dado un grupo G, sea S un sistema de generadores de G. Aplicando el teorema a la inclusión de S en G, se tiene un epimorfismo f : G(S) G. Se aplica ahora el primer teorema de isomorfía y se obtiene lo deseado. 2 A los elementos de ker(f) se les llama relaciones de S en G. Muchas veces una relación u ker(f) la escribiremos u = e, por abuso de lenguaje. Definición Sea R G un subconjunto de un grupo. Notamos N(R) a la intersección de todos los subgrupos normales de G que contienen a R, que es el menor subgrupo normal de G que contiene a R. Ejemplo Si G es un grupo cíclico, G = a, de orden infinito, entonces G es isomorfo al grupo libre Z, mediante el isomorfismo f : Z G dado por f(n) = a n (cf..5). Si G es de orden finito n, entonces el epimorfismo anterior tiene como núcleo ker(f) = Zn, y por el primer teorema de isomorfía G = ZZn. Ejemplo Sea G = C 2 C 2 = {(1, 1), (1, 1), ( 1, 1), ( 1, 1)}; si notamos a sus elementos por 1, α, β, γ respectivamente, se tiene α 2 = β 2 = γ 2 = 1, αβ = βα = γ, αγ = γα = β, βγ = γβ = α. Como G = α, β, sean S = {a, b} y S = {a, b }, entonces G(S) es el conjunto de palabras reducidas en el alfabeto {a, b, a, b }, y el epimorfismo f : G(S) G está definido por f(a) = α, f(b) = β. Está claro que H = N(a 2, b 2, (ab) 2 ) ker(f). Por el lema previo al primer teorema de isomorfía, se tiene que f induce un epimorfismo f : G(S)H G. Por otra parte a 2 H = H, luego ah = a 1 H. De ababh = H se deduce que abh = bah. Por tanto, un elemento genérico de G(S)H, será a m 1 b n1 a m r b n r H = a m 1+ +m r b n 1+ +n r H. Queda así que
4 G(S)H {H, ah, bh, abh}. Contando elementos, se deduce que G(S)H = {H, ah, bh, abh} = G, y por tanto H = ker(f). Ejemplo Sea G = S 3. Un argumento análogo al anterior prueba que G = G(S)H con S = {a, b} y H = a 3, b 2, (ab) 2. Ejemplo Sea G el grupo de simetría del cuadrado. Análogamente se tiene que G = G(S)H con S = {a, b} y H = a 4, b 2, (ab) 2. Ejemplo Sea G el grupo aditivo y abeliano Z 2, generado por σ = (1, 0) y τ = (0, 1). Se prueba fácilmente que G(S)H = G con S = {s, t} y H = sts 1 t 1, mediante el isomorfismo f, dado por f (s m t n H) = (m, n). Nótese quef se puede construir con la propiedad universal de G(S). En los ejemplos anteriores hemos visto que, dado un grupo G, podemos encontrar un conjunto S y un subgrupo normal N tales que G = G(S)N; pero podemos trabajar también a la inversa. Definición Sea S un conjunto y R G(S) un subconjunto. Diremos que G(S, R) = G(S)N(R) es el grupo definido por el conjunto de generadores S y las relaciones R. Más generalmente, si G es un grupo y existe un isomorfismo f de G(S, R) sobre G, diremos que (S, R, f) es una presentación de G. Ejemplo Un grupo dado por un único generador s y la única relación s n, con n Z +, es cíclico de orden n. En efecto, G(S) = s = {s m, m Z} que es abeliano, N(R) = s n. Entonces G(S, R) = ZZn. Ejemplo Sea S = {x, y}, R = {y 2 x = y, yx 2 y = x}. Por tanto {yx, yx 2 yx 1 } N(R), de donde xyx 1 = (yx) 1 (yx 2 yx 1 ) N(R), y de aquí y N(R). Por tanto x = y 1 (yx) N(R), por lo que N(R) = G(S) y G(S, R) es trivial. El problema de decidir si dos palabras de G(S, R) son iguales es trivial si R =, y está resuelto si R se reduce a un único elemento. Sin embargo, se puede demostrar que no puede existir ningún algoritmo para decidirlo, en forma universal. Este problema se conoce con el nombre de problema de la palabra. Del mismo modo, dados dos grupos G(S, R) y G(S, R ), no es posible encontrar un algoritmo general que decida si son o no isomorfos, ni siquiera cuando G(S, R) es trivial y G(S, R ) es finitamente generado Grupo derivado. Sea G un grupo. Definición Si x, y G, pondremos [x, y] para denotar el conmutador de x e y, es decir [x, y] = xyx 1 y 1. Al subgrupo generado por el conjunto de conmutadores de G será denotado por G o por [G, G] y se llamará grupo derivado de G. Proposición Sea G un grupo y G su grupo derivado. 1. G G. 2. G es abeliano si y sólo si G = {1}.
5 La demostración es inmediata. Proposición Sea f : G 1 G 2 un homomorfismo (resp. epimorfismo). 1. f(g 1) G 2 (resp. f(g 1) = G 2). 2. Si f es epimorfismo, entonces G 2 es abeliano si y sólo si G 1 ker(f). Corolario Si N G, entonces GN es abeliano si y sólo si G N. Ejemplo Si D 4 es el grupo de simetría del cuadrado, D 4 = {1, g 2 }, donde g es el giro de Si S n es el grupo de permutaciones de n elementos, S n = A n. Para ello se debe comprobar que, para i, j, k distintos, [(ij), (ik)] = (ijk). Además se debe comprobar que A n está generado por {(123),..., (12n)}
Estructuras algebraicas. Departamento de Álgebra. Apuntes de teoría
ESTRUCTURAS ALGEBRAICAS GRADO EN MATEMÁTICAS. CURSO 2015/2016 Apuntes de teoría Tema 1: Grupos y subgrupos. 1.1. Introducción Definición 1.1. Un grupo es un par (G, ), donde G es un conjunto no vacío,
Tema 8.- Anillos y cuerpos
Tema 8.- Anillos y cuerpos Definición.- Un anillo es una terna (A, +, ) formada por un conjunto A y dos operaciones internas y binarias +, verificando: 1. El par (A, +) es un grupo abeliano, cuyo elemento
Teoría de anillos. Dominios, cuerpos y cuerpos de fracciones.
Tema 5.-. Teoría de anillos. Dominios, cuerpos y cuerpos de fracciones. 5.1. Anillos y cuerpos Definición 5.1.1. Un anillo es una terna (A, +, ) formada por un conjunto A y dos operaciones binarias +,
Tema 2: Introducción a la teoría de grupos
Tema 2: Introducción a la teoría de grupos Miguel Ángel Olalla Acosta [email protected] Departamento de Álgebra Universidad de Sevilla Octubre de 2018 Olalla (Universidad de Sevilla) Tema 2: Introducción
Teoría de anillos. Dominios, cuerpos y cuerpos de fracciones. Característica de un cuerpo.
1 Tema 5.-. Teoría de anillos. Dominios, cuerpos y cuerpos de fracciones. Característica de un cuerpo. 5.1. Anillos y cuerpos Definición 5.1.1. Un anillo es una terna (A, +, ) formada por un conjunto A
Un elemento de un monoide se dice que es inversible si tiene elemento inverso.
Tema 1: Semigrupos 1 Tema 1: Semigrupos 1. Semigrupos: Conceptos fundamentales. Recordemos que un sistema algebraico es un conjunto S con una o varias operaciones sobre él, siendo una operación ó ley de
Definición 1 Un semigrupo es un conjunto E provisto de una operación binaria asociativa sobre E, se denota por (E, ).
ALGEBRA La primera parte del presente libro está dedicada a las estructuras algebraicas. En esta parte vamos a iniciar agregándole a los conjuntos operaciones. Cuando las operaciones tienen determinadas
EL TEOREMA DE SEIFERT-VAN KAMPEN. 1. Preliminares sobre grupos
EL TEOREMA DE SEIFERT-VAN KAMPEN 1. Preliminares sobre grupos Sea G un grupo. Denotaremos de forma multiplicativa la operación en G. Así, el producto de x, y G es x y, y el inverso de x G es x 1. Para
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.
Teoría de Grupos Definiciones Básicas Definición 5 (Grupo) Sea una estructura algebraica con una ley de composición interna. Decimos que es un grupo si: 1. es asociativa. 2. tiene neutro. 3. toda tiene
Definición 1.1 Sea G un conjunto. Una operación binaria en G es una aplicación m: G G G.
1 Definición y propiedades Definición 1.1 Sea G un conjunto. Una operación binaria en G es una aplicación m: G G G. Definición 1.2 Sea G un conjunto i) Si G tiene una operación binaria definida en G, se
Estructuras Algebraicas
Tema 1 Estructuras Algebraicas Definición 1 Sea A un conjunto no vacío Una operación binaria (u operación interna) en A es una aplicación : A A A Es decir, tenemos una regla que a cada par de elementos
Tema 1.- Nociones preliminares: grupos, anillos, cuerpos. Divisibilidad
Tema 1.- Nociones preliminares: grupos, anillos, cuerpos. Divisibilidad 1.1 Grupos Al haber alterado el orden de los temas, este apartado ya se ha visto en el tema 9 1.2 Anillos y cuerpos Definición 1.2.1.
Extensiones algebraicas. Cuerpos de descomposición.
Temas 10-11.- 10-11.1 Extensiones algebraicas. Cuerpos de descomposición. Si k es un subcuerpo de K, diremos que K es una extensión de k, que notaremos K k. Si K k es una extensión y E K es un subconjunto,
ELEMENTOS DE TEORÍA DE GRUPOS
ELEMENTOS DE TEORÍA DE GRUPOS CÉSAR ROSALES. TOPOLOGÍA II El objetivo de estas notas es recoger una serie de herramientas algebraicas que se utilizarán a lo largo de la asignatura. Expondremos las diferentes
3. Grupos Libres y Productos Libres de Grupos
3. Grupos Libres y Productos Libres de Grupos Esta sección del trabajo está basado el los libros [4] y [2]. 3.1. Producto Débil de Grupos Abelianos Definición 3.1. Sean G 1, G 2 grupos. Definimos G 1 G
Tema 2: Teorema de estructura de los grupos abelianos finitamente generados.
ESTRUCTURAS ALGEBRAICAS GRADO EN MATEMÁTICAS. CURSO 215/216 Tema 2: Teorema de estructura de los grupos abelianos finitamente generados. 1.1. Grupo abeliano libre. Bases. Definición 1.1. El grupo Z n con
b) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A
APENDICE Relaciones y Operaciones Compatibles 1 Definición: a) Sea A un conjunto y una relación entre elementos de A. Decimos que es una relación de equivalencia si es: i Reflexiva: a A, a a. ii Simétrica:
Álgebra y estructuras finitas/discretas (Grupos A)
Álgebra y estructuras finitas/discretas (Grupos A) Curso 2007-2008 Soluciones a algunos de los ejercicios propuestos en el Tema 2 Antes de ver la solución de un ejercicio, repase la teoría correspondiente
9 Grupos abelianos libres
42 TEORIA DE GRUPOS 9 Grupos abelianos libres En Álgebra Lineal es clásica la estructura de espacio vectorial V sobre un cuerpo K. Esta sección trata de estudiar el caso análogo de un grupo abeliano sobre
a, b G a b G a (b c) = (a b) c a, b, c G (g4) Todo elemento de G tiene elemento simétrico para la operación : a G a G tal que a a = a a = e
Grupos Este segundo cuatrimestre lo dedicaremos al estudio de estructuras algebraicas. Primero, las estructuras de grupo, anillo y cuerpo, y más adelante, la estructura de espacio vectorial y todo lo que
Teorema de Lagrange. En esta sección demostramos algunos hechos básicos sobre grupos, que se pueden deducir de la definición
Teorema de Lagrange Capítulo 3 3.1 Introducción En este capítulo estudiaremos uno de los teoremas más importantes de toda la teoría de grupos como lo es el Teorema de Lagrange. Daremos en primer lugar
Capítulo 3: El anillo de los números enteros
Capítulo 3: El anillo de los números enteros Miguel Ángel Olalla Acosta [email protected] Departamento de Álgebra Universidad de Sevilla Noviembre de 2016 Olalla (Universidad de Sevilla) El anillo de
LEYES DE COMPOSICIÓN INTERNA Y ELEMENTOS DISTINGUIDOS
LEYES DE COMPOSICIÓN INTERNA Y ELEMENTOS DISTINGUIDOS Sea una estructura formada por un conjunto A, sobre cuyos elementos se ha definido una operación o ley interna, comúnmente denotada por " * ", que
Grupos. Subgrupos. El Teorema de Lagrange. Grupo cociente. Teoremas de
TEMA 8 Grupos. Subgrupos. El Teorema de Lagrange. Grupo cociente. Teoremas de Isomorfía En la primera sección introducimos los conceptos de grupo y subgrupo y, además de presentar varios ejemplos, prestamos
Capítulo 3: El anillo de los números enteros
Capítulo 3: El anillo de los números enteros Miguel Ángel Olalla Acosta [email protected] Departamento de Álgebra Universidad de Sevilla Noviembre de 2017 Olalla (Universidad de Sevilla) El anillo de
Subgrupos normales. Grupo cociente
Capítulo 4 Subgrupos normales. Grupo cociente 4.1. Subgrupos normales. Dado un grupo G y un subgrupo `especial' H de G, formaremos un nuevo grupo cuyos elementos son las clases laterales izquierdas de
MÉTODOS MATEMÁTICOS DE LA FÍSICA I
MÉTODOS MATEMÁTICOS DE LA FÍSICA I Ignacio Sánchez Rodríguez Curso 2006-07 TEMA PRELIMINAR ÍNDICE 1. Lenguaje matemático 2 2. Conjuntos 6 3. Aplicaciones 10 4. Relaciones 12 5. Estructuras algebraicas
Tema 2. Grupos. 3. El conjunto de matrices de orden 2 con coeficientes enteros (o reales) con la suma es un grupo conmutativo.
Tema 2. Grupos. 1 Grupos Definición 1 Un grupo es una estructura algebraica (G, ) tal que la operación binaria verifica: 1. * es asociativa 2. * tiene elemento neutro 3. todo elemento de G tiene simétrico.
Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2018
Tema 1: Conjuntos Miguel Ángel Olalla Acosta [email protected] Departamento de Álgebra Universidad de Sevilla Septiembre de 2018 Olalla (Universidad de Sevilla) Tema 1: Conjuntos Septiembre de 2018 1
Tema 2: El grupo de las permutaciones
Tema 2: El grupo de las permutaciones Miguel Ángel Olalla Acosta [email protected] Departamento de Álgebra Universidad de Sevilla Octubre de 2014 Olalla (Universidad de Sevilla) Tema 2: El grupo de las
Tema 3: Espacios vectoriales
Tema 3: Espacios vectoriales K denotará un cuerpo. Definición. Se dice que un conjunto no vacio V es un espacio vectorial sobre K o que es un K-espacio vectorial si: 1. En V está definida una operación
Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2017
Tema 1: Conjuntos Miguel Ángel Olalla Acosta [email protected] Departamento de Álgebra Universidad de Sevilla Septiembre de 2017 Olalla (Universidad de Sevilla) Tema 1: Conjuntos Septiembre de 2017 1
Algebra II. Relación 2. Curso Grupos: generalidades y ejemplos. Ejercicio 2. Describir explícitamente la tabla de multiplicar de los grupos
Algebra II Relación 2 Curso 2017-2018 Grupos: generalidades y ejemplos Ejercicio 1. Describir explícitamente la tabla de multiplicar de los grupos Z n para n = 4, n = 6 y n = 8, donde por Z n denotamos
Ejercicios de Álgebra Básica. Curso 2018/19
Ejercicios de Álgebra Básica Curso 2018/19 Tema 2: Introducción a la teoría de grupos Introducción Ejercicio 1 Probar que Z con la operación a b = a + b + 1 es un grupo Ejercicio 2 En Z consideramos la
Capítulo 4: Conjuntos
Capítulo 4: Conjuntos Miguel Ángel Olalla Acosta [email protected] Departamento de Álgebra Universidad de Sevilla Septiembre de 2014 Olalla (Universidad de Sevilla) Capítulo 4: Conjuntos Septiembre de
Conjuntos, Aplicaciones y Relaciones
Conjuntos, Aplicaciones y Relaciones Curso 2017-2018 1. Conjuntos Un conjunto será una colección de objetos; a cada uno de estos objetos lo llamaremos elemento del conjunto. Si x es un elemento del conjunto
Los isomorfismos básicos de la teoría de cuerpos algebraicos.
4. AUTOMORFISMOS DE CUERPOS. En este tema probaremos que dos elementos α y β, conjugados sobre un cuerpo F, determinan un isomorfismo entre los cuerpos F (α) y F (β). También cierto recíproco será válido.
(n, a)(m, b) = (nm, ma + nb) (a, b) + (c, d) = (a + c, b + d) y (a, b)(c, d) = (ac, bd)
TEMA 3 Anillos. Dominios euclídeos. Ejercicio 3.1. Sea X un conjunto no vacío y R = P(X), el conjunto de partes de X. Si se consideran en R las operaciones: A + B = (A B) (A B) A B = A B demostrar que
Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2016
Tema 1: Conjuntos Miguel Ángel Olalla Acosta [email protected] Departamento de Álgebra Universidad de Sevilla Septiembre de 2016 Olalla (Universidad de Sevilla) Tema 1: Conjuntos Septiembre de 2016 1
Terminaremos el capítulo con una breve referencia a la teoría de cardinales.
TEMA 5. CARDINALES 241 Tema 5. Cardinales Terminaremos el capítulo con una breve referencia a la teoría de cardinales. Definición A.5.1. Diremos que el conjunto X tiene el mismo cardinal que el conjunto
Teoría de Anillos y Campos
Teoría de Anillos y Campos Presentación 2: anillos, homomorfismos e ideales Luis Felipe González Rivas UANL 21 de agosto de 2018 Contenido 1 Anillos 2 Homomorfismos 3 Ideales Luis Felipe González Rivas
Álgebra Básica. Departamento de Álgebra.
Ejercicios de Álgebra Básica. Curso 2010/11 Ejercicio 1. Construir las tablas de verdad de las siguientes proposiciones: (1). p q (2). [(p q) q] p (3). [(p q) r] p (q r) (4). [(p q) q] p (5). [(p q) p]
Ampliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁLGEBRA Y ANÁLISIS MATEMÁTICO 1 2 cíclicos 3 Subgrupos 4 Algoritmos 5 ElGamal Definición Un grupo es un conjunto de elementos sobre los cuales
Aplicaciones Lineales
Capítulo 5 Aplicaciones Lineales 51 Definición y Propiedades Sean V y W dos espacios vectoriales sobre el mismo cuerpo K Definición 511 Se dice que una aplicación f : V W es una aplicación lineal o un
Ejercicios de Álgebra Básica. Curso 2015/16
Ejercicios de Álgebra Básica Curso 2015/16 Tema 2: Introducción a la teoría de grupos Propiedades El grupo de las permutaciones Ejercicio 1 Probar que Z con la operación a b = a+b+1 es un grupo Ejercicio
El grupo lineal proyectivo. Homologías. Afinidades.
Tema 3- El grupo lineal proyectivo Homologías Afinidades 31 El grupo lineal proyectivo Recordamos que en el tema anterior hemos definido, para una variedad lineal proyectiva L P n no vacía, el grupo lineal
Preliminares. 1. Notación simbólica. Conjuntos. También se da en el curso de Conjuntos y Numeros.
CAPíTULO 1 Preliminares 1. Notación simbólica. Conjuntos. También se da en el curso de Conjuntos y Numeros. El método matemático es axiomático y deductivo: a partir de unos principios aceptados inicialmente
una aplicación biyectiva h : A A.
Álgebra Básica Examen de septiembre 9-9-016 apellidos nombre Observaciones: -) Los cuatro ejercicios tienen el mismo valor. Cada ejercicio será puntuado sobre 10 para después calcular la nota global. -)
58 7. ESPACIOS COCIENTE
CAPíULO 7 Espacios cociente En esta sección estudiamos el cociente de un espacio vectorial por un subespacio W. Este cociente se define como el conjunto cociente de por una relación de equivalencia conveniente.
ALGEBRA MODERNA Examen Parcial 1: Respuestas y Sugerencias
ALGEBRA MODERNA Examen Parcial 1: Respuestas y Sugerencias 21 de abril de 2004 1 Da las definiciones de grupo, subgrupo normal y acción de un grupo G en un conjunto X. Definición. La pareja (G, ), donde
8.1. Extensiones algebraicas. Grado.
1 Tema 8.-. Extensiones algebraicas. Cuerpos de descomposición. Elemento primitivo. 8.1. Extensiones algebraicas. Grado. Si k es un subcuerpo de K, diremos que K es una extensión de k, que notaremos K
Tema 6.- Nociones preliminares: anillos, cuerpos. Anillos de polinomios
Tema 6.- Nociones preliminares: anillos, cuerpos. Anillos de polinomios 6.1 Anillos y cuerpos Definición 6.1.1. Un anillo es una terna (A, +, ) formada por un conjunto A y dos operaciones binarias +, verificando:
Álgebra Básica. Departamento de Álgebra (2n 1) = n 2,
Ejercicios de Álgebra Básica. Curso 2012/13 Ejercicio 1. Probar, usando el método de inducción, la fórmula de la suma de n términos de una progresión geométrica de razón r, S n = ra n a 1 r 1. Ejercicio
Aplicaciones Lineales
Aplicaciones Lineales Ximo Beneyto Tema: Pàgina : 49 APLICACIONES LINEALES Definición : Sean (E(K), +, A) y (F(K), +, A), Espacios Vectoriales construídos sobre un mismo cuerpo K, una aplicación f:e 6
Transformaciones lineales
CAPíTULO 4 Transformaciones lineales En este capítulo estudiamos las primeras propiedades de las transformaciones lineales entre espacios vectoriales. 1. Construcciones de transformaciones lineales Lema
ÁLGEBRA II Primer Cuatrimestre 2014
ÁLGEBRA II Primer Cuatrimestre 2014 Práctica 3: Grupos - Tercera Parte 1. Si un grupo G actúa sobre un conjunto finito X, el carácter de X es la aplicación χ X : G 0 dada por χ X (g) = {x X : g x = x},
Grupos. Capítulo Definición de grupos abstractos. (g h) k = g (h k).
Capítulo Grupos Después de estudiar el grupo simétrico S n y el grupo alternante A n, podemos definir qué es un grupo en general.. Definición de grupos abstractos... Definición. Un grupo es un conjunto
Funciones y Cardinalidad
Funciones y Cardinalidad Definición 1 Llamaremos función f entre dos conjuntos A y B a una relación que verifica las siguientes propiedades: i) Dom(f) = A ii) Si (a, b), (a, c) f entonces b = c Dicho de
Espacios topológicos. 3.1 Espacio topológico
Capítulo 3 Espacios topológicos 3.1 Espacio topológico Definición 3.1.1. Un espacio topológico es un par (X, τ), donde X es un conjunto, y τ es una familia de subconjuntos de X que verifica las siguientes
Exposicion de Teoria de Galois
Exposicion de Teoria de Galois Fernando Sánchez Castellanos Villafuerte 14 de diciembre de 2008 1. Introduccion Definición 1. Un grupo topologico, es un grupo G juntpo con una topologia tal que satisface:
Capítulo V. T 2 (e, e
Capítulo V Métricas En este capítulo y en los siguientes, el cuerpo base de los espacios vectoriales que se consideren será de característica distinta de 2. Empecemos recordando las nociones básicas que
Integración de Funciones Reales
Capítulo 20 Integración de Funciones Reales Nos proponemos estudiar en este capítulo las propiedades fundamentales del operador integral. n particular, extenderemos aquí al caso de funciones medibles con
ESPACIOS RECUBRIDORES FRANCISCO URBANO
ESPACIOS RECUBRIDORES FRANCISCO URBANO 1. Introducción y ejemplos Definición 1. Un espacio topológico X es localmente arco-conexo si todo punto posee una base de entornos arco-conexos, esto es si para
Estructuras algebraicas
Semana 10[1/14] 26 de abril de 2007 Semana 10[2/14] Grupos Un grupo es un caso particular de una estructura algebraica. Veremos que esta noción rescata ampliamente las propiedades de estructuras tales
1 Introducción al Álgebra conmutativa
1 Introducción al Álgebra conmutativa Escrito por: Patrizio Guagliardo y Miguel Monsalve. A continuación, daremos algunas definiciones básicas de estructuras algebraicas para empezar a trabajar rápidamente
Teorema de Wedderburn-Artin. Escuela Precimpa Coclé. Panamá. Dolores Martín Barquero
Teorema de Wedderburn-Artin. Escuela Precimpa 2014. Coclé. Panamá. Dolores Martín Barquero CHAPTER 1 Teorema de Wedderburn-Artin 1. Anillos Un anillo es una estructura algebraica formada por un conjunto,
Espacios vectoriales
CAPíTULO 2 Espacios vectoriales 1. Definición de espacio vectorial Es frecuente representar ciertas magnitudes físicas (velocidad, fuerza,...) mediante segmentos orientados o vectores. Dados dos de tales
Teoría de la Dimensión
Capítulo II Teoría de la Dimensión En este capítulo introduciremos una de las propiedades más importantes que tienen los espacios vectoriales: la dimensión. Dos son los modos posibles de llegar a la noción
0.1. Homomorfismos de Grupos
0.1. HOMOMORFISMOS DE GRUPOS 1 0.1. Homomorfismos de Grupos Definición 1 Sean (G, ) y (H, ) dos grupos. Una función f de G a H f : G H se dice ser a) Un homomorfismo si f(x y) = f(x) f(y), x, y (G, ),
Cuerpo de Fracciones de un Anillo Íntegro
Cuerpo de Fracciones de un Anillo Íntegro René A Hernández Toledo 1997 * Cuando se desarrollan los sistemas numéricos a partir los conjuntos, primeramente se construyen los números naturales. A partir
TEMA 4. APLICACIONES LINEALES
TEMA 4. APLICACIONES LINEALES 1.- Definición y propiedades. 2.- Aplicaciones lineales inyectivas y Suprayectivas. 3.- Núcleo, imagen, matriz asociada y rango de una aplicación lineal. 4.- Operaciones con
Anillos. a + (b + c) = (a + b) + c. 3) Existe un elemento 0 en R, el cual llamaremos cero, tal que. a + 0 = 0 + a = a para todo a en R.
Capítulo 7 Anillos 7.1 Definiciones Básicas El concepto de Anillo se obtiene como una generalización de los números enteros, en donde están definidas un par de operaciones, la suma y el producto, relacionadas
Tema 1. Espacios Vectoriales Definición de Espacio Vectorial
Tema 1 Espacios Vectoriales. 1.1. Definición de Espacio Vectorial Notas 1.1.1. Denotaremos por N, Z, Q, R, C, a los conjuntos de los números Naturales, Enteros, Racionales, Reales y Complejos, respectivamente.
Extensiones normales.
10. TEORÍA DE GALOIS Este capítulo, donde se establece el Teorema Principal de la Teoría de Galois, puede ser considerado como la culminación de la asignatura. Aquí se relacionarán las Teorías de Grupos
Álgebra básica Soluciones del examen de segunda convocatoria Curso 2016/ de septiembre de 2017
Álgebra básica Soluciones del examen de segunda convocatoria Curso 2016/2017 12 de septiembre de 2017 Ejercicio 1. Se pide lo siguiente: 1. (2 puntos) Dados unos conjuntos X, Y, unos subconjuntos A X,
