Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I'm interested in doing computations with certain non-commutative rings, most of which involve taking derived tensor products. Does anyone know of a computer algebra package which will find projective resolutions of complexes of modules over a finite-dimensional non-commutative ring, tensor with a bimodule, and do it all over again?

share|improve this question

2 Answers 2

up vote 5 down vote accepted

I don't know whether Magma can handle all you ask for, but if I remember my coding for Magma correctly, at least the projective resolutions of modules over a non-commutative ring should be covered by that - for nice enough non-commutative rings. It's all been developed there as part of Jon F. Carlson's work on computing group cohomology rings.

If there is a system that does all you ask for, and does it efficiently, it is probably been written in connection to a group cohomology computation effort - which narrows the candidates down significantly: Magma and GAP do group cohomology rings, and SAGE now with the work of Simon King and David Green.

In contrast, I'm reasonably certain that Macaulay only does commutative things, and Singular doesn't have resolutions as a naturally occuring object at all.

Bergman might be able to deal with what you ask for, though.

To conclude: I'd recommend you to take a look at the homological algebra modules in Magma, GAP, SAGE and Bergman - I'd be highly surprised to see any other packages deal with the case you describe, and I'm not entirely convinced either of these do it well either.

share|improve this answer
    
Singular will now compute resolutions, including for a certain class of noncommutative algebras via it's Plural extension. singular.uni-kl.de –  Matthew Towers Nov 29 '12 at 17:38

Which non-commutative rings are you interested in? Tensor product over non-commutative rings is computationally a delicate issue, since the resulting module is in general only an Abelian group, which is very often infinitely generated. So could you please be more specific.

share|improve this answer
    
Well, I was talking about tensoring with bimodules which are finitely generated as left and right modules, so this infinite generation is not an issue. Infinite global dimension definitely is, though. –  Ben Webster Oct 27 '10 at 5:29

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.