Inflation of a group representation

ID: inflation-of-a-group-representation

Given a quotient group map and a representation of , its inflation to is the representation . Conversely, a representation of factors through exactly when its kernel contains .

New to topics? Read the docs here!