In mathematics, Ribet's lemma gives conditions for a subgroup of a product of groups to be the whole product group. It was introduced by Ribet (1976, lemma 5.2.2).