6
$\begingroup$

I got stuck in this problem:

Let $A:\mathbb{R}^{6}\rightarrow \mathbb{R}^{6}$ be a linear transformation. Assume $A^{26}=I$, prove that $R^{6}=\oplus_{i=1}^{3} V_{i}$, with $AV_{i}\subset V_{i}$(the explicit condition is $V_{i}$ are 2-dimensional invariant subspaces of $\mathbb{R}^{6}$ under $A$).

My thought is $A$ must have a minimal polynomial of degree less or equal to 6. Thus since it divides $x^{26}-1$, the only choices are: $x-1,x+1,x^{2}-1$ since the rest term $(x^{13}-1)/(x-1)*(x^{13}+1)/(x+1)$ has factors irreducible and degree higher than 6. And the claim is trivial in the case $A=\pm I$. But I do not know how to deal with the case $A^{2}-I=0$ - $A$ can only have eigenvalues $1$ and $-1$, but how this helps to solve the problem?


Edit:

In the light of did's comments $\sum^{12}_{i=0}x^{i}$ and $\sum^{12}_{i=0}(-1)^{i}x^{i}$ can be reducible over the reals in pairs of 6 quadratics, and the corresponding $A$'s are rotations. But I still feel rather confused as if problem is solved at this stage by suggesting $A$'s minimal polynomial must be a product of $x-1,x+1,x^{2}-1, x^{2}-\cos[\theta]x+1$ which are dealt with respectively by $I,-I$, selecting linearly independent vectors and run with $A$, and selecting the rotational invariant subspace. Since obviously cases like $(x\pm 1)(x^{2}-\cos[\theta]x+1)$ or even $(x+1)(x-1)^{2}$ could happen.

  • 0
    @Hurkyl: I see. Seems I forgot high school level math I learned 10 years ago.2012-07-31

3 Answers 3

3

The decomposition of $x^{26}-1$ into irreducible factors over $\mathbb R$ is $ (x-1)\cdot(x+1)\cdot\prod\limits_{k=1}^{12}p_k(x),\qquad p_k(x)=x^2-2\cos(k\pi/13)x+1. $ This almost determines the minimal polynomial $\mu_A(x)$ of $A$, since $\mu_A(x)$ divides $x^{26}-1$. Hence $\mu_A(x)$ is the product of at most three factors $p_k(x)$ and possibly a factor $x-1$ and possibly a factor $x+1$. In any case, $\mu_A(x)$ has no repeated irreducible factor hence $A$ is equivalent over $\mathbb R$ to a matrix diagonal by blocks, with (1.) possibly an even number of blocks of size $1\times1$ equal to $+1$ or to $-1$ and (2.) possibly some blocks of size $2\times2$ equal to rotation matrices $ \begin{pmatrix}\cos(k\pi/13)&\sin(k\pi/13)\\ -\sin(k\pi/13)&\cos(k\pi/13)\end{pmatrix}. $ This yields the desired decomposition as follows: choose each plane left invariant by one of the rotation matrices, if there are some, and complete by any planes made of eigenvectors with eigenvalues $\pm1$, if necessary. (Note that the result is such that $AV_i=V_i$ for every $i$.)

2

Suppose $A^2 = I$. Let $x$ be any nonzero vector. Then the space spanned by $x$ and $Ax$ is invariant. Repeat.

  • 0
    @Did,$I$meant that in order to make the argument work, it must be $\,Ax\,$ is non-zero, which follows from $\,A\,$ being regular. Tha's all.2012-07-31
1

Consider $B=\sum_{i=0}^{12}A^{2i}$

You will find easy invariant subspace by considering $B(x)$, because $A^2(B(x))=B(x)$. So take $B(x)$ and $A(B(X))$ to build a 2 dimensional invariant subspace. There are some degenerate case (for example $B(x)=0$), but they should not be too hard...

EDIT :

A has 6 eigen values $\lambda_i$ in $\mathbb C$. As $A^{26}=I$, $\lambda_i^{26}=1$, they are non zero values. Either

  1. $\lambda_i\in{\mathbb R}$
  2. $\lambda_i\notin{\mathbb R}$ and $\exists j \lambda_j=\bar{\lambda_i}$

So you can build 3 2-dimensional spaces by grouping the complex values with their respective conjugate, or any real value with any other real value...