Estructuras Algebraicas



Descargar 22,46 Kb.
Fecha de conversión10.01.2017
Tamaño22,46 Kb.

Estructuras Algebraicas

  • UCR – ECCI
  • CI-1204 Matemática Discretas
  • Prof. M.Sc. Kryscia Daviana Ramírez Benavides

Estructuras Algebraicas

  • Sea E un conjunto no vacío, una función f
  • se llama ley de composición interna (operación) sobre E. Además, la imagen f(a,b) se llama el operado de a y b.
  • Es usual representar las operaciones internas con algunos símbolos especiales, en vez de letras, como *, , , entre otros.
  • Por definición, si * es una ley de composición interna sobre E, entonces es cerrada sobre E, es decir, se cumple que

Estructuras Algebraicas (cont.)

  • Si * es una ley de composición interna sobre E, se dice que (E,*) posee una estructura algebraica.
  • Una estructura algebraica es una n-tupla (a1,a2,...,an), donde a1 es un conjunto dado no vacío, y {a2,...,an} un conjunto de operaciones aplicables a los elementos de dicho conjunto.
  • Si * es una ley de composición interna sobre E, se dice que *:
    • Es asociativa: para cualesquiera elementos del grupo no importa el orden en que se operen las parejas de elementos, mientras no se cambie el orden de los elementos, siempre dará el mismo resultado.

Estructuras Algebraicas (cont.)

  • Si * es una ley de composición interna sobre E, se dice que *:
    • Posee elemento neutro o elemento identidad (comúnmente denotado como e, letra inicial de la palabra alemana einheit, que significa "unidad"): existe un elemento que al ser operado con cualquier otro, no lo modifica (como el cero en la suma o el 1 en la multiplicación). La unicidad del elemento neutro es fácilmente demostrable. .
    • Tiene elementos opuestos o inversos: todos los elementos del grupo tienen un elemento opuesto (o inverso), con el que al operarse dan por resultado el elemento neutro e. El elemento inverso de uno dado es único.

Estructuras Algebraicas (cont.)

  • Si * es una ley de composición interna sobre E, se dice que *:
    • Es conmutativa: para cualesquiera elementos del grupo no importa el orden de los elementos siempre dará el mismo resultado.
  • Un elemento h es absorbente por la izquierda si h * a = h y lo es por la derecha si a * h = h para todo a. Se dice que es el elemento absorbente si lo es por la derecha y por la izquierda.

Estructuras Algebraicas (cont.)

  • En el caso que E sea un conjunto finito, es decir, E = {a1, a2, …, an}, la operación * se puede representar en una tabla, en la cual la entrada i,j denota el elemento ai * aj:
  • *
  • a1
  • a2
  • aj
  • an
  • a1
  • a1 * a1
  • a2
  • a2 * a1
  • a2 * a2
  • a2 * aj
  • a2 * an
  • ai
  • ai * a1
  • ai * a2
  • ai * aj
  • ai * an
  • an
  • an * a1
  • an * a2
  • an * aj
  • an * an

Estructuras Algebraicas (cont.)

  • Un elemento a es idempotente si a * a = a para todo a.
  • Un elemento a es involutivo si a * a = e para todo a.
  • Un elemento a es central si conmuta con todos los elementos de E, el conjunto formado por todos los elementos centrales se llama el centro de E y se denota por C(E).
    • (C(E),*) es un subgrupo de (E,*).

Grupos

  • Si G es un conjunto no vacío y * es una operación interna definida sobre G. Se dice que (G,*) es:
    • Un semigrupo si * es asociativa.
    • Un monoide si es un semigrupo con elemento neutro.
    • Un grupo si es un monoide que cumple la propiedad de los inversos, es decir, (G,*) es un grupo si * es cerrada, asociativa, posee elemento neutro y cada elemento tiene inverso.
    • Un grupo abeliano o grupo conmutativo si es un grupo y se cumple la conmutatividad. En el caso de que no sea un grupo, se dice que la estructura algebraica es conmutativa.

Grupos (cont.)

  • Notaciones:
    • La notación multiplicativa .
      • Operación: , , , llamada producto.
      • Elemento neutro: 1.
      • Elemento inverso: x − 1.
    • La notación aditiva .
      • Operación: +, llamada suma.
      • Elemento neutro: 0.
      • Elemento opuesto de un elemento x del grupo: -x.

Grupos (cont.)

  • Si (G,*) es un monoide, se tiene que a0 = e, y para n natural, con n  1:
  • Si además cumple con la propiedad de los inversos, los exponentes negativos se definen como:
  • n veces a

