Diferencia entre revisiones de «Álgebra Abstracta/Estructuras»
Contenido eliminado Contenido añadido
tag fix |
tag fix |
||
Línea 77:
<ul>
<li> En rigor, debiéramos decir, por ejemplo, que <math><\Z,+></math> "tiene o posee una estructura de grupo", o que es una "instancia de la estructura de grupo", pero simplemente decimos <math><\Z,+></math> es un grupo o hablamos del grupo (aditivo) de los Enteros.
<li> En rigor, deberíamos especificar a un monoide como (que tiene) una estructura <math><M,*,e></math> para indicar la existencia del neutro <i>e</i>. Igualmente, un grupo debiera especificarse como <math><G,*,e, x \mapsto x^{-1} ></math> para indicar que hay, además, inversos para cada elemento. Sin embargo, cuando no haya riesgo de confusión mencionamos solamente el conjunto, la operación y el tipo de estructura.
<li> (Descendientes, Subyacentes) Observemos que hemos definido a las estructuras magma, semigrupos, monoides y grupos, como que cada una es un caso especial de la anterior.
| |||