2
$\begingroup$

Let $K$ be an algebraically closed field and consider the $K$-algebra $K[t]$ i.e the $K$-algebra of all polynomials in the indeterminate $t$ with coefficients in $K$.

Now consider an ideal $I$ of $K[t]$ then since $K[t]$ is PID we have that $I= \langle p(t) \rangle$ for some polynomial $p(t) \in K[t]$.

Suppose now that we have the situation that $K[t]/I \cong A$ where $A$ is any connected $K$-algebra of dimension $3$. (by connected algebra I mean that is $A$ is not the direct product of two algebras).Here $\cong$ means isomorphism as $K$-algebras.

Question: Can we always guarantee that $K[t]/I$ is isomorphic to $K[t]/(t^{3})$ as $K$-algebra? or that $K[t]/(t^{3})$ is isomorphic to $K^{3}?$ are these all the possible cases? or what can we say about the ideal $I$?

  • 1
    @Jack: In which case it should be clear that $K[t]/(t^3)$ cannot be isomorphic to it, since $K[t]/(t^3)$ contains nontrivial nilpotents but $K\oplus K\oplus K$ does not...2011-11-07

1 Answers 1

1

If we factor $p(t) = (t-a_1)^{r_1}\cdots (t-a_k)^{r_k}$, with $a_i$ pairwise distinct, $r_i\gt 0$ for all $i$, we have that $K[t]/I \cong K[t]/(t-a_1)^{r_1} \times K[t]/(t-a_2)^{r_2}\times\cdots\times K[t]/(t-a_k)^{r_k}..$

Moreover, for any $a_i\in K$, we have that $K[t]/(t-a_i)^r \cong K[t]/(t^r)$, with the isomorphism induced by mapping $t$ to $a_i+(t^r)$ in $K[t]/(t^r)$.

So if $p(t) = (t-a+1)^{r_1}\cdots (t-a_k)^{r_k}$, then $K[t]/I \cong K[t]/(t^{r_1}) \times \cdots \times K[t]/(t^{r_k}).$

Since you want $K[t]/I$ to not be a nontrivial direct product, that means that $p(t)$ is a power of an irreducible polynomial, so $K[t]/I \cong K[t]/(t^r)$, where $r=\deg(p)$.

  • 0
    The dimension of $K[t]/(t^n)$ as a $K$-vector space is $n$, yes.2011-11-07