Grupos (cont.)

  • Teorema 1. Si (G,*) es un grupo, en general se tiene que
  • Demostración.
  • (1)
  • (2)

Grupos (cont.)

  • Notar que si el grupo es abeliano se puede escribir
  • En caso contrario se debe respetar (1) del teorema 1.
  • Si el grupo es finito, su orden se denota por o(G) y corresponde a la cardinalidad como conjunto.
  • Para nN con n  2, y la relación  definida sobre Z por
  • se define al conjunto Zn = Z/, es decir, Zn es el conjunto de clases residuales módulo n.
  • Sobre estos conjuntos Zn, se definen las operaciones usuales de suma  y multiplicación  de clases.

Grupos (cont.)

  • Para todo n  2, (Zn,) es grupo abeliano y o(Zn) = n.
  • (Zn*,) es grupo abeliano si y sólo si n es un número primo. Además, o(Zn*) = n – 1.
  • Sea G un grupo, y un elemento xG. se dice que G es un grupo cíclico generado por x si para cada elemento yG existe un nZ tal que y = xn.

Grupos (cont.)

  • Teorema 2. Si G es cíclico entonces es grupo abeliano, y si G es generado por x entonces también es generado por su inverso x-1.
  • Demostración.

Grupos (cont.)

  • Para el conjunto X = {1, …, n}, se define el grupo simétrico Sn como el conjunto de todas las funciones biyectivas de X en X, dotado con la composición de funciones como operación interna.
  • El orden de Sn es n!, o(Sn) = n!.
    • Al asignar la imagen al primer elemento se tienen n posibilidades al fijar una de éstas, para asignar la imagen del segundo elemento se tienen n – 1 posibilidades; así, al fijar las imágenes para hacer la función biyectiva, el número de funciones que se obtiene es n!.
  • Si p es un número primo y G un grupo, se dice que G es un p-grupo si su orden es una potencia de p.

Subgrupos

  • Algunos conjuntos que poseen estructura de grupo, poseen subconjuntos que también tienen esta misma estructura de grupo.
  • Si (G,*) es un grupo, HG con H  , H se llamará subgrupo de G, y se denota por H < G, si y sólo si (H,*) es un grupo.
    • Un subgrupo es un subconjunto no vacío del grupo que sea grupo con la operación restringida a sus elementos.

Subgrupos (cont.)

  • Teorema 3 (De Lagrange). El orden del subgrupo es un divisor del orden del grupo. (Buscar demostración)
  • Teorema 4. Sea (G,*) un grupo, con HG con H  , entonces
  • Demostración. Ver libro en la página 322.
  • Teorema 5. Sea (G,*) un grupo finito, con HG con H  , entonces
  • Demostración. Ver libro en la página 323,

Subgrupos (cont.)

  • El teorema 3 determina la cantidad de elementos que debe tener un subgrupo, en caso de que el grupo tenga orden finito.
  • Los teoremas 4 y 5 dan la condición necesaria y suficiente para el caso que se quiera demostrar, o verificar, que un subconjunto de un grupo es o no un subgrupo de él.
  • Además, al ser de equivalencia en ambos teoremas, en el caso de que no se cumpla la condición de cerradura planteada, se concluye que el subconjunto no es subgrupo.

Subgrupos (cont.)

  • Teorema 6. Un subgrupo de un p-grupo es un p-grupo.
  • Demostración.

Subgrupos (cont.)

  • Una condición necesaria para que (Zn*,) sea grupo es que p sea primo. Así, en el caso que p no es primo no se obtiene la deseada estructura de grupo.
  • El conjunto Un, definido por es un grupo abeliano.

Homomorfismos de Grupo

  • Si (G,*) y (F,) son dos grupos. Se dice que una aplicación f : GF es un homomorfismo de grupos si para todo a y b en G se satisface que f(a * b) = f(a)  f(b). Si, además de ser homomorfismo,
    • f es sobreyectiva, entonces f es un epimorfismo.
    • f es inyectiva, entonces f es un monomorfismo.
    • f es biyectiva, entonces f es un isomorfismo.
    • G = F, entonces f es un endomorfismo.
    • G = F y biyectiva, entonces f es un automorfismo.

Homomorfismos de Grupo (cont.)

  • Para un homomorfismo de grupos f : GF se define el núcleo de f como el conjunto Nf = f -1({e’}), donde ees el elemento neutro de F.
    • El núcleo de un homomorfismo está formado por los elementos cuya imagen es el neutro.
      • kerf = Nf = {xG | f(x) = e’}

Homomorfismos de Grupo (cont.)

  • Teorema 7. Si f : GF es un homomorfismo de grupos, si e es el elemento neutro de G y además e’ es el elemento neutro de F, entonces se cumple que
  • Demostración.
  • (1)
  • (2)

