Функтор Tor

• Tor — это гомология, связанная с коммутативными кольцами и модулями. 
• Tor вычисляется с использованием точной последовательности и симметрии для коммутативных колец. 
• Tor сохраняет прямые суммы и отфильтрованные ограничения в каждой переменной. 
• Tor коммутирует с локализацией и имеет структуру градуированно-коммутативной алгебры. 
• Важные особые случаи включают групповую гомологию, гомологию Хохшильда и гомологию алгебры Ли. 
• Tor является градуированно-коммутативной алгеброй Хопфа для коммутативных колец с гомоморфизмом на поле k. 
• Tor является свободной градуированно-коммутативной степенной алгеброй с разделенными степенями в градуированном векторном пространстве π * (R).