Intereting Posts

Prove that $\mathbb{R^*}$, the set of all real numbers except $0$, is not a cyclic group
Integral Representation of the Zeta Function: $\zeta(s)=\frac1{\Gamma(s)}\int_{0}^\infty \frac{x^{s-1}}{e^x-1}dx$
Rudin Theorem 3.27
Find the sum of all the multiples of 3 or 5 below 1000
Problem in measure theory -proof verification
Integration with a Bessel function
Question regarding bipartite graphs and their subgraphs.
Is $2 + 2 + 2 + 2 + … = -\frac12$ or $-1$?
Sum involving the product of binomial coefficients
General Solution to $x^2-2y^2=1$
Finite non-abelian group with centre but no outer automorphism
What am I losing if I decide to perform all math by computer?
Eigenvector of matrix of equal numbers
Equivalent definitions of regular categories?
Why is polynomial convolution equivalent to multiplication in $F/(x^n-1)$?

I have come across a question about determining possible minimal polynomials for a rank one linear operator and I am wondering if I am using the correct proof method. I think that the facts needed to solve this problem come from the section on Nilpotent operators from Hoffman and Kunze’s “Linear Algebra”.

Question: Let $V$ be a vector space of dimension $n$ over the field $F$ and consider a linear operator $T$ on $V$ such that $\mathrm{rank}(T) = 1$. List all possible minimal polynomials for $T$.

Sketch of Proof: If $T$ is nilpotent then the minimal polynomial of $T$ is $x^k$ for some $k\leq n$. So suppose $T$ is not nilpotent, then we can argue that $T$ is diagonalizable based on the fact that $T$ must have one nonzero eigenvalue otherwise it would be nilpotent (I am leaving details of the proof of diagonalization but it is the observation that the characteristic space of the nonzero eigenvalue is the range of T and has dimension $1$). Thus the minimal polynomial of $T$ is just a linear term $x-c$.

- Axiomatization of angle measuring in real vector spaces
- A basis for the dual space of $V$
- What are mandatory conditions for a family of matrices to commute?
- What to do with an empty column in the basis of the null space?
- Form of anticommuting matrices.
- Inverse of a symmetric tridiagonal matrix.

Did I make a mistake assuming that $T$ can have only one nonzero eigenvalue?

Thanks for your help

- An $n \times n$ matrix $M$ of integers has the property that $M_{ab} = M_{xy}$ iff $a+b=x+y$. How many distinct elements are there in $M$?
- Calculate determinant of Vandermonde using specified steps.
- There is a subspace $W$ of $V$ such that $V = U \oplus W$
- Nullspace that spans $\mathbb{R}^n$?
- “Intrinsic” treatment of projective spaces
- Positivity of a determinant
- Get the direction vector passing through the intersection point of two straight lines
- Why is the volume of a parallelepiped equal to the square root of $\sqrt{det(AA^T)}$
- Can an eigenvalue (of an $n$ by $n$ matrix A) with algebraic multiplicity $n$ have an eigenspace with fewer than $n$ dimensions?
- Vandermonde determinant by induction

If $n=1$ then $T$ is multiplication by some $a\in F$, the minimal polynomial$\mu_T$ of $T$ is $X-a$, and $\def\rk{\operatorname{rk}}\rk T=1$ means that $a\neq0$. Now assume $n>1$; then $T$ cannot be any scalar multiplication, so one certainly has $\deg(\mu_T)>1$.

Since $T$ has rank$~1$, it can be factored through (the $1$-dimensional vector space) $F$, that is $T=f\circ\alpha$ where $\alpha\in\mathcal L(V,F)=V^*$ and $f\in\mathcal L(F,V)$ is just scalar multiplication of a fixed vector $v\in V$. One has $T^2=f\circ\alpha\circ f\circ\alpha$, and since $\alpha\circ f\in\mathcal L(F,F)$ is scalar multiplication by $\def\tr{\operatorname{tr}}c=\alpha(v)=\tr T$, one gets $T^2=c(f\circ\alpha)=cT$, so that $\mu_T=X^2-cX=X(X-c)$. Here $c\in F$ can be anything; if $c=0$ then $T$ is nilpotent of order$~2$, hence not diagonalisable, otherwise $T$ is diagonalisable with distinct eigenvalues $0$ and $c$.

An alternative argument without using an explicit decomposition of $T$ goes as follows. By rank-nullity $T$ has an eigenvalue$~0$, so $\mu_T$ contains a factor$~X$. The remaining factor $\mu’=\mu_T/X$ of$~\mu_T$ is equal to the minimal polynomial of the restriction of$~T$ to its image. That image has dimension $\rk T=1$ on which $T$ therefore acts by some scalar$~c$, so $\mu’=X-c$, and $\mu_T=X(X-c)$. There are many ways to see that $c$ is the trace of$~T$, one of which it that the trace of any operator equals that of its restriction to its image.

- X nonnegative and integral equal to zero implies measure of positive part zero
- Power method for finding all eigenvectors
- Monotonicity of the sequences $\left(1+\frac1n\right)^n$, $\left(1-\frac1n\right)^n$ and $\left(1+\frac1n\right)^{n+1}$
- Detail in Conditional expectation on more than one random variable
- Proving that a particular restriction of a projection is a quotient map
- How to prove $2\sqrt{2+\sqrt{3}}=\sqrt{2}+\sqrt{6}$?
- What is a point?
- A formal name for “smallest” and “largest” partition
- Determinant of determinant is determinant?
- An infinite $p$-group may not be nilpotent
- How to write a good mathematical paper?
- Compilation of proofs for the summation of natural squares and cubes
- Show that if f is analytic in $|z|\leq 1$, there must be some positive integer n such that $f(\frac{1}{n})\neq \frac{1}{n+1}$
- Number of digits from $1$ to $n$
- Proving that a doubly-periodic entire function $f$ is constant.