First nontrivial group of homologies of simplicial schemes of unimodular frames over the Dedekind ring

Abstract

We prove a theorem on generation of the first nontrivial group of homologies of a simplicial scheme of unimodular frames over the Dedekind ring by standard cycles.