The purpose of this article is
to present necessary and sufficient conditions of an algebraic character for
the existence of a countably additive measure defined on a σ-field of sets
vanishing exactly on a given subset of the field, and invariant under a group of
transformations.