This is from "Prime factorization of integral Cayley numbers" by H.P. Rehm(adsbygoogle = window.adsbygoogle || []).push({});

http://archive.numdam.org/ARCHIVE/AFST/AFST_1993_6_2_2/AFST_1993_6_2_2_271_0/AFST_1993_6_2_2_271_0.pdf" [Broken]

Let A be the algebra of octonions over rationals, C be the maximal order of integral octonions (given for example in Coxeter basis).

Let M be a Z-module of rank 8, and a in C such that Ma is a submodule of M. (It is obviously of rank 8 over Z, too).

The goal is to show that [M : Ma] = norm(a)^4, where [M : Ma] is the index of abelian groups.

This is completely trivial when a is rational (hence integer).

The question is actually rather generic. It is quite easy to show that if a is in not in Q, the minimal polynomial of the map x -> x*a is f(X)=X^2 - tr(a)X+norm(a). Why is the characteristic polynomial equal to f^4(X)? Why is the determinant of the map equal to plus/minus [M : Ma]? How can one figure out the characteristic polynomial and/or write down a matrix of the map in some basis in terms of a, its trace and norm? Here the bases for M or Ma are not given.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Matrix of a module endomorphism and its char/min poly

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

Loading...

Similar Threads - Matrix module endomorphism | Date |
---|---|

I Getting a matrix into row-echelon form, with zero-value pivots | Feb 17, 2018 |

I Orthogonal matrix construction | Feb 13, 2018 |

A Example of how a rotation matrix preserves symmetry of PDE | Feb 10, 2018 |

I Diagonalization and change of basis | Jan 16, 2018 |

I Advantages of Vector Spaces over Modules | Aug 4, 2017 |

**Physics Forums - The Fusion of Science and Community**