I Proving a result about invertibility without determinants

  • I
  • Thread starter Thread starter Mr Davis 97
  • Start date Start date
  • Tags Tags
    Determinants
Mr Davis 97
Messages
1,461
Reaction score
44
Let A and B be nxn matrices over an arbitary field such that AB = -BA. Prove that if n is odd then A or B is not invertible.

This is rather easy when we use determinants. However, I am curious, how hard would it be to prove this without the use of determinants? What would be involved in such a proof, and how much more work would it be when compared to just using determinants?
 
Physics news on Phys.org
I have no idea except to describe the determinant by geometric means which wouldn't really be another approach. However, "arbitrary field" is wrong. One has to require a certain condition on the field.
 
assume A invertible and prove B is not.

i think it implies they (B and -B) are similar, hence have the same jordan form, and that blocks with diagonal constant c are balanced by equal size diagonal blocks with constant -c. Hence odd size suggests some c = -c = 0. (Pass to algebraic closure to use jordan form.) Of course as fresh 42 warned, it is prudent to require 1 ≠ -1 in the field used.

so this is using ideas actually more powerful than determinants but also more conceptual.

normal forms may be obtained by diagonalizing the characteristic matrix with no specific mention of determinants, but they are there as the constant term of the characteristic polynomial (defined as the product of the diagonal entries of the diagonalized characteristic matrix.)
 
Last edited:
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top