Algebra abstracta

Marco terico

El lgebra abstracta, ocasionalmente llamada lgebra moderna, es la parte de

la matemtica que estudia las estructuras algebraicas como las de grupo,
anillo, cuerpo o espacio vectorial. Muchas de estas estructuras fueron
definidas formalmente en el siglo XIX, y, de hecho, el estudio del lgebra
abstracta fue motivado por la necesidad de ms exactitud en las definiciones
matemticas.

En lgebra abstracta, los elementos combinados por diversas operaciones

generalmente no son interpretables como nmeros, razn por la cual el lgebra
abstracta no puede ser considerada una simple extensin de la aritmtica. El
estudio del lgebra abstracta ha permitido observar con claridad lo intrnseco
de las afirmaciones lgicas en las que se basan todas las matemticas y las
ciencias naturales, y se usa hoy en da prcticamente en todas las ramas de la
matemtica. Adems, a lo largo de la historia, los algebristas descubrieron que
estructuras lgicas aparentemente diferentes muy a menudo pueden
caracterizarse de la misma forma con un pequeo conjunto de axiomas.

El trmino lgebra abstracta se usa para distinguir este campo del lgebra
elemental o del lgebra de la escuela secundaria que muestra las reglas
correctas para manipular frmulas y expresiones algebraicas que conciernen a
los nmeros reales y nmeros complejos. El lgebra abstracta fue conocida
durante la primera mitad del siglo XX como lgebra moderna.

Grupo: En lgebra abstracta, un grupo es una estructura algebraica formada

por un conjunto no vaco dotado de una operacin interna que combina
cualquier par de elementos para componer un tercero, dentro del mismo
conjunto y que satisface las propiedades asociativas, existencia de elemento
neutro y simtrico.
Monoide: En lgebra abstracta, un monoide es una estructura algebraica con
una operacin binaria, que es asociativa y tiene elemento neutro, es decir, es
un semigrupo con elemento neutro.

Semigrupo: Un semigrupo es un sistema algebraico de la forma ( ) en la

cual A es un conjunto no vaco, es una operacin interna definida en A.

Un semigrupo cumple con las siguientes propiedades:

Operacin interna: para cualesquiera dos elementos del conjunto A

operados bajo , el resultado siempre pertenece al mismo conjunto A.
Es decir:

Asociatividad: para cualesquiera elementos del conjunto A no importa

el orden en que se operen las parejas de elementos, mientras no se
cambie el orden de los elementos (ver grupo abeliano), siempre dar el
mismo resultado. Es decir:
( ) ( ) .

Si ademas cumple con la propiedad conmutativa se dice es un conjunto

Abeliano.

Magma: es una estructura algebraica de la forma ( ) donde A es un

conjunto donde se ha definido una operacin binaria interna:

( )
Siendo esta ley de composicin una operacin interna:
Por definicin una operacin interna es cualquier par ordenado de conjunto
operado con , donde el resultado pertenece al conjunto A. es decir:
El trmino magma se debe a la asociacin de matemticos franceses que se
hace llamar Nicols Bourbaki. Durante algn tiempo compiti, para reflejar el
mismo concepto, con la palabra grupoide, que tiene otros sentidos en
matemtica (ver artculo grupoide), por lo que no es aconsejable su uso como
sinnimo de magma.

Conjunto: En matemticas, un conjunto es una coleccin de elementos

considerada en s misma como un objeto. Los elementos de un conjunto,
pueden ser las siguientes: personas, nmeros, colores, letras, figuras, etc. Se
dice que un elemento (o miembro) pertenece al conjunto si est definido como
incluido de algn modo dentro de l.

Ejemplo: el conjunto de los colores del arcoris es:

AI = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta}

Ley de composicin: En lgebra abstracta, la ley de composicin es un tipo de

operacin binaria que da lugar a distintas estructuras algebraicas.

Se trata de una funcin o aplicacin que toma dos elementos de dos conjuntos
dados y los asigna a otro elemento, perteneciente a uno de los dos conjuntos.

Podemos diferenciar ley de composicin interna y externa. La ley de

composicin es interna si la aplicacin que la define mantiene el mismo
conjunto, tanto en el par de conjuntos de partida, como en el de llegada. Si los
conjuntos de partida son diferentes entre s, se dice que la ley de composicin
es externa.
Figura 1

Fuente: https://es.wikipedia.org/wiki/Ley_de_composici%C3%B3n
El elemento Neutro
En matemticas, y particularmente en lgebra abstracta, el elemento neutro o
elemento identidad de un conjunto A, dotado de una operacin binaria interna

es un elemento e del conjunto A, tal que para cualquier otro elemento a de A,

se cumple:

Es decir, un elemento neutro tiene un efecto neutro al ser utilizado en la

operacin . Al operar cualquier elemento del conjunto con el elemento
neutro el resultado es el elemento original.

Un elemento e que cumpla solamente se llama elemento neutro por

la izquierda. Anlogamente un elemento f que cumple solamente
se llama o se denomina elemento neutro por la derecha. No tienen que ser
iguales dichos elementos, salvo el caso de un grupo. Pueden existir los dos,
uno de ellos o ninguno en el caso de un conjunto provisto de una operacin.

