Checking Similarity of Matrices over Finite Fields

asked 2014-12-28 00:55:18 +0200

algebraicallyclosed
39 ●4 ●6 ●8

updated 2023-05-19 14:37:06 +0200

FrédéricC

5125 ●3 ●43 ●111

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,

edit retag flag offensive close merge delete

Comments

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

FrédéricC ( 2016-10-15 12:25:27 +0200 )edit

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2014-12-28 08:28:21 +0200

FrédéricC

5125 ●3 ●43 ●111

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

edit flag offensive delete 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: 2014-12-28 00:55:18 +0200

Seen: 1,031 times

Last updated: Dec 28 '14

Checking Similarity of Matrices over Finite Fields edit