Computing S-unit groups of orders

Abstract

Based on the general strategy described by Borel and Serre and the Voronoi algorithm for computing unit groups of orders we present an algorithm for finding presentations of [Formula: see text]-unit groups of orders. The algorithm is then used for some investigations concerning the congruence subgroup property.