# Group action

This article is about a basic definition in group theory. The article text may, however, contain advanced material.VIEW: Definitions built on this | Facts about this: (factscloselyrelated to Group action, all facts related to Group action) |Survey articles about this | Survey articles about definitions built on thisVIEW RELATED: Analogues of this | Variations of this | Opposites of this |[SHOW MORE]

*We follow the convention of action on the left. Please refer Convention:Group action on left*

## Contents

## Terminology

The term **group action** or **action of a group** is used for the notion defined here. An alternative term sometimes used is **permutation representation.**

## Definition (left action)

### Definition in terms of action

A **group action on the left** (simply called a group action if the convention is of left actions) of a group on a set is a map such that the following two conditions are satisfied:

- (here, is the identity element of ).

### Definition in terms of homomorphisms

A **group action** on a set or an action of a group on a set is a group homomorphism from the group to the symmetric group on the set.

In symbols, a group action of a group on a set is a homomorphism where denotes the symmetric group on .

### Equivalence of definitions

`Further information: Equivalence of definitions of group action`

### Convenience of notation

For convenience, we omit the symbols or , and write the action of on as , or sometimes just as .

We can then rewrite the first condition as:

This is just like associativity, and hence we can drop the parenthesization, so we often write for either of the above.

## Definition (right action)

### Definition in terms of action

A **group action on the right** (simply called a group action if the convention is of right actions) of a group on a set is a map satisfying the following:

- for all .
- for all .

### Definition in terms of homomorphisms

A **group action** on a set or an action of a group on a set is a group homomorphism from the group to the symmetric group on the set.

In symbols, a group action of a group on a set is a homomorphism where denotes the symmetric group on .

(*Note that this definition remains the same as the previous one, because if the convention is of right actions, the multiplication table of the symmetric group also has the order of composition reversed*).

### Convenience of notation

Group actions on the right are usually denoted either by juxtaposition or by exponentation. The juxtaposition notation writes as . The exponentiation notation writes as . The latter is more common for right actions, as it helps maintain the separation between the set and the group. In terms of this notation, the axioms read:

- .
- .

## Related notions

- Monoid action: This is the corresponding notion of action for a
*group without inverses*

Also refer Category:Group action properties

## Terminology

### Orbit

`Further information: orbit under group action`

Suppose is a group acting on a set . Then, for any point , the orbit of under the action of , denoted , is defined as:

In other words, the orbit of a point is the set of all points that can be *reached* from that point under the action of the group.

Because of the *reversibility* of the action of elements of the group, it turns out that if is in the orbit of , is also in the orbit of . Specifically, if , then . Hence we can talk of the relation of being *in the same orbit*. This relation is reflexive (because of the identity element), symmetric (because of invertibility) and transitive (because of the homomorphism nature of the group action), and hence gives an equivalence relation. The equivalence relation thus partitions into a disjoint union of orbits.

### Transitive group action

`Further information: Transitive group action`

A group action is termed **transitive** if it has exactly one orbit (typically, we exclude the action of groups on the empty set when talking of transitive group actions, though, technically, the action on the empty set is also transitive). In other words, the action of a group on a set is termed transitive if for any , there exists such that .

### Faithful group action

`Further information: Faithful group action`

A group action is termed **faithful** if no non-identity element of the group fixes everything. In other words, the action of a group on a set is termed faithful if for every non-identity element , there exists such that .

### Stabilizer

`Further information: Point-stabilizer`

Given a group acting on a set , the **point-stabilizer** of , also termed the **isotropy group** or **isotropy subgroup** at , denoted , is defined as:

In other words, it is those elements of the group that *fix* .

Some true facts:

- The orbit of can be naturally identified with the coset space of , where is the isotropy subgroup of .
`For full proof, refer: Fundamental theorem of group actions` - If , the isotropy subgroup at and are conjugate by ; in other words:

## Examples

### Symmetric group action

Suppose is a set and . Then, acts on by definition: given and , we define , i.e., the image of under the permutation .

### Left-regular group action

Suppose is a group. Then, acts on *itself* by left multiplication. Here, the action is defined by: