Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Semigrupos
∀a : a ∈ A ⇒ a ∼ a.
∀x∀y : x ∼ y ⇒ y ∼ x.
∀x∀y ∀z : x ∼ y ∧ y ∼ z ⇒ x ∼ z.
a ∼ b ∧ b ∼ c ⇒ nk | a − b ∧ np | b − c ⇒ n(k + p) | (a − b) + (b − c)
⇒ n(k + p) | a − c ⇒ a ∼ c
En conclusión, la congruencia modular es una relación de equivalencia.
[1] = {. . . , −2n + 1, −n + 1, 1, n + 1, 2n + 1, . . .}
[2] = {. . . , −2n + 2, −n + 2, 2, n + 2, 2n + 2, . . .}
[n − 1] = {. . . , n − 1, . . .}
Theorem
Si (S, ∗) y (T , ´∗) son semigrupos, entonces (S × T , ¨ ∗) es un semigrupo, en
donde ¨∗ se define como (s1 , t1 )¨
∗(s2 , t2 ) = (s1 ∗ s2 , t1 ´
∗t2 ).
∗(s2 , t2 ))¨
((s1 , t1 )¨ ∗(s3 , t3 )
= ((s1 ∗ s2 , t1 ´
∗t2 ))¨
∗(s3 , t3 )
= ((s1 ∗ s2 ) ∗ s3 , (t1 ´
∗t2 )´
∗t3 )
Como (S, ∗) y (T , ´∗) son semigrupos
= (s1 ∗ (s2 ∗ s3 ), t1 ´
∗(t2 ´
∗t3 ))
∗(s2 ∗ s3 , t2 ´
= (s1 , t1 )¨ ∗t3 )
∗((s2 , t2 )¨
(s1 , t1 )¨ ∗(s3 , t3 )).
y
−2R3 (f (−2) = f (3) = 4)
Pero −3R̄5, pues f (−3) = 10 y f (5) = 18.
Theorem
Sea R una relación de congruencia sobre el semigrupo (S, ∗). Considérese
la relación ~ de S/R × S/R en S/R en la que la pareja ordenada ([a], [b])
se relaciona con [a ∗ b], donde a y b están es S.
~ es una función de S/R × S/R en S/R, y como es usual,
denotamos ~([a], [b]) por [a] ~ [b]. Ası́, ~([a], [b]) = [a ∗ b]
(S/R, ~) es un semigrupo.
= [a] ~ [b ∗ c]
= [(a ∗ b) ∗ c)]
= ([a] ~ [b]) ~ [c]
En conclusión, S/R es un semigrupo, llamado semigrupo cociente o
factor.
(Universidad Central de Venezuela) Semigrupos y Grupos January 26, 2022 16 / 25
Semigrupos Productos y Cocientes
Theorem (Corolario)
Sea R una relación de congruencia sobre el monoide (S, ∗). Si se define la
operación ~ en S/R como [a] ~ [b] = [a ∗ b], entonces (S/R, ~) es un
monoide.
Theorem
Sea R una relación de congruencia sobre un semigrupo (S, ∗) y (S/R, ~).
el semigrupo cociente correspondiente. Entonces la función fR : S → S/R
definida por
fR (a) = [a],
es un homorfismo sobre, llamado homomorfismo natural.
fR (a ∗ b) = [a ∗ b]
= [a] ~ [b]
= fR (a) ~ fR (b)
Por lo tanto, fR es un homomorfismo.
Definition (Grupo)
Un grupo (G , ∗) es un monoide con identidad e con la propiedad adicional
de que cada elemento a ∈ G existe un elemento a0 ∈ G tal que
a ∗ a0 = a0 ∗ a = e. Ası́, un grupo es un conjunto G junto una operación
binaria ∗ en G tal que:
1 (a ∗ b) ∗ c = a ∗ (b ∗ c) para cualquiera de los elementos a, b, c ∈ G .
2 Existe un único elemento e ∈ G tal que a ∗ e = e ∗ a = a para cada
a ∈ G.
3 Para cada a ∈ G , existe un elemento a0 ∈ G , llamado inverso de a, tal
que a ∗ a0 = a0 ∗ a = e.
Ejemplos:
Sean Z y ∗ la adición ordinaria, +, en Z. Que sea cerrado y
asociativo respecto a ∗, son propiedades básica de los enteros. Cual
elemento sirve como la unidad, e, de Z respecto a ∗? Como
a = a ∗ e = e ∗ a, se tiene que e = 0, luego 0 es el elemento identidad
requerido recpecto a la adición. Y que se puede decir de a−1 ? Aquı́
también, puesto que e = 0 = a ∗ a−1 = a + a−1 , a−1 en este caso es
−a, y claramente a ∗ (−a) = a + (−a) = 0
Sea Q − {0} y la operación ∗ en Q la multiplicación ordinaria entre
ellos. En virtud de las propiedades conocidas de los números
racionales se ve que Q forma un grupo con ∗.
Demostración: sea a, b, c ∈ R.
Asociatividad
(ab)c a(bc)
(a ∗ b) ∗ c = ( ab
3 )∗c = 9 = 9 = a ∗ ( bc
3 ) = a ∗ (b ∗ c).
E número 3 es la identidad en G , ya que si a ∈ G , entonces
(a)3 3(a)
a∗3= =a= =3∗a
3 3
.
Si a ∈ G , entonces a0 = 9/a es un inverso de a, ya que
9 a(9/a) (9/a)a 9
a ∗ a0 = a ∗ = =3= = ∗ a = a0 ∗ a
a 3 3 a