TEMAS DE MATEMTICAS (Oposiciones de Secundaria)

TEMA 11 CONCEPTOS BASICOS DE LA TEORIA DE CONJUNTOS. ESTRUCTURAS ALGEBRAICAS.

1. Introduccin. 2. Conjuntos. 2.1. Operaciones con conjuntos. 2.1.1. Interseccin. 2.1.2. Unin. 2.1.3. Complementacin. 2.1.4. Diferencia. 2.2. Algebra de Boole de las partes de un conjunto. 3. Producto Cartesiano de Conjuntos. 4. Correspondencias y Relaciones entre conjuntos. 4.1. Correspondencias. 4.2. Relaciones. 4.2.1. Relaciones de Equivalencias. 4.2.2. Relaciones de Orden. 5. Aplicaciones entre Conjuntos. 6. Leyes de Composicin. 6.1. Leyes de Composicin Interna. 6.2. Leyes de Composicin Externa. 7. Estructuras Algebraicas. 7.1. Estructuras Algebraicas con una operacin interna. 7.2. Estructuras Algebraicas con dos operaciones internas. 7.2.1. Anillos. 7.2.2. Cuerpos. 7.2.3. Retculos. 7.3. Estructuras Algebraicas con una operacin interna y otra externa. 7.3.1. Mdulos. 7.3.2. Espacios vectoriales.

1/22

TEMA 11 CONCEPTOS BASICOS DE LA TEORIA DE CONJUNTOS. ESTRUCTURAS ALGEBRAICAS. 1. INTRODUCCIN. El precursor de la teora de conjuntos fue George Cantor (1845-1918). La desarroll como una rama autnoma de la matemtica y le dio el nombre de Mengenlehre (teora de conjuntos). Cantor defini conjunto como una coleccin de objetos determinados y perfectamente diferenciables en nuestra contemplacin o en nuestro pensamiento, que constituyen una totalidad. Esta intuitiva definicin de Cantor dio lugar a la aparicin de paradojas, que fueron solucionadas por Poincar. Este puso en evidencia que la raz de las paradojas que se plantearon estaba en el hecho de que se defina un objeto en trminos de una clase de objetos que inclua al propio objeto definido. Una paradoja famosa, planteada por Bertrand Russell fue: Un barbero ha de afeitar a todos aquellos y slo a aquellos habitantes del pueblo que no se afeitan a si mismos Ha de afeitarse el barbero a si mismo o no?. Cualquiera que sea la respuesta se llega a una contradiccin. 2. CONJUNTOS. Los conjuntos estn formados por colecciones de objetos, atendiendo a la definicin de Cantor, y a los objetos los llamo elementos. Notacin. Nombraremos a los conjuntos mediante letras maysculas y a los elementos con minsculas. Indicaremos que un elemento a esta o pertenece a un conjunto C y mediante aC, y su negacin se representa por aC. OBS Un conjunto queda completamente definido cuando se conocen todos sus elementos. Y se pueden conocer de dos maneras diferentes: 1) Por extensin, cuando se enumeran todos sus elementos. Por ejemplo A = {a, b, c}. 2) Por Compresin, cuando se da una propiedad que define inequvocamente a los elementos del conjunto. Por ejemplo: A = {;/; mod 2 = 0} DEF Se define el conjunto vaco, , como un conjunto sin elementos. = {}

DEF Diremos que el conjunto A est incluido en B, o A es subconjunto de B, si todo elementos de A est en B. Lo denotaremos por AB. Es decir: 2/22

AB {x xB} Todo conjunto A tiene dos subconjuntos especiales que llamaremos impropios. Son el conjunto vaco, , y el propio conjunto. DEF Diremos que B es un subconjunto propio de A si no es vaco BA y BA.

PROP Sean A, B y C conjuntos. Se verifican las siguientes propiedades: 1) AA 2) AB y BA A = B 3) AB y BC AC Dem. La demostracin es inmediata a partir de la definicin. La propiedad uno recibe el nombre de Reflexiva y la tres de transitiva. La segunda se llama antisimtrica y se utiliza para demostrar la igualdad entre dos conjuntos. DEF Llamaremos conjunto de las partes de A, siendo A un conjunto, al conjunto que tiene por elementos todos los subconjuntos de A, y se denota por P(A). Entonces BP(A) BA 2.1. Operaciones con conjuntos. Sea u un conjunto, que llamaremos universal. Consideraremos P(u). 2.1.1. Interseccin. DEF Sean A y B dos conjuntos tales que A, B P(u). Definimos la interseccin de A y B como el conjunto formado por los elementos comunes a A y B. Se representa por U.
u

