REPUBLICA BOLIVARIANA DE VENEZUELA UNIVERSIDAD PEDAGOGICA EXPERIMENTAL LIBERTADOR INSTITUTO PEDAGOGICO RURAL GERVASIO RUBIO MATERIA: ESTRUCTURA ALGEBRAICA

GRUPO 92 SECCION: 09012 PROFESOR: KATHERINE RAMIREZ

ESTRUCTURA ALGEBRAICA

INTEGRANTE: Maritza A Villaveces de Snchez C.I: V- 9.416.303

Rubio, 10 de Julio de 2010

INTRODUCCIN

Para la realizacin del presente trabajo se ha efectuado una recopilacin de distintos textos, y pginas obtenidas del internet, que mediante la incorporacin de conceptos claves de cada uno de ellos se ha podido realizar de una manera clara el trabajo, tratando de presentar los temas de forma que sean ms entendibles y claros. Las estructuras algebraicas se clasifican segn las propiedades que cumplen las operaciones sobre el conjunto dado. En estructuras algebraicas ms elaboradas, se definen adems varias leyes de composicin interna. Recurrir a estructuras para estudiar determinados procesos, adems de que conlleva siempre unas ciertas dosis de abstraccin, es una tcnica que no compite slo a las Matemticas. Es, hasta cierto punto, un proceso natural en los mecanismos de reflexin. Cuando se estudian las posibles reacciones de un grupo de personas ante determinados estmulos se est intentando establecer una estructura de pautas de comportamiento que se pueda aplicar en condiciones similares. Tambin hablaremos de las operaciones o leyes de composicin que operan estas estructuras y sobre algunas estructuras como son los monoides y los submonoides

OPERACIN O LEY DE COMPOSICIN En matemtica una operacin es la accin de un operador sobre una seleccin de elementos de un conjunto. El operador toma los elementos inciales y los relaciona con otro elemento de un conjunto final que puede ser de la misma naturaleza o no; esto se conoce tcnicamente como ley de composicin. El conjunto de partida puede estar formado por elementos de un nico tipo (las operaciones aritmticas actan slo sobre nmeros) o de varios (el producto de un vector por un escalar engloba al conjunto unin de vectores y escalares que conforman un espacio vectorial). Se dice que en A se ha definido una ley de composicin interna u operacin cuando se define una aplicacin del producto cartesiano AXA en A de tal forma que el par de elementos (a,b) genere otro elemento c, tal que c tambin pertenece al conjunto A. Para representar el elemento imagen del par (a,b) se utiliza la notacin c=afb donde f es cualquier smbolo. Por ejemplo PROPIEDADES DE LAS LEYES DE COMPOSICIN Asociativa Se dice que la ley de composicin * es asociativa cuando para cualquier elemento a,b,c pertenecientes al conjunto A se verifica: (a * b) * c = a * (b * c) Conmutativa Se dice que la ley de composicin * es conmutativa cuando para cualquier elemento a,b,c pertenecientes al conjunto A se verifica: a*b=a*b

Elemento neutro Se dice que la ley de composicin * posee elemento neutro cuando existe un elemento n de A tal que cualquiera que sea a perteneciente al conjunto A se verifica: a*n=a Elemento simtrico Se dice que la ley de composicin, que posee elemento neutro, es simetrizable cuando para cualquier elemento de a perteneciente al conjunto A existe un elemento a' de A tal que: a*a'=n Donde n es el elemento neutro Distributiva entre dos operaciones Se dice que la ley de composicin * es distributiva respecto de la operacin cuando cualquiera que sean los elementos a, b, c pertenecientes al conjunto A se verifica: a * (b c)= a * b a * c Dependiendo de cmo sean los conjuntos implicados en la operacin con respecto al conjunto considerado principal segn nuestras intenciones podemos clasificar las operaciones en dos tipos: internas y externas. LEY DE COMPOSICIN INTERNA Se dice que en A se ha definido una ley de composicin interna u operacin cuando se define una aplicacin del producto cartesiano AXA en A de tal forma que el par de elementos (a,b) genere otro elemento c, tal que c tambin pertenece al conjunto A.

