Coset action (source code)

= Coset action
{wiki}

A group acts on the left cosets of a subgroup by left multiplication; its kernel is the core of that subgroup.