Estructuras Algebraicas

ESTRUCTURAS ALGEBRAICAS

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 del producto cartesiano de en

En símbolos: es una ley interna en

Es decir

Ejemplo 1

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

Ejemplo 2

Las siguientes tablas definen leyes de composición interna en el conjunto

A = {a , b , c }

a b c

a a b c

b b c a

c c a b

i)

a b c

a a b b

b c a c

c b c a

ii)

Ley de composición externa

Una ley de composición externa definida en A con operadores de B es toda función ó aplicación de en A.

En símbolos

es ley externa en A con operadores en B A

es decir, si y la imagen del par (b ; a) = b a A

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

Monoide

El par (A , ) donde A es un conjunto no vacío dotado de una operación ó ley de composición interna 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 , ) donde está definido como a b = máx.{a , b}

es un monoide.

Semigrupo

Un monoide asociativo se denomina semigrupo.

Si la ley de 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 elemento neutro, el 0.

( N , ) es un semigrupo conmutativo con elemento neutro ó identidad

igual a 1.

Grupo

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

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

a) es asociativa. Es decir , , : a, b, c A

b) posee elemento neutro en A. Es decir / , si

c) Todo elemento de A es invertible en A respecto de .

Es decir , /

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

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

Si G = (A , ) 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 , ) donde Z es el conjunto de los números enteros y es una operación definida como a b = a + b + 3 forma un grupo abeliano.

Comprobación:

es una ley de composición interna en Z pues si a y b Z , a + b + 3 Z

es asociativa pues

= (a + b +3) c = a + b +3 + c +3 = a + b + c + 6

y = a (b + c + 3) = a + b + c + 3 + 3 = a + b + c + 6

tiene elemento neutro e = –3 , pues

, a e = a entonces a + e +3 = a e = –3

...