¿Cómo demostraría que el anillo homomorfismo [matemática] \ phi: f (x) \ rightarrow (f (i), f (-i)) [/ math] para [math] \ mathbb {C} [x] \ rightarrow \ mathbb {C} \ times \ mathbb {C} [/ math] es sobreyectivo?

Si no puede descubrir cómo demostrar que se trata de un homomorfismo en anillo, entonces necesita actualizar su comprensión básica de lo que está hablando … ¿Qué se define como + y * en el dominio? ¿Cómo interactúan con la evaluación de polinomios en un punto particular (que es lo que hacen los dos componentes de [math] \ phi [/ math])? Esta parte debe ser muy inmediata, solo a partir de las definiciones.

En cuanto a por qué es surjective, la surjectivity equivale a la afirmación “Para cada par de valores, hay algún polinomio que toma el primer valor en la entrada i y el segundo valor en la entrada -i”. Este es solo un caso especial del hecho de que siempre se puede encontrar que un polinomio toma valores particulares en cualquier conjunto finito particular de entradas (interpolación polinómica). De hecho, es un caso tan especial que se puede lograr con solo un polinomio de grado 1. Solo piénsalo un poco; ¿Cómo se obtiene una línea y = mx + b para pasar por dos puntos particulares?

Finalmente, en cuanto al núcleo, por definición, el núcleo será aquellos polinomios con ceros en i y -i. Bueno, un polinomio tiene tales ceros en caso de que sea un múltiplo común de (x – i) y (x + i), es decir, un múltiplo de (x – i) * (x + i) = x ^ 2 + 1. Eso completa eso.

Resuelve el siguiente sistema:

[matemáticas] \ left \ {\ begin {array} {l} ui + v = z \\ -ui + v = w \ end {array} \ right. \ Leftrightarrow (u; v) = (\ frac {zw} {2i}; \ frac {z + w} {2}) [/ math]

Tome [math] f (x) = ux + v \ Rightarrow \ phi (f) = (z; w) [/ math]

Entonces descubrió que [matemáticas] \ forall (z; w) \ in \ C \ times \ C \ existe f (x) = \ frac {zw} {2i} x + \ frac {z + w} {2 }: \ phi (f) = (z; w) [/ math]

La parte del homomorfismo es trivial como [matemáticas] (f \ pm g) (\ pm i) = f (\ pm i) \ pm g (\ pm i), (fg) (\ pm i) = f (\ pm i ) g (\ pm i) [/ matemáticas]

More Interesting

¿Qué es el 'Quaternion' y su 'Lerp' en Unity y qué hace?

Cómo representar el siguiente número binario en notación exponencial (23,415)

¿Con qué facilidad podría un matemático aplicado aprender el procesamiento de señales (digital), la teoría de control y / o la visión por computadora?

¿Qué es la topología de internet?

¿Qué regla matemática dice que si [matemática] A = B [/ matemática] y [matemática] B = C [/ matemática], entonces [matemática] A = C [/ matemática]?

Cómo encontrar la raíz cuadrada de cualquier número en segundos

Cómo probar 1 + 1 = 3 de una manera diferente

En su experiencia, ¿la precedencia estricta de la multiplicación y la división en el orden de las operaciones parece variar según la región?

¿Cómo se habría escrito esta prueba matemática? ¿Qué lo hace tan grande para ocupar 200 TB?

¿Cuál es el máximo y mínimo de f (x) = ((X + 1) (x + 4)) / ((x-1) (x-4))?

¿Cuál es la forma más motivadora de introducir espacios de productos internos generales? Estoy buscando ejemplos que tengan un impacto real. Para los espacios euclidianos, relacionamos el producto escalar con el ángulo entre los vectores que la mayoría de las personas considera tangible. ¿Cómo podemos extender esta idea al producto interno de espacios de vectores generales tales como el conjunto de matrices, polinomios, funciones?

¿Qué estudios proporcionan la evidencia más concluyente de que no existe una disparidad de género innata en la habilidad matemática?

¿Qué es una explicación intuitiva de un límite directo?

¿Cuántas matemáticas usan los actuarios en su trabajo diario?

¿Es épsilon nada contable? Si es así, ¿por qué?