An action-core description of is a given action of on a set such that the kernel of the action is precisely .
- 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.