Diferencia entre revisiones de «Álgebra Abstracta/Anillo de Polinomios»
Contenido eliminado Contenido añadido
Línea 102:
Sean <math>f</math> y <math>g</math> dos sucesiones de <math>A^{\N}</math>. La suma de esas sucesiones es la sucesión denotada por <math>f+g</math> y tal que
{{Eqn|<math>(f+g)_n := f_n+ g_n.</math>|
Es decir que el término <math>n</math>--ésimo de la suma es la suma de ls términos <math>n</math>--ésimos de los sumandos.
Línea 110:
==== La multiplicación ====
Nos interesa probar que <math><A^{\N}, + ,\cdot></math> es un anillo con identidad. Para eso, nos falta por probar que la multiplicación es asociativa, distributiva y que hay una función identidad para la multiplicación.
<b>Lema.</b> <i>
La multiplicación definida en ({{Eqnref| <ul><i>
Demostración: </i> Sean <math>f</math>, <math>g</math> y <math>h</math> tres sucesiones de <math>\N</math> en <math>A</math>. Para todo <math>n</math> se cumple que
Línea 145 ⟶ 146:
{{QED}} </ul> <hr>
Con cada <math>a</math> en <math>A</math>, asociaremos la función <math>\widetilde{a}</math> tal que <math>\widetilde{a}_{0} = a</math> y <math>\widetilde{a}_n=0</math> para todo <math>n>0</math>. Como sucesión, tenemos que <math>\widetilde{a} = (a,0,0,0, \ldots)</math>.
Sea <math>\varphi: A \longrightarrow A^{\N}</math> tal que <math>\varphi(a) = \widetilde{a}</math>.
Claramente, <math>\varphi</math> es una función inyectiva, Probaremos que es un homomorfismo de anillos.
Cuando <math>a</math> y <math>b</math> son elemento de <math>A</math> se cumple que
<
mientras que para <math>n>0</math>, tenemos que
<
Luego,
Línea 165 ⟶ 167:
Con <math>n > 0</math> se tiene que
<center><math>
\widetilde{ab}_n =
= \sum_{i+j=n, i=0} \widetilde{a}_{i}\widetilde{b}_{j} \quad + \sum_{i+j=n, i>0} \widetilde{a}_{i}\widetilde{b}_{j}.
</math></center>
Línea 411 ⟶ 413:
<li> ¿Cuántos polinomios distintos de segundo grado, de tercer grado, ... , de enésimo grado podemos formar sobre el cuerpo <math>\Z_5</math>?
<li> Sean <math> f =
<li> Sean <math>f =
Línea 482 ⟶ 484:
</ol>
== La Evaluación de un Polinomio ==
|