Semigrupos y Grupos

Semigrupos

Universidad Central de Venezuela

January 22, 2022

(Universidad Central de Venezuela) Semigrupos y Grupos January 22, 2022 1 / 12

Secciones

1 Repaso Operación Homomorfismo.

I Definición.
I Propiedades.
2 Relaciones de Equivalencia.
I Definición.

(Universidad Central de Venezuela) Semigrupos y Grupos January 22, 2022 2 / 12

Homomorfismo

Definition (Homomorfismo)
Sean (S, ∗) y (T , ´∗) dos semigrupos. Una función definida para todo
punto f : S → T es un homomorfismo de (S, ∗) en (T , ´∗) si

f (a ∗ b) = f (a)´
∗f (b)
para toda a, b en S. Además, si f es sobre T una imagen homomorfa de S.

(Universidad Central de Venezuela) Semigrupos y Grupos January 22, 2022 3 / 12

Homomorfismo

Paso para mostrar que una función es un isomorfismo:

1 Se define una función f : S → T con Dom(f ) = S.
2 Se muestra que f (a ∗ b) = f (a)´
∗f (b).

(Universidad Central de Venezuela) Semigrupos y Grupos January 22, 2022 4 / 12

Ejemplo de Homomorfismo

Sea (R+ , .), y (R, +). Sea f : R+ → R, tal que: f (x) = log10 (x).
Verifiquemos que f es un homomorfismo.
Para ello debemos ver f cumple con las condiciones anteriores.
La función ya está definida.
Ahora, supongamos que x, y ∈ R+ , entonces,
f (xy ) = log10 (xy ) = log10 (x) + log10 (y ) = f (x) + f (y ).
Como f cumple con ambas condiciones, entonces f es un homomorfismo.

(Universidad Central de Venezuela) Semigrupos y Grupos January 22, 2022 5 / 12

Algunas Propiedades de los Isomorfismos

Theorem
Sean (S, ∗), y (T , ´∗) monoides con identidades e, é respectivamente. Sea
f : S → T un isomorfismo de S a T , entonces f (e) = é.

(Universidad Central de Venezuela) Semigrupos y Grupos January 22, 2022 6 / 12

Algunas Propiedades de los Homomorfismos

Theorem
Sean (S, ∗), y (T , ´∗) monoides con identidades e, é respectivamente. Sea
f : S → T un homomorfismo de S a T , entonces f (e) = é.

(Universidad Central de Venezuela) Semigrupos y Grupos January 22, 2022 7 / 12

Algunas Propiedades de los Homomorfismos

Demostración:
Sea b ∈ T , como T es monoide, existe é, tal que b´ ∗é , por otro lado
existe a tal que a = a ∗ e, pues S es monoide, luego
b = f (a) = f (a ∗ e) = f (a)´
∗f (e), en consecuencia, b = b´∗é = f (a)´∗f (e),
como é es único, se tiene que: é = f (e).

(Universidad Central de Venezuela) Semigrupos y Grupos January 22, 2022 8 / 12

Algunas Propiedades de los Homomorfismos

Theorem
Sea f un homomorfismo de un semigrupo (S, ∗) al semigrupo (T , ´∗). Si Ś
es un semigrupo de (S, ∗), entonces

f (Ś) = {t ∈ T | t = f (s), ∃s ∈ Ś},

∗)
La imagen de Ś bajo f , es un semigrupo de (T , ´

(Universidad Central de Venezuela) Semigrupos y Grupos January 22, 2022 9 / 12

Algunas Propiedades de los Homomorfismos

Theorem
Sea f un homomorfismo de un semigrupo conmutativo (S, ∗) al semigrupo
(T , ´∗), entonces (T , ´∗) tambien es conmutativo.

(Universidad Central de Venezuela) Semigrupos y Grupos January 22, 2022 10 / 12

Relaciones de Equivalencia

Definition
La relación R ⊂ A × A es de equivalencia en A si y sólo si es reflexiva,
simétrica y transitiva.

(Universidad Central de Venezuela) Semigrupos y Grupos January 22, 2022 11 / 12

Relaciones de Equivalencia
La notación a ∼ b se lee ”a es equivalente a b”, y significa que el par
(a, b) pertenece a la relación. En este sentido la relaciones satisfacen:
1 Reflexividad: Todo elemento de A es equivalente a si mismo

∀a : a ∈ A ⇒ a ∼ a.

2 Simetrı́a: Si un elemento es queivalente a otro, entonces éste

equivalente al primero

∀x∀y : x ∼ y ⇒ y ∼ x.

3 Transitividad: Si un elemento es equivalente a otro, y éste es

equivalente a un tercero, entonces el primero es equivalente al tercero

∀x∀y ∀z : x ∼ y ∧ y ∼ z ⇒ x ∼ z.

(Universidad Central de Venezuela) Semigrupos y Grupos January 22, 2022 12 / 12