AUB = {x /xA y xB} PROP La operacin de interseccin definida anteriormente, verifica las siguientes propiedades , B, C P(u). 1) Idempotente: 2) Conmutativa: 3) Asociativa: AA = A AB = BA (AB)C = A(BC)

4) Elemento Neutro U: AU = A 5) Elemento Absorbente : A =

3/22

DEF Dados A y B que pertenecen a P(u), diremos que son disjuntos si su interseccin es vaca. Es decir, A y B son disjuntos si AB = . 2.1.2. Unin. DEF Sean A y B dos conjuntos tales que A, B P(U). Definimos la unin de A y B como el conjunto formado por los elementos que pertenecen al menos a uno de los dos conjuntos. Se representa por . AB = {xU/xA xB} PROP La operacin de unin definida anteriormente verifica las siguientes propiedades A, B, C P(U): 1) Idempotente: AA = A

2) Conmutativa: AB = BA 3) Asociativa: (AB)C = A(BC)

4) Elemento neutro, : A = A 5) Elemento Absorbente, U: AU = U

2.1.3. Complementacin. DEF Sea AP(U). Llamaremos complemento de A respecto de U, y lo denotaremos por A o Ac, al conjunto Ac = {xU/xA} PROP La operacin de complementacin definida anteriormente verifica las siguientes propiedades , B, C P(U). 1) AAc = U y AAc =

2) c = U y Uc = 3) (Ac)c = A 4) A B Bc Ac 5) Leyes de Morgan: (AB)c = Ac Bc y (AB)c = AcBc

2.1.4. Diferencia. DEF Sean A y B dos conjuntos tales que A, B P(U). Definimos la diferencia de A menos B al conjunto formado por los elementos de A que no estn en B. 4/22

A B = {xA/xB} DEF Sean A y B dos conjuntos tales que A, B P(U). Definimos la diferencia simtrica de A y B al conjunto formado por los elementos que pertenecen a A o a B pero no a ambos. Se representa por A B = {xAB/ xAB} PROP A B = (A B) (B A)

2.2. Algebra de Boole de las partes de un conjunto. PROP Se verifica: 1) Leyes de Absorcin: , B P(U) a) A(AB) = A b) A(AB) = A 2) Propiedades distributivas: A, B, C P(U) a) A(BC) = (AB) (AC) b) A(BC) = (AB) (AC)

DEF El conjunto P(U) con las operaciones de unin e interseccin tiene estructura de Algebra de Boole. 3. PRODUCTO CARTESIANO DE CONJUNTOS. DEF Definimos par ordenado como el objeto matemtico formado por dos elementos u objetos en un orden determinado. Se denota por (a, b). Los elementos a y b reciben el nombre de componentes o coordenadas del par (a, b). (a, b) = (x, y) a = x y b=y

Podemos generalizar la definicin anterior a n elementos. DEF Definimos la ;- tupla ordenada por (x1 , x2 ,., xn ) siendo x1 , x2 ,xn ; elementos u objetos en un orden determinado. DEF Sean A y B dos conjuntos cualesquiera. Llamaremos Producto Cartesiano de A y B, y se representa por AxB, al conjunto formado por todos los pares ordenados (a, b) tales que aA y bB. AxB = {(a, b)/ aA y bB} Se puede observar fcilmente que si el conjunto A tiene n elementos y el conjunto B tiene m elementos, entonces el conjunto AxB tendr n x m elementos.

5/22

Igualmente, podemos generalizar la definicin de producto cartesiano a n conjuntos. DEF Sean A1 , A2 ,.An n conjuntos cualesquiera. Llamaremos producto cartesiano de A1 , A2 ,.An , y se representa por A1x A2x .x An , al conjunto formado por todas las ntuplas (x1 , x2 ,., xn ) tales que x1 A1 , x2 A2 ,.xn An . A1x A2x .x An = {(x1 , x2 ,xn )/xiAi i: 1,,n } Para poder representar el producto cartesiano de dos conjuntos tenemos dos posibles formas: 1) Mediante un diagrama cartesiano. Son anlogos a los utilizados para representar las coordenadas del plano cartesiano, con la diferencia de que ahora solo utilizamos el 1er cuadrante. 2) Mediante un diagrama sagital. Se representan los conjuntos por medio de diagramas de Venn y se unen a los elementos del primer conjunto con los del segundo conjunto mediante flechas. PROP A x B = A = B = Dem. Si A x B = No existe ningn par ordenado (a, b) A x B A = B = PROP A x B A x B A A y B B Dem. Sean aA y bB (a, b) A x B Por hiptesis (a, b) A x B aA y bB Luego AA y BB Sea (a, b) A x B aA y bB Por hiptesis aA y bB (a, b) A x B Luego A x B A x B PROP Propiedad distributiva del producto cartesiano respecto de la interseccin: 1) Ax (BC) = (AxB) (AxC) 2) (BnC) x A= (BxA) (CxA) Dem. 1) El conjunto Ax(BC) est formado por

