On the congruence subgroup problem
Let be a normal subgroup of a group . The structure of is given when the -conjugacy class sizes of is a set of a special kind. In fact, we give the structure of a normal subgroup under the assumption that the set of -conjugacy class sizes of is , where , and are distinct primes for , .
We prove that the converse of Theorem 9 in "On generalized inverses in C*-algebras" by Harte and Mbekhta (Studia Math. 103 (1992)) is indeed true.