I have often found it useful to sit and contemplate what kinds of elements, subsets, or structures do the automorphisms of an object fix or permute. Sometimes the observations do not have immediate application, but they have often come back to help me later on. To help my future self, I'm asking about groups in particular.
What kind of elements, subsets, or structures do automorphisms of a group fix, permute, or preserve?
The examples I've compiled and some of their uses are listed below:
- Subgroups (and subgroups of a fixed cardinality)
- Normal subgroups
- Maximal subgroups (implies that the intersection of all maximal subgroups is characteristic)
- Minimal subgroups (implies that the subgroup they generate is a characteristic subgroup)
- Sylow $p$-subgroups for any prime $p$
- Subgroups of index $n$ for any $n\in\Bbb N$
- Elements of order $n$ for any $n\in\Bbb N$
- Elements in the center (implies the center is characteristic)
- Commutators (implies the derived subgroup is characteristic)
- Generating sets (this helps classify the automorphisms of a cyclic group)
- Minimal generating sets
- Conjugacy classes (and conjugacy classes of a fixed cardinality) beautiful application
This is a fairly big list but is certainly far from exhaustive. And I feel like if I was exposed to new examples, I would see new connections that I haven't before.
Any addition to the list is much appreciated. Bonus points for an application of why the observation is useful (if I could give bonus points) .