Theorems · Definition · group theory

MulAction.stabilizer

(G : Type u_1) → {α : Type u_2} → [inst : Group G] → [MulAction G α] → α → Subgroup G

The stabilizer of an element under an action, i.e. what sends the element to itself. A subgroup.

Defined in

Mathlib.GroupTheory.GroupAction.Defs

Cited by

254 results in Mathlib

Foundations

Depth 13 from the axioms, rests on 77 definitions · uses propext

Assumes

GroupMulAction