A well-known theorem in group theory [(8), p. 11, Satz 3] asserts that, when H is a subgroup of finite index in a group G, there exists a system of common representatives of the right cosets and the left cosets of H in G. Various proofs and generalisations, mainly involving combinatorial rather than grouptheoretical ideas, are known, and an excellent account of the subject is to be found in Chapter 5 of Ryser's book (6), where references to the literature are given. The purpose of the present paper is to use group-theoretical ideas to prove theorems of a similar nature. The motivation for this work comes from the theory of Hecke operators, and one of the main objects is to provide a simple proof of a result given by Petersson (4), which is needed in order to prove the normality of these operators.If a set S is partitioned in r ways as a union of disjoint non-void subsets, a subset C of S is called a system of common representatives, or a common transversal, for the r partitions when C contains exactly one element in common with each of the subsets. Usually we shall take r = 2, but we also give some results for r>2 in § 3.We shall find the following notation useful. Let 5 be a set on whose elements a binary operation (denoted by juxtaposition) is defined. Let A and B be subsets of S and put C = {c: c = ab, a e A, b e B). Then we write, as usual, C = AB. If, however, each c e C can be expressed uniquely in the form c = ab, where ae A and beB, we write C = A . B.