Diferencia entre revisiones de «Matemáticas/Teoría de grupos/Grupos»
Contenido eliminado Contenido añadido
Correciones menores |
Correciones menores |
||
Línea 12:
{{Eqn|<math>(a*b)*c=a*(b*c)</math>}}
para cualesquiera <math>a,b</math> y <math>c</math> d <math>S</math>. Cuando para cualesquiera <math>a,b</math> de <math>S</math> se cumple <math>a*b=b*a</math>, se dice que la operación <math>*</math> es '''conmutativa'''. Por lo regular usaremos el símbolo <math>+</math> para representar operaciones que sean conmutativas. En general, cuando hagamos uso de los símbolos <math>\cdot</math> o <math>+</math> para representar operaciones diremos que nuestra notación es, respectivamente, '''multiplicativa''' o '''aditiva'''.
'''Definición:''' Sea <math>G</math> un conjunto y <math>\cdot</math> una operación binaria en <math>G</math>. Se dice que el par <math>(G,\cdot)</math> es un '''semigrupo''' si la operación <math>\cdot</math> es asociativa. Si, además, existe un elemento <math>e\in G</math> tal que ▼
▲'''<font size=3>Definición 1.2:</font>''' Sea <math>G</math> un conjunto y <math>\cdot</math> una operación binaria en <math>G</math>. Se dice que el par <math>(G,\cdot)</math> es un '''semigrupo''' si la operación <math>\cdot</math> es asociativa. Si, además, existe un elemento <math>e\in G</math> tal que
{{Eqn|<math>ae=ea=a,</math>}}
Línea 35 ⟶ 37:
'''<font size=3>Teorema 1.
{{Eqn|<math>
\prod_{i=1}^m a_i\cdot\prod_{j=1}^n a_{j+m}=\prod_{i=1}^{m+n}a_i.
Línea 52 ⟶ 54:
'''<font size=3>Teorema 1.
{{Eqn|<math>\prod_{i=1}^n a_{\phi(i)}=\prod_{i=1}^n a_i</math>}}
Línea 61 ⟶ 63:
C2=<math>\prod_{i=1}^{k-1}a_{\phi(i)}\cdot\prod_{i=1}^{n-k}a_{\phi(k+i)}\cdot a_n.</math>
}}
Con el propósito de aplicar el teorema 1.
{|align="center"
|<math>\theta(i)=\phi(i)\quad</math>
Línea 81 ⟶ 83:
'''<font size=3>Definición 1.
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.
{{Eqn|<math>ab=ba=1.</math>}}
Línea 96 ⟶ 98:
'''<font size=3>Teorema 1.
:'''(G-1)'''<math>aa=a</math> implica <math>a=1</math>
Línea 111 ⟶ 113:
'''<font size=3>Teorema 1.
# 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 117 ⟶ 119:
'''Demostración:''' La implicación es obvia. Por la otra parte, <math>G</math> cumple también con (G-1) del teorema 1.
{{Eqn|<math>(aa^{-1})(aa^{-1})=a(a^{-1}a)a^{-1}=a(1\cdot a^{-1})=aa^{-1},</math>}}
se deduce que <math>aa^{-1}=1</math>, por lo que <math>a^{-1}</math> es también inverso de <math>a</math> por la derecha. Además, <math>a\cdot 1=a(a^{-1}a)=(aa^{-1})a=1\cdot a=a</math>, por lo que 1 es también una identidad por la derecha en <math>G</math>, luego <math>G</math> es un grupo.
'''<font size=3>Teorema 1.
{{Eqn|<math>ax=b\qquad\mbox{y}\qquad ya=b</math>}}
tienen soluciones únicas en <math>G</math>.
|