Homomorfismos de Grupo (cont.)

  • Teorema 8. Sea f : GF es un homomorfismo de grupos, con e el elemento neutro de G y e’ el elemento neutro de F, si Nf = {e} entonces f es inyectiva.
  • Demostración.

Anillos

  • Un anillo es una estructura algebraica formada por un conjunto y dos operaciones que están relacionadas entre sí, mediante la propiedad distributiva, de manera que generalizan las nociones de número, especialmente en el sentido de su “operabilidad”.
    • En un anillo se tienen un conjunto no vacío A, y dos operaciones binarias + y •.

Anillos (cont.)

  • Un anillo es un triple (A,*,), lo cual es una estructura algebraica en la cual A es un conjunto no vacío y *,: AAA son dos operaciones binarias definidas sobre A que satisfacen las condiciones siguientes:
    • (A,*) es un grupo abeliano.
    • (A,) es un semigrupo.
    • La operación  es distributiva respecto a la operación *. Esto es, para todo a,bA

Anillos (cont.)

  • Cuando (A,) es un monoide se dice que A es un anillo unitario o anillo con unidad que representaremos por 1 (elemento neutro del producto).
  • Cuando (A,) es un semigrupo conmutativo, se dice que A es anillo conmutativo o anillo abeliano.

Anillos (cont.)

  • Para trabajar con una notación más familiar, el anillo (A,+,•), en el cual:
    • El neutro de (A,+) se denota 0, y para todo xA, a su inverso (para la operación +) se denotará −x.
    • Si la operación • posee neutro en A, éste se denotará por 1 y se dice que (A,+,•) es un anillo con unidad.
    • Si xA posee inverso para la operación •, éste se denotará por x−1. Si • es conmutativa, (A,+,•) se llamará anillo conmutativo.

Anillos (cont.)

  • El ejemplo más sencillo y representativo de estructura de anillo se encuentra en (Z,+,•), el anillo de los enteros. Este anillo tiene unidad y es conmutativo.
  • Por similitud con (Z,+,•), cuando tratemos con un anillo unitario cualquiera, en general se refiere a la suma y al producto como primera y segunda operación, respectivamente, y se utiliza el 0 y el 1 como neutros respectivos.
    • Para abreviar la notación, se escribe ab en lugar de ab.

Anillos (cont.)

  • Los axiomas de anillo son una abstracción del comportamiento de los números enteros respecto de las operaciones aritméticas elementales: la suma y el producto.
  • Otra clase importante de anillos abelianos unitarios finitos es (Zn,+,•) el anillo de los enteros módulo n.

Anillos (cont.)

  • Sea (A,+,•) un anillo, entonces:
    • (∀xA) 0 • x = x • 0 = 0.
    • (∀x,yA) −(xy) = (−x) • y = x • (−y).
    • (∀x,yA) (−x) • (−y) = xy.
    • Si el anillo posee unidad, entonces (∀xA) −x = (−1) • x = x • (−1).
  • La ley de simplificación es otra propiedad importante que cumplen los números enteros, es decir, para todo a,b,cZ* = Z – {0} se verifica ab = acb = c.

Anillos (cont.)

  • La propiedad de ley de cancelación está relacionada con la definición:
    • El anillo (A,+, •) admite divisores de cero si existen a,bA* = A – {0} tales que ab = 0.
      • Los elementos [2] y [3] de Z6 son dos divisores de cero.
      • Los divisores de cero de un anillo Zn son aquellas clases cuyos elementos no son primos relativos de n (mcd(n,a)  1).
  • Teorema. Sea el anillo (A,+, •), entonces es válida la ley de cancelación si y sólo si no tiene divisores de cero.
    • Se llama dominio de integridad, a un anillo conmutativo unitario que no contiene divisores de cero.

Referencias Bibliográficas

  • Murillo, Manuel. “Introducción a la Matemática Discreta”. 2da edición, Editorial Tecnológica de Costa Rica. Cartago, 2007.
  • Wikipedia. “Estructura algebraica”. URL: http://es.wikipedia.org/wiki/Estructura_algebraica. Modificado 22 de febrero del 2009.
  • “Anillos y cuerpos”. URL: http://www.edicionsupc.es/ftppublic/pdfmostra/ME02405M.pdf.
  • Wikipedia. “Anillos”. URL: http://es.wikipedia.org/wiki/Anillo_(matem%C3%A1tica). Modificado 18 de septiembre del 2008.


La base de datos está protegida por derechos de autor ©absta.info 2016
enviar mensaje

    Página principal