Specker, Ernst (1950), "Additive Gruppen von Folgen ganzer Zahlen", Portugaliae Math., 9: 131–140, MR0039719.
Corner, A. L. S. (2008), "Groups of units of orders in Q-algebras", Models, modules and abelian groups, Walter de Gruyter, Berlin, hlm. 9–61, doi:10.1515/9783110203035.9, MR2513226. Lihat secara khusus bukti Lemma H.4, p. 36, which uses this fact.
(Blass 1979), Contoh 7.1, memberikan model teori himpunan, dan grup abelian proyektif non-bebas dalam model ini yang merupakan subgrup dari grup abelian bebas , di mana adalah sekumpulan atom dan adalah bilangan bulat terbatas. Dia menulis bahwa model ini menjadikan penggunaan pilihan penting dalam membuktikan bahwa setiap grup proyektif adalah bebas; dengan alasan yang sama, hal ini juga menunjukkan bahwa pilihan adalah penting untuk membuktikan bahwa subgrup dari kelompok bebas itu bebas. Blass, Andreas (1979), "Injectivity, projectivity, and the axiom of choice", Transactions of the American Mathematical Society, 255: 31–59, doi:10.1090/S0002-9947-1979-0542870-6, JSTOR1998165, MR0542870.
Corner, A. L. S. (2008), "Groups of units of orders in Q-algebras", Models, modules and abelian groups, Walter de Gruyter, Berlin, hlm. 9–61, doi:10.1515/9783110203035.9, MR2513226. Lihat secara khusus bukti Lemma H.4, p. 36, which uses this fact.
Hungerford, Thomas W. (1974), "II.1 Free abelian groups", Algebra, Graduate Texts in Mathematics, 73, Springer, hlm. 70–75, ISBN9780387905181. Lihat khususnya Teorema 1.1, hlm. 72–73, dan keterangan yang mengikutinya.
Misalnya, submodul modul gratis di atas domain ideal utama adalah gratis, faktanya (Hatcher 2002) menulis memungkinkan untuk "generalisasi otomatis" mesin homologi untuk modul ini. Selain itu, teorema bahwa setiap proyektif modul adalah generalisasi bebas dengan cara yang sama (Vermani 2004). Hatcher, Allen (2002), Algebraic Topology, Cambridge University Press, hlm. 196, ISBN9780521795401. Vermani, L. R. (2004), An Elementary Approach to Homological Algebra, Monographs and Surveys in Pure and Applied Mathematics, CRC Press, hlm. 80, ISBN9780203484081.
Corner, A. L. S. (2008), "Groups of units of orders in Q-algebras", Models, modules and abelian groups, Walter de Gruyter, Berlin, hlm. 9–61, doi:10.1515/9783110203035.9, MR2513226. Lihat secara khusus bukti Lemma H.4, p. 36, which uses this fact.
(Blass 1979), Contoh 7.1, memberikan model teori himpunan, dan grup abelian proyektif non-bebas dalam model ini yang merupakan subgrup dari grup abelian bebas , di mana adalah sekumpulan atom dan adalah bilangan bulat terbatas. Dia menulis bahwa model ini menjadikan penggunaan pilihan penting dalam membuktikan bahwa setiap grup proyektif adalah bebas; dengan alasan yang sama, hal ini juga menunjukkan bahwa pilihan adalah penting untuk membuktikan bahwa subgrup dari kelompok bebas itu bebas. Blass, Andreas (1979), "Injectivity, projectivity, and the axiom of choice", Transactions of the American Mathematical Society, 255: 31–59, doi:10.1090/S0002-9947-1979-0542870-6, JSTOR1998165, MR0542870.
(Blass 1979), Contoh 7.1, memberikan model teori himpunan, dan grup abelian proyektif non-bebas dalam model ini yang merupakan subgrup dari grup abelian bebas , di mana adalah sekumpulan atom dan adalah bilangan bulat terbatas. Dia menulis bahwa model ini menjadikan penggunaan pilihan penting dalam membuktikan bahwa setiap grup proyektif adalah bebas; dengan alasan yang sama, hal ini juga menunjukkan bahwa pilihan adalah penting untuk membuktikan bahwa subgrup dari kelompok bebas itu bebas. Blass, Andreas (1979), "Injectivity, projectivity, and the axiom of choice", Transactions of the American Mathematical Society, 255: 31–59, doi:10.1090/S0002-9947-1979-0542870-6, JSTOR1998165, MR0542870.