A doubt: let $k$ be an algebraically closed field and let $p(x) \in k[x]$ be a polynomial of degree $n \geq 1$ without repeated roots. The quotient $k[x]/(p(x))$ is isomorphic, as a vector space, to $k^{n}$ right? because we can factor $p(x)$ as a product of linear factors and then use the chinese remainder theorem. Is this correct?
Dimension of quotient vector space
0
$\begingroup$
linear-algebra
abstract-algebra
-
0To use the chinese remainder theorem, the factors needs to be comaximal. If $p(x) = (x - a)^n$, then each of the factors are not comaximal. If $p(x)$ is separable, then this is true. – 2012-05-22
-
0@William: just added that $f$ has no repeated roots. – 2012-05-22
-
0In that case, yes. – 2012-05-22
-
3Correct. But **as a vector space** $k[x]/\langle p(x)\rangle$ is isomorphic to $k^n$ irrespective of whether $p(x)$ has repeated factors and irrespective of whether $k$ is algebraically closed. This is because each coset has a unique polynomial of degree $
in it, and those form a vector space od dimension $n$. – 2012-05-22 -
2Also note that $k[x] \slash (p(x))$ is thought of as a quotient of rings. – 2012-05-22
1 Answers
3
Regardless of whether $p(x)$ is squarefree or not, and whether $k$ is algebraically closed or not, $k[x]/\langle p(x)\rangle$ has dimension $\deg(p)$: this follows from the division algorithm.
If $k$ is algebraically closed and $p(x)$ is squarefree, then you actually get that $k[x]/\langle p(x)\rangle$ is isomorphic to $k^n$ as rings: the map into the product is a ring homomorphism.
For general $k$ and $p(x)$ squarefree, you get a product of extensions of $k$, and again an isomorphism as rings.