Can SAGE calculate with projective (indecomposable) A-modules (A is a finite dimensional Q-algebra)?

asked 2013-08-13 08:21:34 +0100

Bern
133 ●4 ●10 ●19

updated 2013-08-13 12:40:43 +0100

Hi, I have the following question:

Given a $\mathbb{Q}$-algebra A by generators (the generators are matrices) and knowing 5 primitive orthogonal idempotents $e_1$,...,$e_5$ (as matrices), which sum up to $1_A$ (the identity matrix), is there a way / procedure in SAGE, that can compute the projective indecomposable modules $P_1=e_1\cdot A$,...,$P_5=e_5\cdot A$ and then test, whether $P_i$ and $P_j$ are isomorphic as $A$-modules for $i\neq j$?

Thank you very much.

answered 2013-08-13 09:54:59 +0100

Nicolas M Thiéry
151 ●2 ●4 ●7

Aladin Virmaux has written some code (ported from Florent Hivert's implementation in MuPAD) that computes the Cartan matrix of a finite dimensional algebra by constructing orthogonal idempotents and building the sandwiches e_i A e_j. The code is meant to go into Sage at some point, but it still needs polishing and has a couple dependencies.

Probably something could be extracted out of it for your need, but I don't expect it to do better than the naive implementation: building the a basis of the projective module e_i A by repeated multiplication on the right by the generators and so on.

If your algebra is the algebra of a monoid or semigroup, let us know for there we have much more under hand :-)

What kind of dimension do you have in mind?

edit flag offensive delete link

Comments

Thank you very much for your answer. I was thinking of the k-dimension of the algebra. I should have written that in the question. Sorry for my late reply. As a comment, I would like to say that in the meantime I have learned that these things can be done with the aid of the GAP-package QPA. This also works in SAGE via letting GAP be the intermediator.

Bern ( 2018-01-20 15:47:45 +0100 )edit

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Can SAGE calculate with projective (indecomposable) A-modules (A is a finite dimensional Q-algebra)?

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Can SAGE calculate with projective (indecomposable) A-modules (A is a finite dimensional Q-algebra)? edit

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Can SAGE calculate with projective (indecomposable) A-modules (A is a finite dimensional Q-algebra)?