# Definition:Irreducible (Representation Theory)/G-Module

## Definition

A $G$-module is **irreducible** if and only if the corresponding linear representation is irreducible.

That is, any proper $G$-submodule is trivial.

## Also see

In Correspondence between Linear Group Actions and Linear Representations, it is shown that linear representations and $G$-modules are bijective.