Estructuras algebraicas

ESTRUCTURAS ALGEBRAICAS
Prof. Hugo Omar Pajello

Una Estructura Algebraica es un objeto matemático consistente en un conjunto no vacío y una relación ó ley de composición interna definida en él.
En algunos casos más complicados puede definirse más de una ley de composición interna y también leyes de composición externa.

Empecemos por recordar algunas definiciones:

Operación binaria óLey de composición interna definida en un conjunto no vacío A

Es una aplicación o función [pic] del producto cartesiano de [pic] en [pic]
En símbolos: [pic] es una ley interna en [pic] [pic] [pic]
Es decir [pic]

Ejemplo 1
La suma ó la multiplicación en N , en Z , en Q , en R ó en C.

Ejemplo 2
Las siguientes tablas definenleyes de composición interna en el conjunto
A = {a , b , c }

|[pic] |a |b |c |
| a |a |b |c |
|b |b |c |a |
|c |c |a |b |

i)

|[pic] |a |b |c |
| a |a |b |b |
| b |c |a |c |
| c |b |c |a |ii)
[pic]

Ley de composición externa

Una ley de composición externa definida en A con operadores de B es toda función ó aplicación [pic] de [pic] en A.
En símbolos

[pic] es ley externa en A con operadores en B [pic] [pic][pic] A
es decir, si [pic] y [pic] la imagen del par (b ; a) = b [pic] a [pic] A

Según las propiedades que deban satisfacer estas leyes decomposición, se tienen los distintos tipos de estructuras ó sistemas axiomáticos.

Monoide

El par (A , [pic]) donde A es un conjunto no vacío dotado de una operación ó ley de composición interna [pic] se denomina monoide.

Ejemplos de monoides
( N , + ) , ( Z , + ) , ( Q , + ) , son monoides.

( N, - ) no es un monoide porque la sustracción no es ley de
composición interna en N.

( N , [pic] ) donde [pic] está definido como a [pic] b = máx.{a , b}
es un monoide.

Semigrupo

Un monoide asociativo se denomina semigrupo.

Si la leyde composición interna también es conmutativa se llama semigrupo conmutativo.

Si existe el elemento neutro se dice que es un semigrupo con unidad ó semigrupo con identidad.

El elemento neutro de llama identidad.

Ejemplos de semigrupos

( N , + ) es un semigrupo conmutativo sin elemento neutro.
( N0 , + ) es un semigrupo conmutativo con elementoneutro, el 0.
( N , [pic]) es un semigrupo conmutativo con elemento neutro ó identidad
igual a 1.

Grupo

Sea el par (A , [pic]) , donde A es un conjunto no vacío dotado de una ley de composición interna binaria [pic] :

(A , [pic]) es un grupo ó se define sobre A una estructura de grupo sí:

a) [pic] es asociativa. Es decir [pic] ,[pic] , [pic] : a, b, c [pic] A [pic] [pic]
b) [pic] posee elemento neutro en A. Es decir [pic] / [pic] , si [pic][pic]
c) Todo elemento de A es invertible en A respecto de [pic] .
Es decir [pic] , [pic] / [pic]

Grupo Abeliano ó Grupo conmutativo es cuando además de ser un grupo,

d) [pic] es conmutativa. Es decir [pic] , [pic] : a, b [pic] A [pic]

Si G = (A ,[pic]) es un grupo, se dice que es un grupo finito si el conjunto A es finito y su cardinal se llama orden del grupo.

Ejemplos

1) El par ( Z , [pic]) donde Z es el conjunto de los números enteros y [pic] es una operación definida como a [pic] b = a + b + 3 forma un grupo abeliano.

Comprobación:

[pic] es una ley de composición interna en Z pues si a y b [pic] Z , a +...