6/22

Ax (Bc) = {(a, x)/aA y xBC} y {(a, x)/aA y xBnC} = {(a, x)/aB y xC} = = {(a, x)/(aA y xB) y (aA y xC)} = = {(a, c)/aA y xB} {(a, x)/ aA y xC} = = (AxB) (AxC) Luego Ax (BC) = (AxB) (AxC) 2) Anlogo al anterior. PROP Propiedad distributiva del producto cartesiano respecto de la unin. 1) Ax (BC) = (AxB) (AxC) 2) (BC) xA = (BxA) (CxA) Dem. 2) (BC) xA = {(x, a)/ xBC y aA} = {(x, a)/(xB xC) y aA} = = {(x, a)/(xB y aA) (xC y aA)} = {(x, a)/xB y aA} {x, a)/ xC y aA} = (BxA) (CxA) 1) Anlogo al anterior. PROP Propiedades distributiva del producto cartesiano respecto de la diferencia. 1) Ax (B C) = (AxB) (AxC) 2) (B C) xA = (BxA) (CxA) Dem. 1) Ax (B C) = {(a, x) / aA y x (B C)} = {(a, x) / aA y (xB y xC)} = = {(a, x) / (aA y xB) y (aA y xC)} = (AxB) (AxC)j 2) Anlogo al caso anterior. 4. CORRESPONDENCIAS Y RELACIONES ENTRE CONJUNTOS. 4.1. Correspondencias. DEF Llamaremos Grafo, G, a todo conjunto compuesto por pares ordenados. 7/22

Segn la definicin, dados A y B conjuntos, un grafo es cualquier subconjunto de AxB. DEF Sean A y B dos conjuntos. Un subconjunto G de AxB, GAxB llamado grafo, define una correspondencia entre A y B. El conjunto G recibe el nombre de grafo de al correspondencia. La correspondencia se denota por la terna (A, B, G). Dada la correspondencia (A, B, G), podemos definir: 1) El conjunto {a A / bB con (a, b)G}, subconjunto de A, recibe el nombre de Dominio de la Correspondencia. Se denota por Dom (A, B, G). 2) El conjunto {b B / aA con (a, b)G}, subconjunto de B, recibe el nombre de Imagen de Correspondencia. Se denota por Im (A, B, G). 3) Dado aA, el conjunto {b B / (a, b)G} recibe el nombre de imagen de a. Se denota por Im (a). La correspondencia (A, B, G) se suele denotar por f, escribindose donde para cada (a, b)G, b se puede escribir como b = f(a). f: A B,

DEF Dada la correspondencia (A, B, G) definimos la correspondencia inversa como (B, A, G-1) siendo G-1 = {(b, a) / (a, b)G}. Tambin se suele denotar por f-1. Es claro que el conjunto Dom (f) = Im (f-1) y que Im (f) = Dom (f-1) por la propia definicin del conjunto G-1. 4.2. Relaciones. DEF Sean A y B dos conjuntos. Llamaremos relacin entre aA y bB, y se denota por aRb, a toda propiedad definida sobre AxB. Toda relacin lleva asociado un subconjunto GAxB siendo G = {(a, b)AxB / aRb}. DEF El conjunto G asociado a una relacin R entre A y B recibe el nombre de Grfica de la Relacin. DEF Llamaremos Relacin Binaria al caso particular de una relacin entre elementos del mismo conjunto, (caso A = B). Una relacin binaria definida sobre A puede verificar las siguientes propiedades: 1) Reflexiva: 2) Simtrica: aA se verifica (a, b)G (a, a)G (b, a)G aRa. (aRb bRa). a = b (aRb y bRa a = b).

3) Antisimtrica: Si (a, b)G y (b, a)G 8/22

4) Transitiva: 5) Convexa:

Si (a, b)G y (b, c)G

(a, c)G.

a, bA (a, b)G (b, a)G.

