الجبر, الجبر التبادلي, الرياضيات, النظريات الرياضية, الهندسة الجبريةتسوية كوزول-تايت (Koszul–Tate resolution)