Es la operacin

en la que, tanto en sus elementos iniciales como en su resultado,

slo interviene un conjunto A nico.

de n argumentos. Que tambin puede expresarse:

O tambin:

Por el nmero de trminos de la operacin podemos diferenciar: Operacin unaria

Operacin unaria, con un solo parmetro:

tambin suelen denominarse funciones. Vamos unos ejemplos: Dado el conjunto de los nmeros naturales N, definimos la operacin unaria incremento, como la operacin que para cada nmero natural n calcula el siguiente:

Partiendo de los nmeros enteros Z, la operacin opuesto determina para cada nmero entero e su opuesto;

Operaciones binarias

Operacin binaria: un caso muy importante es cuando n es igual a dos, que se representa:

y tambin:

Ejemplos En el conjunto de los nmeros naturales, la operacin de adicin es interna pues la suma de dos naturales siempre es otro nmero natural. En el conjunto la resta no es operacin interna pues el resultado no siempre es natural, mientras que si nos atenemos al conjunto de los enteros s se trata de una operacin interna. En el conjunto de los nmeros naturales, expresa: 1. 2. 3. 4. Como operaciones binarias, donde a y b son los sumandos y c el resultado de la suma. la operacin de adicin: +, , se

LEY DE COMPOSICIN EXTERNA Es la operacin en la que intervienen distintos conjuntos. Una ley externa sobre un conjunto A con un conjunto B es una aplicacin:

esta aplicacin se dice que es una ley de composicin externa. Ejemplo: Dado el conjunto de los vectores en el plano y el conjunto de escalares de

nmeros reales, tenemos que el producto de un nmero real por un vector en el plano es un vector en el plano:

Dado el vector:

Si lo multiplicamos por un escales 3:

podemos ver que los dos vectores son del plano:

Partiendo de los conjuntos A y B distintos, y una aplicacin:

se dice que tambin es una ley de composicin externa. Por ejemplo el Producto escalar de dos vectores en el plano, da como resultado un nmero real, esto es:

Tomando los vectores del plano:

Y siendo su producto escalar:

Que da por resultado un nmero real, veamos un ejemplo numrico:

Operando

Otro ejemplo es la resta de nmeros naturales

ESTRUCTURA ALGEBRAICA Una estructura algebraica es un conjunto no vaco con por lo menos una operacin binaria, podemos decir que (R, +) y (R, ) son sistemas algebraicos o estructuras

algebraicas porque la suma y la multiplicacin de nmeros reales son operaciones binarias sobre dicho conjunto. Adems como el conjunto de los nmeros enteros Z es un subconjunto de los nmeros reales R. Podemos decir que los nmeros enteros Z son cerrados con respecto a la suma y la multiplicacin, es decir, que tambin (Z, +) y (Z, ) son sistemas algebraicos o estructuras algebraicas. Por ejemplo la operacin suma con el conjunto de los nmeros naturales N, forma una estructura algebraica puesto que cualquiera que sean los nmeros naturales N siempre

que se sumen dos naturales el resultado ser otro nmero natural N. En pocas palabras N es un conjunto no vaco y + es una operacin interna en N. Por tanto (N, +) constituye una estructura algebraica lo que define a la estructura del conjunto son las operaciones que se pueden realizar con los elementos de dicho conjunto y las propiedades matemticas que dichas operaciones poseen. Un objeto matemtico constituido por un conjunto no vaco y algunas leyes de composicin interna definida en l es una estructura algebraica. Las estructuras algebraicas ms importantes son: Estructura Magma Semigrupo Monoide Monoide abeliano Grupo Grupo abeliano Estructura (A,+,) Semianillo Anillo Cuerpo (A,+) Monoide abeliano Grupo abeliano Grupo abeliano (A,) Monoide Semigrupo Grupo abeliano Ley interna Asociatividad Neutro Inverso Conmutatividad

