ESTRUCTURAS ALGEBRAICAS

Operaciones (leyes de composicin interna).

Consideraremos un conjunto numrico E, a sus elementos los representaremos por letras minsculas: a,
b, c, ...
Se define operacin interna entre los elementos de un conjunto E como:
es decir, se trata de una aplicacin lineal de forma que al elemento (a , b) de
EE se le hace corresponder un elemento c del conjunto E, lo cual se
expresa: *(a,b) = c, o ms comnmente:
a * b = c.
Ejemplos tpicos de operaciones internas son el conjunto Z de los nmeros enteros , Z = {... , -3, -2, -1,
0, +1, + 2, +3, ... }, y la suma:
a+b=c
si sumamos dos nmeros enteros su resultado es otro nmero entero, por tanto se dice que la operacin
suma es una operacin interna. Sin embargo no sucede esto con la operacin divisin en Z, la divisin
de los enteros 3 y 5:
3 : 5 = 0,6
que es un nmero no-entero, por tanto en Z la divisin no es una operacin interna.

A las operaciones internas tambin se las llama leyes de composicin.

Diversas propiedades de las operaciones.

Sea un conjunto E, denotemos por a, b, c, ... sus elementos, y por *, o, ... diversas operaciones con
estos elementos. Entonces segn las propiedades de la operacin se habla de:

Est. Algebraicas- Alg. y Geometra II- 2 Ao- Prof. de Matemtica-ISFD N 168- Prof. M. Vzquez- 2017 Pg. 1
Estructuras algebraicas
Dado un conjunto y una operacin interna definida en l, hay ciertas estructuras algebraicas que vienen
definidas segn las diversas propiedades que cumplen.

SEMIGRUPO:
Se trata de un conjunto S con una operacin *, (S, *), que verifica las propiedades:

1) * es una operacin interna.

2) * es asociativa.

GRUPO:

Es un conjunto G con una operacin *, (G, *), que verifica las propiedades:

1) * es una operacin interna.

2) * es asociativa.
3) Hay elemento neutro para *.
4) Todo elemento de G tiene su inverso para *.

SUBGRUPO:

Dado un grupo G, una parte C de G se llama subgrupo de G si C tiene estructura de Grupo para la
operacin *. Es decir el elemento neutro de * est en C (3) y todo elemento de C tiene su inverso en
C (4).

La condicin necesaria y suficiente para que C sea subgrupo puede expresarse as:

GRUPO ABELIANO (Conmutativo):

Es un conjunto G con una operacin *, (G, *), que verifica las propiedades:

1) * es una operacin interna.

2) * es asociativa.
3) Hay elemento neutro para *.
4) Todo elemento de G tiene su inverso para *.
5) * es conmutativa.

ANILLO:

Es un conjunto A con dos operaciones *, , (A, *, ), que verifica las propiedades:

1a) * es una operacin interna.

2a) * es asociativa.
3a) Hay elemento neutro para *.
4a) Todo elemento de A tiene su inverso para *.
5a) * es conmutativa. -- (A, *) es un grupo abeliano--
1b) es una operacin interna.

Est. Algebraicas- Alg. y Geometra II- 2 Ao- Prof. de Matemtica-ISFD N 168- Prof. M. Vzquez- 2017 Pg. 2
2b) es asociativa. -- (A, ) es un semigrupo ---
1c) La segunda operacin, , es distributiva respecto de la primera *.
a (b * c) = (a b) * (a c)

ANILLO CONMUTATIVO:

Es un conjunto A con dos operaciones *, , (A, *, ), que verifica las propiedades:

1a) * es una operacin interna.

2a) * es asociativa.
3a) Hay elemento neutro para *.
4a) Todo elemento de A tiene su inverso para *.
5a) * es conmutativa. -- (A, *) es un grupo abeliano--
1b) es una operacin interna.
2b) es asociativa. -- (A, ) es un semigrupo ---
3b) es conmutativa.
1c) La segunda operacin, , es distributiva respecto de la primera *.
a (b * c) = (a b) * (a c)

CUERPO:

Es un conjunto C con dos operaciones *, , (A, *, ), que verifica las propiedades:

1a) * es una operacin interna.

2a) * es asociativa.
3a) Hay elemento neutro para *.
4a) Todo elemento de A tiene su inverso para *.
5a) * es conmutativa. -- (C, *) es un grupo abeliano--
1b) es una operacin interna.
2b) es asociativa.
3b) Hay elemento neutro para .
4b) Todo elemento de A (excepto el neutro para *) tiene su inverso para . -- (C, ) es un grupo (si
exceptuamos al elemento neutro para *)--
1c) La segunda operacin, , es distributiva respecto de la primera *.
a (b * c) = (a b) * (a c)

CUERPO CONMUTATIVO:

Es un conjunto C con dos operaciones *, , (A, *, ), que verifica las propiedades:

1a) * es una operacin interna.

2a) * es asociativa.
3a) Hay elemento neutro para *.
4a) Todo elemento de A tiene su inverso para *.
5a) * es conmutativa. -- (C, *) es un grupo abeliano--
1b) es una operacin interna.
2b) es asociativa.
3b) Hay elemento neutro para .
4b) Todo elemento de A (excepto el neutro para *) tiene su inverso para .
5b) es conmutativa. -- (si exceptuamos al elemento neutro para *) (C, *) es un grupo abeliano--
1c) La segunda operacin, , es distributiva respecto de la primera *.
a (b * c) = (a b) * (a c)

Est. Algebraicas- Alg. y Geometra II- 2 Ao- Prof. de Matemtica-ISFD N 168- Prof. M. Vzquez- 2017 Pg. 3