Zainalov, B. R. First Nontrivial Group of Homologies of Simplicial Schemes of Unimodular Frames over the Dedekind Ring. Ukr. Mat. Zhurn. 2018, 70 (9), 1231-1248.