4.2.1. Relaciones de Equivalencia. DEF Una Relacin de Equivalencia es una Relacin binaria que verifica las propiedades reflexiva, simtrica y transitiva. DEF Sea A un conjunto y R una relacin de equivalencia definida en A. Para cada aA definimos la clase de equivalencia de a como el conjunto de elementos xA tales que aRx. Se representa por [a]. [a] = {xA / aRx} PROP Sea A un conjunto y R una relacin de equivalencia definida en A. Si a y a son elementos de A, son equivalentes: 1) aRa 2) a[a] 3) [a] = [a] Dem. 1) 2) Es cierta por definicin de clase de equivalencia. 2) 3) Sea x[a] xRa Por hiptesis a[a] aRa Luego [a] [a] Si x [a] xRa xRa x [a ] Por hiptesis aRa aRa Luego [a][a] Como [a][a] y [a][a] [a] = [a] 3) 2) Como a[a] y por hiptesis [a] = [a] a[a] COROLARIO. Dos clases de equivalencia o son iguales o son distintas. Dem. Sean [a] y [b] dos clases de equivalencia con a[a] y 9/22 b[b]. xRa x[a]

Si [a] [b] , sea x[a][b]

x [a ] [x ] = [a] [a ] = [b] x [b] [x ] = [b ]

DEF El conjunto formado por todas las clases de equivalencia que resultan de una relacin de equivalencia R sobre el conjunto A, se llama Conjunto Cociente de A por la relacin de equivalencia R, y se representa por A/R. COROLARIO. La igualdad Dem. Como
[a ] A R

U [a ] = A es cierta

[a ] = {a A / aRa} [a ] A

[a ] A R

U [a ] A

Para cada xA se verifica que Luego se da la igualdad. 4.2.2. Relaciones de Orden.

x[x] x U [a ] A U [a]
[a ] A R [a ]A R

DEF Una Relacin de Preorden es una relacin binaria que verifica las propiedades Reflexiva y Transitiva. DEF Una Relacin de Orden es una relacin binaria que verifica las propiedades Reflexiva, Antisimtrica y Transitiva. DEF Una Relacin de Orden Total es una Relacin de Orden que adems verifica la propiedad Conexa. Las relaciones de orden se suelen denotar por el smbolo . DEF Un elemento aA diremos que es mnimo si a x xA. Es mximo si x a xA. DEF Un elemento aA diremos que es minimal si no existe x a tal que x a. Diremos que es maximal si no existe x a tal que a x. OBS Elemento mnimo, si existe, es nico. Para que exista, debe ser comparable con todos, y ser el ms pequeo. En cambio, elemento minimal es el ms pequeo de todos con los que se puede comparar. Puede haber ms de uno. DEF Llamaremos Cadena a toda parte totalmente ordenada de un conjunto con una Relacin de Orden. Si la relacin definida en el conjunto A es de orden total, existe una nica cadena y la representacin se puede realizar en lnea recta (por ejemplo , 9, Q 3).

10/22

5. APLICACIONES ENTRE CONJUNTOS. DEF Sea f una correspondencia entre los conjuntos A y B (f: A B). Diremos que f es una aplicacin de A en B si verifica que para cada aA existe un nico bB tal que f(a) = b. Por tanto, si f es una aplicacin, para cada aA el conjunto Im(a) tiene un nico elemento. DEF Sea f: A B una aplicacin y A A un subconjunto. La aplicacin f: A B definida por f(x) = f(x) recibe el nombre de Restriccin de f a A, y se denota por f = fA. DEF Dos aplicaciones f: A B y g: C D aA f(a) = g(a). Se denota por f = g. son iguales si A = C, B = D y

DEF Diremos que la aplicacin f: A B es constante si aA se verifica que f(a) = b, para un cierto bB. PROP Si f es una aplicacin constante, el conjunto Dom(f) est formado por un solo elemento. Dem. Inmediata. Una aplicacin importante es la aplicacin identidad. Es una aplicacin de un conjunto en si mismo, f: A A, donde a cada elemento le hace corresponder como imagen l mismo, f(x) = xxA. Se representa por IA. DEF Sean A y B dos conjuntos y f: A B una aplicacin:

1) Diremos que f es inyectiva si de f(a) = f(a) con a, aA se deduce a = a. 2) Diremos que f es suprayectiva si bB aA tal que f(a) = b. El elemento aA no tiene porqu ser nico. 3) Diremos que f es biyectiva si es simultneamente inyectiva y suprayectiva. A la vista de al definicin podemos decir que una aplicacin f: A B es inyectiva si elementos distintos de A tienen imgenes distintas en B. Y es suprayectiva si todo elemento de B es imagen de alguno de A. PROP Sean A y B dos conjuntos y f una aplicacin de A en B biyectiva. La correspondencia inversa, f-1, es una aplicacin de B en A. Dem. Como f es biyectiva, en particular es suprayectiva. Entonces, 11/22

bB aA / f(a) = b. Y f-1(b) = a. Si aA / f-1(b) = a tenemos: a = a.

1) f 1 (b) = a f (a ) = b f ( a ) = f ( a) y como f es inyectiva 2) f 1 ( b) = a f ( a) = b

