Consider a finite-dimensional vector space $V$ over the field $\mathbb{F}.$ Consider a linear operator $T : V \to V$ such that no nonzero subspace of $V$ is mapped into itself by $T.$ Let $\mathbb{F}[T\,]$ denote the ring of polynomials in $T.$
Prove that the null space of any nonzero $S \in \mathbb{F}[T\,]$ is trivial.
Prove that $\mathbb{F}[T\,]$ is a field.
Prove that $[\mathbb{F}[T\,] : \mathbb{F}\,] = \dim_\mathbb{F}(V).$
We were asked the above question on a recent qualifying exam in algebra, and at the time, I thought I had a solution, but thinking about it more afterward, I realized that my attempts were incorrect. From the first part of the question, it follows that $T$ is invertible with unique inverse $T^{-1}.$ But why does this guarantee that any polynomial $f(T) = a_n T^n + \cdots + a_1 T + a_0 I$ has an inverse in $F[T]?$ For the third part of the question, I would like to establish that the minimal polynomial for $T$ is identical to the characteristic polynomial for $T,$ but I am not entirely sure if this is possible. I would greatly appreciate any suggestions or comments.
.Let $S \in \mathbb F[T]$ be non-zero as a linear transformation. Note that $ST = TS$, since $S$ is just a polynomial in $T$. Therefore, if $Sv = 0$, then $S(Tv) = T(Sv) = 0$, so $T$ maps $\ker S$ to itself i.e. if $v \in \ker S$ then $Tv \in \ker S$. However, this can happen precisely when $\ker S = \{0\}$(as $S$ is non-zero). Hence, $S$ is invertible.
Now, the characteristic polynomial of $T$ is zero in $\mathbb F[T]$. Therefore, $p_T(T) = \sum_{i=0}^n a_iT^i = 0$.
Now, the minimal polynomial must be the characteristic polynomial itself, and therefore $\mathbb F[T] \cong \frac{\mathbb F[x]}{p_T(x)}$. Hence, since $p_T$ is of degree the dimension of $V$, part two and three follow.