Checking Similarity of Matrices over Finite Fields

asked 10 years ago

algebraicallyclosed
39 ●4 ●6 ●8

updated 1 year ago

FrédéricC

5426 ●4 ●44 ●121

Hi, There is a command in SAGE which allows us to check the similarity of two matrices over Q (or sth); is_similar()

But, when trying to check two matrices' similarity over Finite Fields it usually gives the error: "unable to compute Jordan canonical form for matrix"

I would be appreciated if someone can help me to construct a practical way to check the similarity of two matrices with entries in Finite Fields.

Thanks in advance,

Comments

See https://trac.sagemath.org/ticket/18505

FrédéricC ( 8 years ago )

add a comment

1 Answer

Sort by » oldest newest most voted

answered 10 years ago

FrédéricC

5426 ●4 ●44 ●121

The problem is that some eigenvalues do not lie in the finite field. This prevents the existence of the Jordan form. You need to extend coefficients.

sage: M = matrix(GF(13),[[4,6],[5,9]])
sage: M.jordan_form()
RuntimeError: Some eigenvalue does not exist in Finite Field of size 13.
sage: K = M.parent().base_ring()
sage: L = K.extension(M.minimal_polynomial(),'a')
sage: ML = M.change_ring(L)
sage: ML.jordan_form()
[12*a|   0]
[----+----]
[   0|   a]
sage: ML.is_similar(ML**2)
False

link

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 10 years ago

Seen: 1,253 times

Last updated: Dec 28 '14

Checking Similarity of Matrices over Finite Fields savecancel