A group representation is irreducible if it has no nontrivial sub-representations.
Wikidata ID: Q13690522