Stably free module

In mathematics, a stably free module is a module which is close to being free.

Definition

A finitely generated module M over a ring R is stably free if there exist free finitely generated modules F and G over R such that

Properties
  • A projective module is stably free if and only if it possesses a finite free resolution.[1]
  • An infinitely generated module is stably free if and only if it is free.[2]
gollark: Ah.
gollark: &sys exec return 4
gollark: But why *spinlocks*?
gollark: Due to some config stuff, AutoBotRobot can access SPUDNET directly without going through the main osmarks.tk proxying gateway, so it has magic powers.
gollark: AutoBotRobot runs on the same server as SPUDNET, so it *is* able to interact with it, and has a few extra powers.

See also

References
  1. Lang, Serge (1993), Algebra (Third ed.), Reading, Mass.: Addison-Wesley, ISBN 978-0-201-55540-0, Zbl 0848.13001
  2. Lam, T. Y. (1978). Serre's Conjecture. p. 23.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.