Diferencia entre revisiones de «Álgebra Abstracta/Homomorfismos»
Contenido eliminado Contenido añadido
Línea 203:
Supongamos que <math>f(a^k) = f(a^j)</math>. Sin perdida de generalidad, podemos suponer que <math>j \le k</math>, por lo que tenemos que $0 \le j \le k <n$. Se tiene que
<math>f(a^k) = f(a^j) \implies b^k=b^j \implies b^{k-j}=e'</math>> Si <math> k \neq j</math>, <math>k-j</math> sería un número positivo menor que <math>n</math>. Lo que es imposible, porque por definición <math>n</math> es el menor entero positivo con la propiedad de que <math>a^n=e'.<
Lo que concluye la prueba. {{QED}}
</ul><hr>
| |||