Fundamental theorem of algebra

cosmos 31st October 2017 at 4:55pm
Abstract algebra

Theorem.

Every non-constant complex Polynomial xn+an1xn1+...+a1x+a0x^n+a_{n-1} x^{n-1} + ... + a_1 x +a_0 has a root/zero (an1,...,a0Ca_{n-1}, ..., a_0 \in \mathbb{C}, n1n \geq 1).

For proof we use Lemma If a continuous map f:S1Xf: S^1 \to X extends to a cont. map F:B2XF: B^2 \to X (that is FS1=fF|S^1 = f). Then f:π1(S1,1)π1(X,f(1))f_*: \pi_1(S^1,1) \to \pi_1(X, f(1)) is the trivial homomorphism.

See here