3
$\begingroup$

I have to prove that if $V$ is a finite-dimensional vector space over a field of characteristic not 2, and $T$ is an endomorphism such that $\det(I+T) \neq 0$ then $T \mapsto (I-T)(I+T)^{-1}$ is an involution on the space of endomorphisms such that $\det(I+T) \neq 0$.

This is part of an exercise in Gadea and Masqué workbook. It seem trivial as they don't bother detailing the answer, but I can't find it.

Thanks,

JD

  • 0
    You need to prove two things: (a) that $f(T)$ still has the property that $I+f(T)$ is invertible. (b) that $f(f(T))=T$. Can you make any progress on either of them?2011-09-24
  • 0
    You also need an assumption that the scalar field does not have characteristic 2; otherwise $(I-T)(I+T)^{-1}=I$ which is not an involution.2011-09-24
  • 0
    @HenningMakholm: But if the field has characteristic 2 then $I+T=I-T$ and $(I-T)(I+T)^{-1}=(I+T)(I+T)^{-1}=I$. And what is the function $f$ in this case? It is like this? : $X:=\{T : \det(I+T)\neq 0\}$ and $f : X \to X , f(T)=(I-T)(I+T)^{-1}$?2011-09-24
  • 0
    @Beni, yes, silly typo on my part. I managed to fix it within the edit window.2011-09-24
  • 0
    @Henning: Within 13 seconds?!2011-09-24
  • 0
    @joriki, I had already discovered the typo before Beni commented.2011-09-24

3 Answers 3

3

Let $K$ be the ground field and $X$ an indeterminate. It is straightforward to check that the formula $$ \begin{pmatrix}a&b\\ c&d\end{pmatrix}X:=\frac{aX+b}{cX+d} $$ defines an action by $K$-automorphisms of the group $\text{GL}_2(K)$ of two by two invertible matrices with coefficients in $K$ on the field $K(X)$, and that the scalar matrices in $\text{GL}_2(K)$ act trivially.

The answer follows immediately from this observation.

2

Hint: If char $\neq2$, then the formula $$ \frac{1-\frac{1-T}{1+T}}{1+\frac{1-T}{1+T}}=\frac{(1+T)-(1-T)}{(1+T)+(1-T)}=\frac{2T}{2}=T $$ comes in handy. There are a number of details for you to check to make sure that all this algebra makes sense in the ring of endomorphisms.

  • 0
    Instead of the full endomorphism ring, it may be best to interpret the above relation in the commutative ring $R=F[T,1/(1+T)]$.2011-09-24
1

Compute $$[1+(1-T)(1+T)^{-1}]\frac{1+T}{2}$$ You should find $2I$. This means $f(T)$ is invertible (following the notation of Henning in the comment above) and its inverse is $\frac{1+T}{2}$. Next compute $$f(f(t))=[1-(1-T)(1+T)^{-1}][1+(1-T)(1+T)^{-1}]^{-1}=[1-(1-T)(1+T)^{-1}]\frac{1+T}{2}=T$$ and we are done.