Ask Your Question
1

Compute all Elements of a subgroup GL_3(R)

asked 2015-11-15 14:24:19 +0100

thetha gravatar image

updated 2017-01-08 12:03:14 +0100

FrédéricC gravatar image

Hi there, i have two matrices A and B, they both out Gl_3(R). I have find all Elements in the Subgroup created by these two. is there a way to do it in sage?

M3 = MatrixSpace(QQ, 3) # Rational numbers print("Identity matrix:") show(M3.identity_matrix()) A = M3.matrix([[1, 0, 0], [0, -1, 0], [0, 0, -1]]) B = M3.matrix([[0, 1, 0], [0, 0, 1], [1, 0, 0]])

There should be 36 Elements in this group B is cyclic B^3=I and A creates 2 possible Element by negating elements. so the Left inverses create 6 Elements and the Right creates also 6, total is 36.

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted
1

answered 2015-11-15 19:47:58 +0100

FrédéricC gravatar image

Like that:

sage: M3 = MatrixSpace(QQ, 3)
sage: A = M3.matrix([[1, 0, 0], [0, -1, 0], [0, 0, -1]])
sage: B = M3.matrix([[0, 1, 0], [0, 0, 1], [1, 0, 0]])
sage: G = MatrixGroup([A,B])
sage: list(G)
[
[1 0 0]  [-1  0  0]  [0 0 1]  [ 0  0 -1]  [0 1 0]  [ 0 -1  0]
[0 1 0]  [ 0 -1  0]  [1 0 0]  [-1  0  0]  [0 0 1]  [ 0  0 -1]
[0 0 1], [ 0  0  1], [0 1 0], [ 0  1  0], [1 0 0], [ 1  0  0],

[ 1  0  0]  [-1  0  0]  [ 0  0  1]  [ 0  0 -1]  [ 0  1  0]  [ 0 -1  0]
[ 0 -1  0]  [ 0  1  0]  [-1  0  0]  [ 1  0  0]  [ 0  0 -1]  [ 0  0  1]
[ 0  0 -1], [ 0  0 -1], [ 0 -1  0], [ 0 -1  0], [-1  0  0], [-1  0  0]
]
edit flag offensive delete link more

Comments

Thank you, but i have a question. You defined a G as MatrixGroup, could it be defined also with MatrixSubgroup? Since the main Group is GL(3,RR) and the M and N generate only subgroup? Since i would like to calculate the right and the left cosets?

thetha gravatar imagethetha ( 2015-11-15 22:29:45 +0100 )edit

or maybe i am completly on a wrong path?

thetha gravatar imagethetha ( 2015-11-15 22:44:47 +0100 )edit

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: 2015-11-15 14:24:19 +0100

Seen: 487 times

Last updated: Nov 15 '15