Welcome to MathOverflow

Question

1

I am currently working with irreducible $k[G]$-modules in MAGMA for finite fields $k$ and finite groups $G$. To construct these modules, I am using the commands IrreducibleModules(G,k) This results in MAGMA recognising the modules as being of type $ModGrp$. However, I wish to perform calculations such as finding the projective cover of such a module, for which MAGMA can only perform such calculations on modules over algebras (i.e. of type $ModAlg$). Is there an easy way to coerce MAGMA into treating modules of type $ModGrp$ as being of type $ModAlg$?

flag	asked Apr 18 2012 at 13:45 dward1996 189●8

Alastair Litterick · Accepted Answer · 2012-04-18 14:19:32Z UTC

3

MAGMA is perfectly capable of calculating the projective cover of a member of IrreducibleModules(G,k), via the ProjectiveCover() function. You can also just call ProjectiveIndecomposables(G,k). Perhaps you are running an old version of MAGMA? Version 2.18-3 is certainly capable of this functionality.

(This would have been a comment rather than an answer if reputation allowed).

answered Apr 18 2012 at 14:19

Alastair Litterick
86●2●4

Thanks for the comment. I have tried using these commands, but just get the error messages: Runtime error in 'ProjectiveCover': Bad argument types Argument types given: ModGrp. Perhaps it is as you suggested that the version of MAGMA that I am using is too old (it is V2.15-15) – dward1996 Apr 18 2012 at 14:47

1

I believe the projective modules functionality was introduced in V2.17, so you will need to update. – Alastair Litterick Apr 18 2012 at 15:20

@AlistariLitterick Thanks for clarifying that. – dward1996 Apr 18 2012 at 15:22

Changing the Type of a Module in MAGMA

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.