Revision #219 → #1412 · back to history
addedLeft R-modulec8146cf7b6b8
addedRight R-moduleadcc3443eab9
addedBimodule858eab02f4be
addedModules over commutative rings0074b624791b
addedK-modules are vector spaces6f3803aeb6a4
addedK[x]-modules7816fd9cd228
addedZ-modules are abelian groups7c1136b1a1f1
addedDecimal fractions module3ee319c4461b
addedFree module R^n9dba586a6c37
addedMatrix ring modules44e7e3b54bf3
addedModule of functions M^S7368fa0f1c10
addedModules over smooth functions0e13497a85aa
addedIdeals as modulesfa9304a7f499
addedOpposite ring modules5eae74caa0d5
addedLie algebra modulesff27fe105b3c
addedRestriction of scalars8653a9e43a88
addedSubmodulefde81d726411
addedSubmodule spanned by a set68623e8cf5b0
addedLattice of submodules and modular law6cdc8df92146
addedModule homomorphism03ce90e5c000
addedModule isomorphism10d9edac9e77
addedKernel and image1631748f2e49
addedIsomorphism theorems for modules4b59d2422aa9
addedR-Mod is an abelian category9214f6f7806a
addedFinitely generated modulec8ebb9616d14
addedCyclic modulee466c0d6ef30
addedFree module19ad0a0b630f
addedProjective moduleec25e6608a62
addedInjective module08e9618a4f36
addedFlat module062a66d75f48
addedTorsionless module84a1a7443c0f
addedSimple modulebec5227e64e7
addedSemisimple module8776d47faa67
addedIndecomposable module9846ebb9b3a1
addedFaithful module95e5f0caf14b
addedTorsion-free module3a026d859103
addedNoetherian module5cca8765b96c
addedArtinian module78ab17480246
addedGraded modulef26f5c6de9f2
addedUniform module36a7b7d6d0ee
addedGroup representation as module3d834058a539
addedAction of a ring element9865de85fab2
addedRepresentation of abelian group over a ring6a45f01ecd75
addedFaithful representation19179e5f9a9e
addedModule over a preadditive category3402d6b70e4a
addedSheaf of modulese555ee786aad
addedSemimodule496cf2e12029
addedNear-ring modulea977a70b91a5