Ejemplo

Elemento simtrico
En lgebra abstracta, si tenemos un conjunto A, en el que se ha definido una
operacin matemtica o, que anotamos: ( ) siendo la operacin , interna
en A.
( )
Con elemento neutro e

Diagrama que representa las estructuras algebraicas

Figura 2

Fuente: https://es.wikipedia.org/wiki/Ley_de_composici%C3%B3n

Diagrama de estructura algebraica

{
{
{

{
Ejercicios

i. Liste los elementos de cada conjunto

a.

Resolviendo

Tenemos que el subconjunto m de los enteros positivos son todos los que al

restarles 8 son menores que 10.

Entonces se puede escribir

{ }

b.

Este subconjunto comprende todos los nmeros que estn entre -10 y 11

entonces se puede escribir:

{ }

ii. Construir una tabla de doble entrada para { } de modo

que el elemento neutro sea d y la tabla tenga estructura de grupo.

* a b c d

a b c d a

b c d a b

c d a b c

d a b c d
 Existe el elemento neutro el cual cumple con lo del enunciado que es d.

Asi que

Se despeja e

Es conmutativa

Es asociativa

Es simtrico

Es interna

Existe el elemento inverso

a * a = d

b * b = d

c * c = d

d * d = d

Tiene estructura de grupo

iii. Identifique cuales de los siguientes estructura son grupos

( { } ) si es grupo, porque al no operar con el cero se rompe la

indeterminacin al no dividir entre cero.

( ) no es grupo por la existencia del elemento absorbente, osea, el

cero.
 ( { } ) no es grupo porque para la suma el elemento neutro es el

cero.

( { } ) como en el enunciado anterior en la operacin de los

enteros con la suma el elemento neutro es el cero, por lo tanto no es

grupo.

iv. Determine si las siguientes tablas representan:

a. Semigrupo c. Grupo

b. Monoide d. Grupo abeliano

* a b c d

a d a b b

b a b c d

c b c d a

d c d a b

No es simtrico

Es interna

Es asociativa

Tiene elemento neutro

Como no cumple con la propiedad de simetra, pero si es asociativa, interna y

posee el elemento neutro entonces es un monoide.

 * 1 2 3

1 1 2 3

2 2 1 3

3 3 3 3

Es interna

Posee el elemento neutro

Es asociativa

Es simtrico

Entonces es grupo

No es conmutativa entonces no es grupo abeliano.

v. Construir una tabla de doble entrada y luego determinar si la estructura

formada es: semigrupo, monoide, grupo o grupo abeliano.

a. ( )

+ 0 1 2 3 4

0 0 1 2 3 4

1 1 2 3 4 0

2 2 3 4 0 1

3 3 4 0 1 2

4 4 0 1 2 3
 Es interna

Es simtrico

Es asociativa, pues existe el elemento neutro que es el 0

Es grupo

Adems es conmutativa, por lo tanto es un grupo abeliano.

b. ( ) { }

Esta es con la multiplicacin

Entonces realizaremos la tabla de doble entrada

( )

* 0 1 2 3 4

0 0 0 0 0 0

1 0 1 2 3 4

2 0 2 4 1 3

3 0 3 1 4 2

4 0 4 3 2 1

Es interna

Es simtrico

Es asociativa, pues existe el elemento neutro que es el 1

Es grupo
Adems es conmutativa, por lo tanto es un grupo abeliano

Determinar

( )

Es interna porque se cumple la propiedad de cerradura, en la adiccin al sumar

dos entero el resultado es otro entero.
Ley asociativa

( ) ( )
1. ( )

2. ( )

Es asociativa
El elemento neutro

Elemento simtrico

Tiene estructura de grupo

Determinar

( )

Debe cumplir con las siguientes propiedades para ser grupo

Interna
Si es interna porque al realizar la operacin suma el resultado es un entero.
Asociativa

( ) ( )
1. ( ) 2. ( )

Es asociativa
Elemento neutro

Despejando

Elemento simtrico

Es grupo
Determine si la siguiente estructura es grupo abeliano.
Defnase * en los reales por

( )
Es interna

Es asociativa

1. ( ) 2. ( )

Neutro

Simtrico

( )

Si solo si a2 =a2 igual a a

No existe el elemento simtrico, ya que, al tener la raz cuadrada de un
numero negativo da como resultado un nmero imaginario.
Por lo tanto no es grupo.
Clases laterales

Ejemplo 1:
Dado el grupo aditivo y el subgrupo { }. Determinar las clases
laterales izquierda
{ }

H+0 0+0,0+2,0+4,0+6 { }
H+2 0+2,2+2,4+2,6+2 { }
H+4 0+4,4+2,4+4,4+6 { }
H+6 0+6,6+2,6+4,6+6 { }

Ejemplo 2:
Si tenemos un grupo multiplicativo { }. Y sea un subgrupo
{ }.
Clase laterales por la izquierda
{ }
{ }
{ }
{ }

Clase laterales por la derecha

{ }
{ }
{ }
{ }
Grupo cociente
{ }
Ejemplo 3:
Sea un grupo aditivo y su subgrupo
{ }
{ }
{ }
{ }
{ }
Luego el conjunto { } estn contenidos en G.