MATEMÁTICA DISCRETA

ESTRUCTURAS ALGEBRAICAS

Para cada estructura abajo mencionada, el conjunto sobre el cual está definida es NO VACÍO y la/s operación/es
es/son lci (ley de composición interna).

Estructura Axiomas
Monoide A un conjunto no vacío
(A, *) * una lci definida en A  a  A  b  A, a * b  A
Semigrupo (S, *) monoide
(S, *) Asociativa  a, b, c  S, a * (b * c) = (a * b) * c
Grupo (G, *) monoide
(G, *) Asociativa  a, b, c  G, a * (b * c) = (a * b) * c
Existencia de elemento neutro “e”  e  G  a  G, e * a = a * e = a
Para cada elemento, existe inverso  a  G  a´  G, a * a´ = a´ * a = e
Grupo (G, *) grupo
abeliano (G,*) Conmutativa  a, b  G, a * b = b * a
Anillo (A, +) grupo abeliano, es decir:
(A, +, .) Conmutativa  a, b  A, a + b = b + a
Asociativa  a, b, c  A, a + (b + c) = (a + b) + c
Existencia de elemento neutro “0”  0  A  a  A, 0 + a = a + 0 = a
Para cada elemento, existe opuesto  a  A  (-a)  A, a + (-a) = (-a) + a = 0

(A, .) monoide
Asociativa  a, b, c  A, a . (b . c) = (a . b) . c
Distributivas de . respecto de +  a, b, c  A, a . (b + c) = a . b + a . c
 a, b, c  A, (b + c) . a = b . a + c . a
Anillo (A, +, .) anillo
conmutativo conmutativo  a, b  A, a . b = b . a
Anillo SIN (A, +, .) anillo, 0 elemento neutro de +
divisores  a, b  A, si a . b = 0 entonces a = 0 o b = 0
propios del
cero
Anillo unitario (A, +, .) anillo
o con Existencia de elemento neutro “1”para la  1  A  a  A, 1 . a = a . 1 = a
identidad operación “.”
Campo o (A, +, .) anillo conmutativo con identidad
Cuerpo Para cada elemento distinto de 0, existe  a  A-{0}  a´  A, a . a´ = a´ . a = 1
inverso a´ es el inverso multiplicativo de a
Álgebra de (B, +) monoide; (B, .) monoide
Boole Asociativas  x, y, z  B, (x + y) + z = x + (y + z)
(B, +, ., 0,1)  x, y, z  B, (x . y) . z = x . (y . z)
Conmutativas  x, y  B, x + y = y + x
 x, y  B, x . y = y . x
Distributivas  x, y, z  B, (x + y) . z = (x . z ) + (y . z)
 x, y, z  B, (x . y) + z = (x + z) . (y + z)
Existencias de elementos neutros  0  B x  B, x + 0 = x
 1  B x  B, x . 1 = x
Para cada elemento x, existe su  x  B,  x’  B, x + x’ = 1  x . x’ = 0
complemento x’