Ask Your Question

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

asked 2013-08-13 01:21:34 -0600

Bern gravatar image

updated 2013-08-13 05:40:43 -0600

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.

edit retag flag offensive close merge delete

1 answer

Sort by » oldest newest most voted

answered 2013-08-13 02:54:59 -0600

Nicolas M Thiéry gravatar image

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 more

Your Answer

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

Add Answer

Question Tools


Asked: 2013-08-13 01:21:34 -0600

Seen: 79 times

Last updated: Aug 13 '13