Character module
In mathematics, especially in the area of abstract algebra, every module has an associated character module. Using the associated character module it is possible to investigate the properties of the original module. One of the main results discovered by Joachim Lambek shows that a module is flat if and only if the associated character module is injective. [1]
Definition
The group , the group of rational numbers modulo , can be considered as a -module in the natural way. Let be an additive group which is also considered as a -module. Then the group of -homomorphisms from to is called the character group associated to . The elements in this group are called characters. If is a left -module over a ring , then the character group is a right -module and called the character module associated to . The module action in the character module for and is defined by for all . [2] The character module can also be defined in the same way for right -modules. In the literature also the notations and are used for character modules. [3][4]
Let be left -modules and an -homomorphismus. Then the mapping defined by for all is a right -homomorphism. Character module formation is a contravariant functor from the category of left -modules to the category of right -modules. [3]
Motivation
The abelian group is divisible and therefore an injective -module. Furthermore it has the following important property: Let be an abelian group and nonzero. Then there exists a group homomorphism with . This says that is a cogenerator. With these properties one can show the main theorem of the theory of character modules: [3]
Theorem (Lambek) [1]: A left module over a ring is flat if and only if the character module is an injective right -module.
Properties
Let be a left module over a ring and the associated character module.
- The module is flat if and only if is injective (Lambek's Theorem [4]). [1]
- If is free, then is an injective right -module and is a direct product of copies of the right -modules . [2]
- For every right -module there is a free module such that is isomorphic to a submodule of . With the previous property this module is injective, hence every right -module is isomorphic to a submodule of an injective module. (Baer's Theorem) [5]
- A left -module is injective if and only if there exists a free such that is isomorphic to a direct summand of . [5]
- The module is injective if and only if it is a direct summand of a character module of a free module. [2]
- If is a submodule of , then is isomorphic to the submodule of which consists of all elements which annihilate . [2]
- Character module formation is a contravariant exact functor, i.e. it preserves exact sequences. [3]
- Let be a right -module. Then the modules and are isomorphic as -modules. [4]
References
- ^ a b c Lambek, Joachim (1964). "A Module is Flat if and Only if its Character Module is Injective". Canadian Mathematical Bulletin. 7 (2): 237–243. doi:10.4153/CMB-1964-021-9. ISSN 0008-4395.
- ^ a b c d Lambek, Joachim. (2009). Lectures on rings and modules. American Mathematical Society. Providence, RI: AMS Chelsea Pub. ISBN 9780821849002. OCLC 838801039.
- ^ a b c d Lam, Tsit-Yuen (1999). Lectures on Modules and Rings. Graduate Texts in Mathematics. Vol. 189. New York, NY: Springer New York.
- ^ a b c Tercan, Adnan; Yücel, Canan C. (2016). Module theory, extending modules and generalizations. Frontiers in Mathematics. Switzerland: Birkhäuser. ISBN 9783034809528.
- ^ a b Behrens, Ernst-August. (1972). Ring theory. New York: Academic Press. ISBN 9780080873572. OCLC 316568566.