jest podgrupą pewnej grupy abelowej to przekształcenie naturalne z iloczynu tensorowego w jest różnowartościowe. Wzięcie iloczynu tensorowego grupy z (lub dowolną inną grupą podzielną) gubi jej część torsyjną. Oznacza to, że jeśli jest grupą torsyjną, to Dla dowolnej grupy abelowej o podgrupie torsyjnej zachodzi
Zobacz też torsja
Przypisy
Kategoria:Teoria grup abelowych Kategoria:Podgrupy