-1

Luego a cada elemento bB le corresponde un nico elemento aA tal que f (b) = a, que es la definicin de aplicacin para f-1.
-1 PROP Sea f: A B una aplicacin biyectiva. La aplicacin inversa f : B A es tambin biyectiva, y (f-1)-1 = f.

DEF Sean A, B, C y D conjuntos, f: A B y g: C D aplicaciones y ImfC. Llamaremos Aplicacin Compuesta de f y g a h: A D definida por xA h(x) = g(f(x)). Se denota por h = g f. PROP Sean A, B, C y D conjuntos de f: A B, g: B C y h: C D aplicaciones. Se verifica la propiedad asociativa para la operacin de composicin de aplicaciones. ho(g o f) = (h o g)of Dem. xA (h o (g o f) (x) = h((g o f)(x)) = h(g(f(x))) ((h o g) o f) (x) = (h o g)(f(x)) = h(g(f(x)) Luego h o (g o f) = (h o g) o f Si la aplicacin f est definida de A en su mismo, f: A A, entonces f o f = f2 y F = fn-1 o f.
n

PROP Sean A y B dos conjuntos y f: A B y g: B A dos aplicaciones. Se verifican las siguientes propiedades: 1) IB o f = f o IA = f 2) f es biyectiva f-1 o f = IA y f o f-1 = IB 3) g o f = IA f es inyectiva y g suprayectiva. 4) g o f = IA y f o g = I B f y g son biyectivas con g = f-1. Dem. 1) (IB o f) (x) = IB (f(x)) = f(x) = f(IA(x)) = (f o IA)(x) xA

12/22

2) (f-1 o f)(x) = f-1(f(x)) = x = IA(x)

xA

Como f es biyectiva (f-1)-1 = f f o f-1 = (f-1)-1 o f-1 = IB aplicando lo demostrado en este mismo apartado. 3) Sean a, aA con f(a) = f(a) g(f(a)) = g(f(a)) (g o f)(a) = (g o f)(a) IA(a) = IA(a) a = a f es inyectiva. Dado aA f(a) = b para algn bB g(f(a)) = g(b) (g o f)(a) = g(b) IA(a) = g(b) g(b) = a g es suprayectiva. 4) Como g o f = IA f es inyectiva y g suprayectiva. Como f o g = IB g es inyectiva y f suprayectiva. Luego f y g son biyectivas siendo f-1 = f-1 o IB = f-1 o (f o g) = (f-1 o f) o g = IA o g = g COROLARIO. Sea A, B y C conjuntos con f: A B, g: B C aplicaciones biyectivas. Entonces g o f es biyectiva y verifica (g o f)-1 = f-1 o g-1. Dem. (g o f) o (f-1 o g-1) = ((g o f) o f-1) o g-1 = g o IB o g-1 = g o g-1 = IC (f-1 o g-1) o (g o f) = ((f-1 o g-1) o g) o f = f-1 o IB o f = f-1 o f = IA Por el apartado 4) de la proposicin anterior g o f es biyectiva y (g o f)-1 = f-1 o g-1

6. LEYES DE COMPOSICIN. DEF Llamamos operacin entre los conjuntos A y B con valores en C a toda aplicacin de AxB en C. DEF Llamamos operacin interna, o ley de composicin interna, definida en A a toda aplicacin de AxA en A. DEF Llamamos operacin externa, o ley de composicin externa, definida sobre A por la derecha a toda aplicacin de AxB en A. Ser por la izquierda si la aplicacin es de BxA en A. El conjunto B recibe el nombre de dominio de operadores. 6.1. Leyes de Composicin Interna. Una operacin interna definida sobre A, por definicin, hace corresponder a cada par de elementos de A, es decir, un elemento de AxA, un nico elemento de A. 13/22

Si (x, y)AxA, su imagen por la aplicacin que define la operacin externa se suele indicar mediante alguno de los siguientes smbolos: x y, x + y, x y, x o y, etc. Si se escribe x + y la operacin interna recibe el nombre de suma, y se lee x mas y. Si se escribe x y la operacin interna recibe el nombre de producto, y se lee x por y x multiplicado por y. Veamos las propiedades que puede verificar una ley de composicin interna. Sea S una operacin interna sobre A. 1) Diremos que S verifica la propiedad asociativa en A si x, y, zA (xSy)Sz = xS(ySz) 2) Diremos que S es conmutativa si x, yA

xSy = ySx

