ZainalovB. R. First Nontrivial Group of Homologies of Simplicial Schemes of Unimodular frames over the Dedekind Ring. Ukr. Mat. Zhurn. 2018, 70, 1231-1248.