1962
Comment:

← Revision 6 as of 20081114 13:41:58 ⇥
1962
converted to 1.6 markup

No differences found! 
Tensor products, quotients, etc., of free modules
Comment from Mike: I'm highly interested in this functionality as I need it for a lot of things. It would be nice to be able to tensor over rings other than just the base ring.
Soroosh's Wish List: Here is a list of things that I think it would be nice to have in Sage. I think some of them are in already.
 kernel
 cokernel
torsion: Given Rmodule M and an RIdeal I, construct the submodule M[I]=\{m \in M  xm=0 \mbox{ for all } x \in I\}
intersection: Given Rmodule M and two submodules N_1 and N_2, find the submodule N_1 \cap N_2
sum: Given Rmodule M and two submodules N_1 and N_2, find the submodule N_1+N_2
 tensor product
hom module: Given Rmodules M_1 and M_2, construct the module Hom_R(M_1, M_2)
Change of ring: Given Rmodules M and an Ralgebra A, construct the Amodule M \otimes A.
 Annihilator
 Rank: Calculate the rank of an Rmodule M.
 direct sum
 treating ideals as an Rmodules.
Comment from Justin:
 I'd like to have support for modules (lattices) over arbitrary rings, especially quaternion algebras. I'd also like to create these things as subthings of existing structures (say, quaternion algebras). I don't know whether the latter is really important or interesting, but it seems like a good idea on the surface.
I think that the quotient module should be the head of the class hierarchy (below an abstract Module class perhaps). Then a free module would be a module with no relations. Related question: should the Module hierarchy have classes for a variety (as it were) of module types (free, tensor products, quotients, ...)? Is it better just to differentiate by attributes on the base class?
As of Monday, we have some code running. It's barely a beginning. How this fits into the class hierarchy is not yet clear. Comments welcome ([email protected], [email protected]).