Definition:Reducible G-Module

In Existence of Bijection between Linear Group Action and Linear Representation, it is shown that linear representations and $G$-modules are bijective.

Definition of Reducible G-Module
Then a $G$-module is reducible the corresponding linear representation is reducible.