Diferencia entre revisiones de «Matemáticas/Teoría de grupos/Grupos»

Contenido eliminado Contenido añadido
Alephcero (discusión | contribs.)
Cambios menores
Alephcero (discusión | contribs.)
Correciones menores
Línea 84:
 
Si un elemento <math>a</math> de un monoide <math>G</math> es invertible, entonces su inverso izquierdo y su inverso derecho coinciden. En efecto, pues si <math>b</math> y <math>c</math> son, respectivamente, el inverso izquierdo y el inverso derecho de <math>a</math>, entonces <math>b=b\cdot1=b(ac)=(ba)c=1\cdot c=c</math>.
 
'''<font size=3>Definición 1.5:</font>''' Se llama '''grupo''' a un monoide <math>G</math> cuando todos sus elementos son invertibles, es decir, cuando para todo <math>a</math> de <math>G</math> existe <math>b</math> de <math>G</math> tal que
{{Eqn|<math>ab=ba=1.</math>}}
 
Línea 95 ⟶ 96:
 
 
'''<font size=3>Teorema 1.56:</font>''' Sea <math>G</math> un grupo y <math>a,b,c</math> elementos de <math>G</math>. Se cumplen
 
:'''(G-1)'''<math>aa=a</math> implica <math>a=1</math>
Línea 110 ⟶ 111:
 
 
'''<font size=3>Teorema 1.67:</font>''' Un semigrupo <math>G</math> es un grupo si y sólo si
 
# existe una identidad por la izquierda <math>1</math> tal que para todo elemento <math>a</math> de <math>G</math>, <math>1a=a</math>;
Línea 121 ⟶ 122:
 
 
'''<font size=3>Teorema 1.78:</font>''' Un semigrupo <math>G</math> es un grupo si y sólo si para cualesquiera <math>a</math> y <math>b</math> de <math>G</math> las ecuaciones
{{Eqn|<math>ax=b\qquad\mbox{y}\qquad ya=b</math>}}
tienen soluciones únicas en <math>G</math>.