3) Diremos que S admite Ele mento Neutro o Unidad si eA tal que xA eSx = xSe = x 4) Diremos que S admite elemento Simtrico si xA Por la izquierda xA tal que xSx = e Por la derecha xA tal que xSx = e 5) Diremos que S admite Elemento regular o Simplificable si x, yA r es Regular por la izquierda en A si rSx = rSy x = y r es Regular por la derecha en A si xSr = ySr x = y r es regular si y solo si lo es por ambos lados. 6) Diremos que S admite la propiedad idempotente si xA xSx = x 7) Diremos que S admite la propiedad distributiva respecto de otra operacin interna T de A si: Por la derecha: (xTx)Sz = (xSz)T(ySz) Por la izquierda: xS(yTz) = (xSy)T(xSz) Notacin Dado un conjunto A con una operacin interna S, se denotar por (A, S). Como ejemplos tenemos (, +) (3, +) (9, ).

14/22

6. 2. Leyes de Composicin Externa. Segn la definicin, en el conjunto A hay definida una operacin externa si tenemos un conjunto B que ser el dominio de operadores y una aplicacin de AxB (o BxA) en A. Los elementos del dominio de operadores se suelen denotar mediante letras griegas. Veamos algunas de las propiedades que puede verificar una ley de composicin externa, que denotaremos por T. 1) Conmutativa. 2) Pseudoasociativa. B xA Tx = xT

T (Tx ) = (R )Tx , B x A ( xT)T = xT (R) siendo R una operacin interna en B. 3) Elemento Unidad. :B xA :Tx = x = xT: 4) Distributiva respecto de S, operacin interna en A. B y x, y A Por la izquierda T ( xSy) = (Tx )S (Ty ) Por la derecha ( xSy)T = (xT)S ( yT)

5) Distributiva la operacin interna R de B respecto de T. , B Por la izquierda (R)Tx = (Tx )S (Tx ) x A Por la derecha xT (R) = (xT)S ( xT)

7. ESTRUCTURAS ALGEBRAICAS. 7.1. Estructuras Algebraicas con una operacin interna. A lo largo de este punto vamos a denotar la operacin interna mediante el smbolo . Entonces, el par (A, ) denota al conjunto A con la operacin interna . DEF El par (A, ) es un Semigrupo si la operacin interna es asociativa en A.

DEF El par (A, ) es un Semigrupo Conmutativo si adems verifica la propiedad Conmutativa. DEF Diremos que (A, ) es un Monoide si es un semigrupo con elemento neutro.

Ejemplos: 1) ( , +) es un semigrupo conmutativo. 15/22

2) (, ) es un Monoide. DEF Diremos que (G, ) es un grupo si se cumplen las propiedades asociativa, existencia de elemento neutro y existencia de elemento simtrico. Si adems se verifica la propiedad conmutativa, diremos que es un grupo abeliano o conmutativo. PROP En un grupo (G, ) el elemento neutro es nico. Dem. Sabemos que eG es el elemento neutro. Sea eG un elemento tal que Entonces se da que ex = xe = x xG

e = ee = e

y por tanto el neutro es nico.

PROP Cada elemento de G admite un nico inverso. Dem. xG sabemos que x-1G / xx-1 = e = x-1x

Sea x -1G

otro inverso de x.

X-1 = x-1e = x-1(xx-1) = (x-1x)x-1 = ex-1 = x-1 Por tanto el inverso es nico. PROP Dado (G, ) un grupo y 1) Si 2) Si x, y, zG elementos cualesquiera, se verifica:

xy = e x = y-1 , y = x-1 xy = xz y = z xy = y x = e (anlogamente yx = y)

3) Si para algn yG 4) (xy)-1 = y-1x-1 Dem. 1) xy = e xy = e

(xy)y-1 = ey-1 x(yy-1) = y-1 xe = y-1 x = y-1

x-1(xy) = x-1e (x-1x)y = x-1 ey = x-1 y = x-1

2) xy = xz x-1(xy) = x-1(xz) (x-1x)y = (x-1x)z ey = ez y=z 3) xy = y (xy)y-1 = yy-1 x(yy-1) = e xe = e x = e 16/22

4) (xy)(y-1x-1) = (x(yy-1))x-1 = (xe)x-1 = xx-1 = e Aplicando 1) y-1x-1 = (xy)-1 COROLARIO Dem. Tomando y = x-1 y aplicando el apartado 1) de la proposicin anterior se obtiene. DEF Llamaremos Orden del Grupo (G, ) al nmero de elementos de G, en caso de que sea finito. DEF Sea (G, ) un grupo y HCG un subconjunto no vaco. Diremos que (H, ) es un Subgrupo de (G, ) si 1) x, yH xyH 2) eH 3) xH x-1H PROP Sea (G, ) un grupo y HCG un subgrupo no vaco. (H, ) es un subgrupo de (g, ) si y solo si x, yH xy-1H. Dem. Como (H, ) es subgrupo x, yH x, y-1H xy-1H. xG con (g, ) grupo, se verifica (x-1)-1 = x

