An associative Ring, also called a Hecke Ring, which has a technical definition in terms of commensurable Subgroups.