Diferencia entre revisiones de «Álgebra Abstracta/Estructuras»
Contenido eliminado Contenido añadido
tag fix |
m Bot: reemplazando sintaxis obsoleta de Látex, véase mw:Extension:Math/Roadmap |
||
Línea 140:
Los principales resultados que el lector deberá examinar cuidadosamente para ver la validez de lo afirmado.
<ul>
<li> <X, +> es un grupo abeliano, cuando <math>X = \Z, \Q, \R, \
Las relaciones de inclusión entre esos conjuntos producen subestructuras. (cuya definición formal veremos posteriormente). Como se trata de la misma operación, el mismo neutro y los mismos opuestos, decimos que los Enteros son un subgrupo aditivo de los Racionales (y de los Reales y de los Complejos). Igualmente, los Racionales son un subgrupo de los Reales y Racionales. Finalmente Los Reales forman un subgrupo de los Complejos.
<li> <X<sup>*</sup>, <math>\cdot</math>> es un grupo abeliano cuando <math> X = \Q, \R , \
<li> Los Enteros módulo m son un grupo respecto a la adición. Con respecto a la multiplicación, sus elementos no nulos, en general, forman un monoide.
| |||