MONOIDE Si (S, *) es un semigrupo con un elemento identidad, entonces lo llamamos Monoide, es decir: * es asociativa x, y, z S, x * (y * z) = (x * y) * z e es el elemento identidad con respecto a * x S, x * e = e * x = x Todo Monoide es Semigrupo, pero no todo Semigrupo es Monoide. Sea el conjunto S = {A, B, C} y la operacin * C = A * (B * C)

* definida como asociativa, es decir, (A * B)

*ABC AABC BBCA CCAB (A * B) * C = A * (B * C)

B*C=A*A
A=A (C * A) * B = C * (A * B) C*B=C*B A=A * es Asociativa. A*A=A B*A=A*B=B C*A=A*C=C A es el elemento identidad. Por tanto (S, *) es un Monoide. Ejemplos de Monoide ( N , + ) , ( Z , + ) , ( Q , + ) , son monoides. ( N , - ) no es un monoide porque la sustraccin no es ley de composicin interna en N.

( N , ) donde est definido como a b = mx.{a , b} es un monoide

SUBMONOIDES Un subconjunto B de un monoide A es un submonoide de A si es cerrado para el producto. Es evidente que entonces B es un monoide en s mismo. Cada monoide A tiene a A mismo como submonoide y, si A es unitario, entonces el conjunto {e}, que tiene como nico elemento a la unidad de A, tambin es un submonoide de A. Estos son los llamados submonoides triviales de A. Un submonoide de A es propio si es distinto de A. Es fcil comprobar que la interseccin de una familia arbitraria de submonoides de A es un submonoide de A. Por ejemplo, dado un subconjunto S de A, la interseccin de los submonoides de A que incluyen a S es el mnimo submonoide de A que contiene a S.

Si A =

, decimos que S genera a A. Siguiendo la prctica usual, si S = { , . Esto se debe simplemente a una cuestin

, } escribiremos ,, y no{ ,,

de esttica. Un monoide A es finitamente generado si existe un subconjunto finito S de A que lo genera. Es claro que si A es finito, entonces es finitamente generado. Por ltimo decimos que A es cclico si existe a A tal que A = . Cuando A es un monoide asociativo, entonces todo submoniode de A tambin es asociativo y para cada subconjunto S de A, vale que ={ ,, :n1y S}

ya que no nos vemos obligados a tomar todos los productos asociados de todas las maneras posibles. Decimos que un submonoide B de un monoide unitario A es unitario si contiene a la unidad de A. Es claro tambin que el mnimo submonoide unitario , de un monoide unitario A que contiene a un subconjunto S de A, es el mnimo submonoide de A que contiene a la unidad de A y a S. Si A = unitario. De la misma manera que para el caso de submonoides de monoides no unitarios, cuando S sea { , , }, escribiremos ,, en lugar no{ ,, . Notemos , decimos que S genera a A como monoide

adems que si un monoide es conmutativo, entonces todo submonoide de el tambin lo es.

PARTE ESTABLE DE UNA ESTRUCTURA

Sea E un conjunto provisto de una estructura, definido por las leyes internas , y por las leyes externas , con dominios de operadores ., . Se da la siguiente definicin Una parte F de E es estable respecto a E si se verifican las siguientes condiciones: a) Para todo i ( 1 < i < n ) todo x F y todo y F, se tiene x yF;

b) Para todo j ( 1 < j < p ) y todo xF

todo x F, se tiene

Se puede expresar a) diciendo que, para todo i, F es estable con respecto de diciendo que, para todo j, F es estable con respecto a .

y b)

