Find group from matrix presentation

[Mattia Villani]

Is is possible to find the group given the matrix presentation?

[Dima Pasechnik]

On Tue, Mar 23, 2021 at 2:00 PM Mattia Villani <matt...@gmail.com> wrote:
>
> Is is possible to find the group given the matrix presentation?

Please be more specific. Post some Sage commands you're trying.

>
> --
> You received this message because you are subscribed to the Google Groups "sage-support" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-support...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/348e69d5-b3a5-45c4-a7ec-baed9213f6dcn%40googlegroups.com.

[Mattia Villani]

I do not have real code, only a matrix:

matrix([[1,-3],[-3,4]])

which should be a representation of the group Z5: I want to verify it with Sage

[Vincent Delecroix]

Your matrix has determinant 4 - 9 = -5. Hence, the group it generates
in GL(2,QQ) is necessarily infinite.

[Mattia Villani]

That matrix comes from the paper by J.Hempel: "Homology of covering" Pac. J. Math. vol 112 (1984) 83, example 5.2.

The author says that it presents Z5

[Vincent Delecroix]

What does it mean "it presents Z5"?

[Mattia Villani]

I think the author uses "present" to say "generate"

[nqn...@gmail.com]

El miércoles, 24 de marzo de 2021 a las 10:01:43 UTC+1, matt...@gmail.com escribió:

I think the author uses "present" to say "generate"

I suppose you mean the finitely generated Z-module (abelian group) presented by the matrix, ie. its cokernel. In that case, you can do:

sage: A=matrix([[1,-3],[-3,4]])
sage: ZZ^2/A.column_space()
Finitely generated module V/W over Integer Ring with invariants (5)

 

[Dima Pasechnik]

Or just

sage: A.smith_form()
(
[1 0] [ 0 1] [-3 -4]
[0 5], [ 1 -3], [-2 -3]
)

here the 1st entry is the Smith Normal Form of A, and the 2nd and 3rd
ones are what
one uses to conjugate A to get it.

(Yes, in English "present a group" means generators and relations, as
opposed to "represent", which
means a linear representation. Non-native Englsh speakers sometimes
flip the meaning of these, e.g. in Russian
the "представление" means "represenation", and ''копредставление''
means "presentation'')

>
>
>
> --
> You received this message because you are subscribed to the Google Groups "sage-support" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-support...@googlegroups.com.

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/47dcb142-e6af-49e6-81bc-ad8093d00362n%40googlegroups.com.