Konstruktion des Tor-Funktors (Methode der projektiven Auflösung) und Eigenschaften