Re: [sage-support] Find group from matrix presentation

2021-03-24 Thread Dima Pasechnik
On Wed, Mar 24, 2021 at 9:11 AM nqn...@gmail.com wrote: > > 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 > b

Re: [sage-support] Find group from matrix presentation

2021-03-24 Thread 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=matri

Re: [sage-support] Find group from matrix presentation

2021-03-24 Thread Mattia Villani
I think the author uses "present" to say "generate" Il giorno mercoledì 24 marzo 2021 alle 09:35:05 UTC+1 vdelecroix ha scritto: > What does it mean "it presents Z5"? > > Le 24/03/2021 à 09:28, Mattia Villani a écrit : > > That matrix comes from the paper by J.Hempel: "Homology of covering" Pac.

Re: [sage-support] Find group from matrix presentation

2021-03-24 Thread Vincent Delecroix
What does it mean "it presents Z5"? Le 24/03/2021 à 09:28, Mattia Villani a écrit : 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 Il giorno mercoledì 24 marzo 2021 alle 08:50:18 UTC+1 vdelec

Re: [sage-support] Find group from matrix presentation

2021-03-24 Thread 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 Il giorno mercoledì 24 marzo 2021 alle 08:50:18 UTC+1 vdelecroix ha scritto: > Your matrix has determinant 4 - 9 = -5. Hence, the group it genera

Re: [sage-support] Find group from matrix presentation

2021-03-24 Thread Vincent Delecroix
Your matrix has determinant 4 - 9 = -5. Hence, the group it generates in GL(2,QQ) is necessarily infinite. Le 24/03/2021 à 08:47, Mattia Villani a écrit : 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

Re: [sage-support] Find group from matrix presentation

2021-03-24 Thread 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 Il giorno martedì 23 marzo 2021 alle 17:18:12 UTC+1 dim...@gmail.com ha scritto: > On Tue, Mar 23, 2021 at 2:00 PM Mattia Villani wrote: > > > > Is

Re: [sage-support] Find group from matrix presentation

2021-03-23 Thread Dima Pasechnik
On Tue, Mar 23, 2021 at 2:00 PM Mattia Villani 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. >

[sage-support] Find group from matrix presentation

2021-03-23 Thread Mattia Villani
Is is possible to find the group given the matrix 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+unsubscr...@googlegroups.com. To vie