Sea xH. Entonces por hiptesis xx-1H eH. Sea xH y eH por hiptesis ex-1H x-1H Sea x, yH por lo anterior y-1H Aplicando la hiptesis x(y-1)-1H xyH. Como (H, `) verifica las tres condiciones (H, ) es subgrupo de (G, ). 7.2. Estructuras Algebraicas con dos operaciones internas. A lo largo de este punto vamos a denotar las dos operaciones internes mediante smbolos y o . 7.2.1. Anillos. DEF La terna (A, , o ) es un Semianillo si se verifican

1) (A, ) es un semigrupo conmutativo con neutro. 17/22

2) (A, o ) es un semigrupo. 3) La operacin o es distributiva respecto de la operacin . DEF (A, , o ) es un Semianillo conmutativo si (A, , o ) es un semianillo y (A, o ) es un semigrupo conmutativo. DEF (A, , o ) es un Semianillo con elemento unidad si (A, , o ) es un Semianillo y (A, o ) es un semigrupo con elemento neutro. Ejemplo. (, +, )es un semianillo conmutativo con elemento unidad. DEF Llamamos Anillo a la terna (A, , o ) verificando:

1) (A, ) es un grupo conmutativo. 2) (A, o ) es un semigrupo. 3) La operacin o es distributiva respecto de la suma. Si adems, la operacin o es conmutativa, el anillo es Conmutativo; si la operacin o tiene elemento neutro, es un anillo unidad; y si verifica ambas, es un anillo conmutativo con elemento unidad. Ejemplo: Los conjuntos 9, Q, 3 y " con la suma y el producto forman Anillos Conmutativos con elemento Unidad. PROP Sea (A, +, ) un anillo. x, y, zA se verifican las siguientes propiedades: 1) O x = x O = O 2) (- x) y = x (- y) = - (xy) 3) (- x) (- y) = xy 4) x (y z) = xy xz Dem. 1) x O = x ( O + O) = x O + x O x O = O O x = (O + O) x = O x + O x O x = O 2) (- x) y + x y = (- x + x) y = O y = O (- x) y = - (xy) x y + x (- y) = x (y y) = x O = O x (- y) = - (xy) 3) (- x) (- y) = - (x (- y)) = - (- (x y)) = x y 18/22 y (x y) z = x z y z

4) x (y z) = x (y + (- z)) = x y + x (- z) = x y + (- x z) = x z y z (x y) z = (x + (- y)) z = x z + (- y) z = x z + (- y z) = x z y z DEF Diremos que a, bA, con (A, , o ) anillos, son Divisores de Cero si a e0 , b e0 y a o b = e0 (con e0 es neutro de la operacin o . OBS Si utilizamos las operaciones habituales de suma y producto (al igual que en la proposicin anterior), la definicin dice que las divisiones de cero son aquellas que verifican a 0, b o y a b = 0. DEF (A, , o ) es un Dominio de integridad si es un Anillo conmutativo con elemento unidad y no posee divisores de cero. DEF Sea (A, , o ) un Anillo y SCA un subconjunto no vaco. Diremos que (S, , o ) es un Subanillo de (A, , o ) si 1) (S, ) es un subgrupo de (A, ) 2) x, yS se cumple que x o yS. Si adems, (A, , o ) es un Anillo con unidad, (S, , o ) lo ser si e0 SEjemplos: (9, +, ) es un subanillo conmutativo con unidad de (Q, +, ). DEF Diremos que un subconjunto no vaco IA, con (A, , o ) anillo, es un Ideal de A si cumple 1) (I, ) es un subgrupo de (A, ) 2A) xI y aA 2B) xI y aA a o xI x o aI

Si slo verifica 1 y 2A diremos que es ideal por la izquierda y si slo verifica 1 y 2B ser ideal por la derecha. Ejemplo: Todos los ideales de 9 son los conjuntos I = (a) con (a) = {a n / n9} PROP Sea (A, , o ) un anillo. Todo ideal I del anillo es un subanillo. Dem. Inmediatamente a partir de ambas definiciones.

19/22

OBS El recproco de la proposicin anterior no es cierto. DEF Sea (A, , o ) un anillo y Ba un subconjunto. Llamamos ideal engendrado por el subconjunto B al menor ideal que contiene a B. DEF Diremos que un ideal I es principal si es un ideal engendrado por un subconjunto con un solo elemento. DEF Un Anillo (A, , o ) es Principal si es un dominio de integridad y todos sus ideales son principales. DEF Sea (A, , o ) un anillo conmutativo e I un ideal de A. Diremos que I es Ideal Maximal si I A y no est contenido estrictamente en un ideal propio. DEF Sea (A, , o ) un anillo conmutativo e I un ideal de A con I A. Diremos que I es un ideal primo si la relacin x o yI implica que xI o yI. 7.2.2. Cuerpos. DEF Diremos que un anillo (K, , o ) es un Cuerpo si todo elemento no nulo de K admite inverso para la operacin o . El Cuerpo es conmutativo si la operacin o es conmutativa. Tambin podemos prescindir de la nocin de Anillo y dar como definicin de Cuerpo la siguiente. DEF Diremos que la terna (K, , o ) es un Cuerpo si se verifica:

1) (K, ) es un grupo conmutativo. 2) (K { o }, o ) es un grupo. 3) La operacin o es distributiva respecto de . Si adems (K { o }, o ) es conmutativo, diremos que (K, , o ) es un Cuerpo Conmutativo. DEF Un subconjunto K0 K con (K, , o ) es un subcuerpo si (K 0 , , o ) es un cuerpo.

7.2.3. Retculo. DEF 1) 2) 3) 4) Llamaremos Retculo a la terna (A, , o ) verificando: Las dos operaciones internas son asociativas. Las dos operaciones internas son conmutativas. Las dos operaciones internas son idempotentes. Las dos operaciones internas son absorbentes.

OBS Para que una operacin interna sea idempotente debe verificar que aA 20/22

aa = a a o a = a. Para que y o sean absorbentes (verifiquen la propiedad de absorcin) debe cumplirse que a, bA (ab) o a = a y (a o b)a = a Ejemplo: Dado un conjunto U, tenemos que (P(U), , ) es un retculo. DEF La terna (A, , o ) es un retculo distributivo cuando, adems de ser retculo, ambas operaciones internas verifican la propiedad distributiva de una respecto a la otra. DEF Llamaremos Elemento Infinito del retculo (A, , o ) y lo representaremos por i, al elemento neutro de al operacin . DEF Llamaremos Elemento Universal del retculo (A, , o ), y lo representaremos por u, al elemento neutro de la operacin o . PROP Sea (A, , o ) un retculo con elemento nfimo y elemento universal. Dado aA se verifica 1) a o i = i 2) au = u Dem. Como i es el elemento neutro de se verifica aA ai = a Por la propiedad de absorcin (ia) o i = i a o i = i Como u es el elemento neutro de o se verifica aA a o u = a Por la propiedad de absorcin (u o a)u = u au = u DEF Diremos que (A, , o ) es un retculo Complementario si es un retculo con elementos nfimo y universal y adems verifica: aA acA / aac =u y a o ac = i 7.3. Estructuras Algebraicas con una operacin interna y otra externa. En este punto vamos a denotar por a la operacin externa, teniendo como subndice el conjunto sobre el que est definida. 7.3.1. Mdulos. DEF Sea (A, , o ) un anillo conmutativo con unidad y M un conjunto sobre el que hay definida una operacin interna, M, y una operacin externa A, con dominio de operadores A. Diremos que (M, M, A) es un A-Mdulo si verifica

21/22

1) (M, M) es un grupo conmutativo. 2) La Ley externa verifica la propiedad distributiva (por ambos lados) respecto de M, la propiedad pseudoasociativa y existe elemento unidad. Si adems, la operacin externa es conmutativa, diremos que (M, M, A) es un AMdulo Conmutativo. DEF Si (M, M, A) es un A-Mdulo y SM es no vaco, diremos que S es un submdulo de M si S, con las operaciones de M restringidas, es un A-Mdulo. 7.3.2. Espacios Vectoriales. DEF Sea (M, M, A) un A-Mdulo. Diremos que es un Espacio Vectorial si el dominio de operadores A tiene estructura del Cuerpo. Una definicin alternativa sin que aparezca el concepto de Mdulo sera: DEF La terna (V, V, K) es un K-Espacio Vectorial si verifica:

1) (K, K), o ) es un cuerpo. 2) (V, V) es un grupo conmutativo. 3) La ley externa verifica la propiedad distributiva (por ambos lados) respecto de V, la propiedad pseudoasociativa y existe elemento unidad. DEF Si (V, V, K) es un K-espacio vectorial y WV es no vaco, diremos que W es un subespacio vectorial de V si W, con las operaciones de V restringidas, es un Kespacio vectorial. PROP W es un Subespacio vectorial de (V, V), K) si y solo si verifica: 1) x, yW x V y W 2) K xW K xW

22/22