см. 511.2 Алгебраическая теория чисел
см. 512.73 Когомологическая теория алгебраических многообразий и схем