On 2014-12-05, Travis Scrimshaw <tsc...@ucdavis.edu> wrote: > ------=_Part_1543_1865320583.1417795602964 > Content-Type: multipart/alternative; > boundary="----=_Part_1544_1476759575.1417795602965" > > ------=_Part_1544_1476759575.1417795602965 > Content-Type: text/plain; charset=UTF-8 > > Hey Dima, > >>> some pedestrian-level representation theory of associative algebras >> > >> > Do you mean stuff like representations of path algebras (which are >> > highly non-commutative associative algebras)? Minimal projective >> > resolutions of basic algebras? I'm currently working on that. >> >> no, I meant finite-dimensional associative algebras, say defined >> by matrix generators or structure constants. (I mostly care for char=0 >> case here). >> E.g. Magma can compute their absolutely irreducibe representations, >> at least for certain fields like number fields. >> > > Is there a reference for how to construct these irreps? We have > finite-dimensional matrix algebras whose multiplication is given by > matrices. I have code for finite-dimensional Lie algebras given by > structure coefficients that could easily be expanded to cover algebras (and > infinite dimensional).
http://www.ams.org/mathscinet-getitem?mr=2879232 I'd be quite surprised if you can do what they do by other means. It depends upon ability to compute nonabelian maximal orders. Dima -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.