# Action-core description

From Groupprops

Template:Normal subgroup description rule

## Definition

### Setup

A group equipped with an encoding . An abstract normal subgroup of .

### Definition part

An **action-core description** of is a given action of on a set such that the kernel of the action is precisely .

More explicitly:

- We are given a set whose elements are words in some language (over some fixed alphabet) with a membership test for
- We are given an algorithm that. given any in and any , takes in the encodings of and and outputs the encoding of

## Relation with other descriptions

In the general case, the action-core description describes that normal subgroup which is the intersection of all the isotropy subgroups (by this is meant the isotropy subgroups at all points).

In the particular case when we consider the action on the coset space, this is equivalent to a coset enumeration.