Transitive action
Definition
Let a group act on a nonempty set . The action is transitive when for all there is a with .
Remarks
The action is transitive if and only if it has exactly one orbit. The action of on is transitive. The action of on the left cosets of a subgroup is transitive. Each transitive action of is isomorphic to such an action.
Explanations
L1 human
A transitive action can move any point to any other point. So the set does not split into separate pieces under the action. The rotations of a square act transitively on its four corners.
What this node needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
What this needs
To read this node, read these 6 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Group concept
- Group homomorphism definition
- Symmetric group definition
- Group action definition
- Orbit definition
- Transitive action definition
What depends on this
22 nodes use this node, directly or through other nodes.
- A finite group is nilpotent iff it is the product of its Sylow subgroups 00Y9N80VSS
- Cayley's theorem 0151VYVX27
- Finite p-groups are nilpotent 081WTKYX6C
- Class equation 08BPSC6YTE
- Fixed points of a p-group action 098D2E7DEH
- Second Sylow theorem 09GCQ5STVJ
- Groups of order p squared are abelian 09JZ9P4899
- The number of Sylow subgroups is the index of the normaliser 09ZJ6CAK7S
- Action on left cosets 0AZG100DKH
- Orbit-stabiliser theorem 0E2HSCKZ6C
- Abelian simple groups have prime order 0JJV80RXHD
- Cauchy's theorem 0JM7PA288B
- Action by left multiplication 0K5TWJAGPD
- The number of Sylow subgroups divides the index 0M3PYJ3TSE
- Third Sylow theorem 0Q8DGAZSJ4
- Frattini argument 0QTZDKJEDV
- A nontrivial finite p-group has nontrivial centre 0RZCTT30H5
- Size of an orbit times the size of the stabiliser 0S19CWFZM2
- First Sylow theorem 0V98WY94B8
- Size of a conjugacy class is the index of the centraliser 0VK5V9P8G3
- Groups of order pq 0YBR6QPY4Y
- Burnside's lemma 0Z47M1B2VS
Sources
- Web https://en.wikipedia.org/wiki/Group_action, Transitivity properties
What links here
Used by
- Action on left cosets 0AZG100DKH
- Action by left multiplication 0K5TWJAGPD