Se define como operación binaria aquella operación matemática, que necesita el operador y

dos operandos para que se calcule un valor

https://www.uv.mx/personal/aherrera/files/2014/08/20a.-ESTRUCTURAS-ALGEBRAICAS-
21-pp.pdf

CONGRUENCIA

En matemáticas, se dice que hay congruencia cuando un par de números enteros, al ser
divididos por un tercer número natural distinto de cero, conocido como módulo, produce el
mismo resto. Es decir, que Dado m ∈ Z , m> 0, se dice que a, b ∈ Z son congruentes del
módulo m si y sólo si m divide exactamente a la diferencia a y b m(a-b).Es importante
darse cuenta de que si m divide a a-b, esto supone que ambos a y b tienen el mismo resto al
ser divididos por el módulo m. la congruencia se expresa de la siguientes manera: a es
congruente con b módulo m, a ≡ b (mod m).

1. ≡ es el símbolo de congruencia, lo que significa que los valores  a y b están en la

misma clase de equivalencia.
2. (mod m) nos dice qué operación le aplicamos a  a y b.
Por tanto la congruencia Es relación lógica que se establece entre distintas cosa.

La congruencia puede observarse en la relación de coherencia que hay entre las

acciones de una persona y aquello que predica. Hay congruencia, por ejemplo, entre alguien
que dice que es importante querer y respetar a los mayores y en efecto trata bien a sus
padres y abuelos.

SEMIGRUPO

un semigrupo es una estructura algebraica, es decir, que está conformado por un conjunto

no vacio y una operación interna, es simplemente un conjunto junto con una operación
binaria( las operaciones como suma, resta división o multiplicación de numero son
consideradas operación binaria la cual puedes ser asociativa y conmutativa respecto a la
operación interna, a este último se le conoce  semigrupo abeliano. El nombre "semigrupo"
se origina en el hecho de que un semigrupo generaliza un grupo conservando solamente la
asociatividad y el cierre bajo la operación binaria omitiendo la exigencia de un elemento de
identidad y sus inversas.

Grupo

En matemáticas, , un grupo es una estructura algebraica formada

por un conjunto A no vacío y una operación   interna, es decir, operación
matemática con dos números que pertenecen a un conjunto específico y el resultado de
dicha operación es otro número que pertenece al mismo conjunto . Se dice que es un Grupo
si (G, ∗) tiene las propiedades asociativa, existe un elemento neutro(El elemento neutro de una
operación es un número que operado con cualquier otro número no lo altera) y cada
elemento de G tiene un opuesto o inverso(el opuesto de un numero n es el numero que sumado
con n, da cero). Grupo Conmutativo o Abeliano si (G, ∗) es un grupo y además la operación ∗ es
conmutativa.

HOMOMORFISMO:

se define como la Función que se establece entre grupos para conservar la

estructura de los mismos, es decir, que es una función que preserva la
estructura interna entre dos estructuras matemáticas relevante.

Si para dos grupos B y C y una aplicación

f: B → C. Se cumple que:

f(x + y) = f(x) + f(y) (para todo x, y).

Significa que la imagen del elemento x + y del conjunto B es igual que

la imagen del elemento x + la imagen del elemento y.

Debemos tener en cuenta que el signo + no representa la operación

suma, sino la operación que se ha definido en el conjunto para que
tenga estructura de grupo.

ANILLO

un anillo es cualquier conjunto R no vacío con dos operaciones

de composición interna, siendo con la primera un grupo abeliano y la
segunda operación asociativa y además distributiva respecto de la
primera.
Un anillo A es un conjunto provisto de dos operaciones binarias,
llamadas suma o adición y producto o multiplicación, tales que
 1. + (suma o adición) es una operación asociativa, conmutativa, con neutro 0 y cada
elemento a tiene un opuesto aditivo -a tal que a + (-a) = 0. A es un grupo abeliano por
la suma
2. *(multiplicación o producto) es una operación asociativa. A es un semigrupo por el
producto.
3. El producto es distributivo a izquierda y a derecha con respecto a la suma.

Sea el conjunto R un conjunto no vacío de diversa naturaleza, con dos

operaciones algebraicas independientes, que se llamarán adición,
denotada por + y multiplicación, si se cumple lo siguiente:

1. El conjunto R con la adición es un grupo abeliano.

2. El conjunto R con la multiplicación es un semigrupo
3. L a multiplicacción es distributiva respecto de la adicióna(b + c)
= ab + ac, (a + b)c = ac + bc,

El conjunto R que cumple las tres condiciones anteriormente

señaladas se denomina anillo. R provisto de dos operaciones es un
sistema algebraico más complejo que el grup