Sea entonces F una parte estable de E. Designaremos por la restriccin de a F X F. . es una aplicacin de F X F en E; es decir que F es estable equivale a decir que la imagen de est contenida en F. Si designamos por la aplicacin de F X F en F que toma los mismos valores que , vemos que es una ley de composicin en F. Igualmente, sea la restriccin de a F. en E que toma sus valores en F. Y la aplicacin : XFF X F; es una aplicacin de X

RELACION COMPATIBLE DE UNA ESTRUCTURA Relacin compatible se refiere a la compatibilidad de una relacin de equivalencia con una operacin o correspondencia, es decir a una relacin de equivalencia compatible con una operacin determinada, para poder determinar los grupos cocientes. Para probar que la relacin de equivalencia ( algebraica y y, es decir, x x hacia a y la sucesin ( sucesin ( e y y ) es compatible con la estructura que satisfagan x x e

, consideraremos cuatros elementos x, y, x,yde

. En primer lugar observamos que en virtud de que la sucesin ( + ) tiende ) tiende hacia a + b ; la

x + y x- y ( x x) + ( y y) pertenece a

) hacia b, entonces la sucesin (

) hacia a b la sucesin (

) hacia ab, de ah que x + y x+ y, .

luego la relacin (

) es compatible con la suma de

Por otro lado se tiene: xy xy= ( x x)y + x( y y) y puesto que es un ideal, la relacin x x implica x( y y) implica ( x x)y , mientras que la relacin y y pertenece a

. De donde se deduce que xy xy ) es, pues, compatible con la

o sea que xy xy. La relacin (

multiplicacin en .

CONCLUSIONES

En este trabajo estudiamos lo que es una estructura algebraica y podemos decir que consiste en uno o ms sistemas cerrado debajo de uno o ms operaciones, satisfaciendo alguno axiomas. Conocer las estructuras algebraicas es la base para luego comprender el resto de los temas que se tratan en la materia. Aunque al principio pueda parecer todo muy abstracto, todos estos conceptos se aclaran cuando se los ejemplifica con el conjunto de los nmeros reales. Las estructuras algebraicas aparecen en distintos contextos, no solo con conjuntos de nmeros. Los nombres de las estructuras algebraicas provienen de las propiedades que cumplen sus operaciones Tambin definimos lo que es un monoide pudiendo concluir que es un conjunto M con una operacin * : M M M (denotada como a*b) que es asociativa y tiene elemento neutro. Si adems la operacin es conmutativa, se le conoce entonces como un monoide conmutativo. Se puede decir que es un conjunto A provisto de una operacin interna. Usualmente hablaremos de un monoide A, mencionando solo al conjunto subyacente y no a la operacin. Como ejemplo podemos considerar a la suma y al producto de los nmeros enteros. Este es asociativo o conmutativo o abeliano si lo es su operacin y es finito si lo es su conjunto subyacente y que un submonoide de un monoide G, es un subsemigrupo de G con elemento identidad. Es decir que todo lo visto es la base de estructura Algebraica y que es importante conocerlo para poder entender los principios de muchos conceptos Matemticos.

BIBLIOGRAFIA

.- Rojo, Armando O. (1978). Algebra I. Buenos Aires. Argentina. .- Goberna, M., Jornet, V., Puente R. y Rodrguez M. (2000). Algebra y Fundamentos. Barcelona. Espaa. .- Rivero, Francisco. (1996). Algebra. Mrida. Venezuela. .- http://www.es.wikipedia.org/wiki/Estructura algebraica .- http://www.ing.unrc.edu.ar/publicaciones/.../estructuras_algebraicas.doc .- http:// www.matematica.wikia.com/wiki/Estructura_algebraica .- http://www.atalayadecristo.org/index.php?option=com...task... .- http://www.worldlingo.com/ma/.../es/Algebraic_structure .- http://www.es.wikipedia.org/wiki/Monoide .- http://www.dm.uba.ar/materias/algebra_2/2006/2/apunte.pdf .- http://www.leccionesdemate.blogspot.com/.../que-es-una-estructura-algebraica.html