Diferencia entre revisiones de «Álgebra Abstracta/Anillo de Polinomios»
Contenido eliminado Contenido añadido
Sin resumen de edición |
Sin resumen de edición |
||
Línea 21:
{{Ejmpl|Ejemplo}}
Recordemos que un <i>cero</i> de una función polinómica <math>f</math> es un número <math>a</math> del dominio de la función tal que <math>f(a) = 0</math>. Consideremos la función polinómica <math>f</math> de <math>\Q</math> en <math>\Q</math> tal que <math>f(x) = x^2 - 2</math>. Observemos que un
El problema no es que la función tenga dominio los racionales y no todos los reales, ya que la función <math>f:\R \longrightarrow \R</math> tal que <math>f(x) = x^2 + 1</math> tampoco tiene ceros reales, aunque sí complejos.
Línea 29:
{{Ejmpl|Ejemplo}}
Consideremos el cuerpo <math>\mathbb{F}_3</math> (<
<center><math>\begin{array}{c|c|c}
x &f(x)&g(x) \\ \hline
Línea 96:
<center><math>(a_0, a_1, \ldots, a_n, 0, 0, \ldots).</math></center>
Esa es precisamente la vía que adoptaremos. Nuestros polinomios formales serán sucesiones de números o, en general, de elementos de un anillo, que se operan de acuerdo a las relaciones en las ecuaciones
== Las Definiciones Formales ==
Línea 116:
==== La multiplicación ====
Sean <math>f</math> y <math>g</math> dos sucesiones de <math>A^{\N}</math>. Definiremos el producto <math>fg</math> de esas sucesiones por una relación idéntica a aquella en la ecuación
{{Eqn|<math>(fg)_n := \sum_{i+j=n} f_ig_j = f_0g_n + f_1g_{n-1} + \cdots + f_ng_0.</math>|16-4}}
Línea 124:
<b>Lema A.</b> <i>
La multiplicación definida en
<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 165:
Luego,
{{Eqn|<math>\varphi(a+b) = \widetilde{a+b} = \widetilde{a} + \widetilde{b} = \varphi(a) + \varphi(b).</math>|
Veamos la situación con la multiplicación.
Línea 186:
<center><math>\widetilde{ab}_n = 0 = 0\cdot 0 = \widetilde{a}_n\widetilde{b}_n.</math></center>
Luego,
{{Eqn|<math>\varphi(ab) = \widetilde{(ab)} = \widetilde{a}\, \widetilde{b} = \varphi(a)\varphi(b).</math>|
Las relaciones
Veamos, ahora, que sucede cuando se multiplica un elemento de <math>A</math> por una sucesión cualquiera.
|