Obviously the automorphism groups of finite dimensional vector spaces are studied in great detail. By changing presentations of the vector space (by which I mean isomorphisms to some $K^{\oplus n}$) we can characterize automorphisms as matrices in $GL(n,K)$ and bring them in suitable shapes (thinking of Smith normal form, Jordan normal form etc).
Categorically this might be due to the very special fact that every vector space is free (in particular there are no relations between generators) and that finite products and finite coproducts coincide, making computing automorphisms rather easy.
But other than linear algebra I could not find other fields in mathematics, where automorphism groups are studied in that detail, which might be due to the presence of said relations. In fact it is common to reduce the study of some structure to linear algebra (e.g. via representation theory) to exploit matrices.
So I was wondering, whether there are other categories, in which automorphism groups are of similar use, while being somewhat accessible/computable. Let me give some examples, to clarify what I mean.
- In Galois theory automorphisms of a field extension $L\mid K$ play a central role. I don’t know how easily they can be computed in specific instances though...
- Do the classification results of linear algebra carry over to automorphisms of finitely generated abelian groups? It seems like there we can exploit the structure theorem to get at least a block diagonal matrix form. I was unable to find references...
- Automorphism groups of simple graphs seem to be rather difficult to compute, so it doesn’t seem like there is a general theory of automorphism groups of simple graphs. I would guess there are certain subcategories of good graphs, where automorphisms are better behaved though...
Let's say we are talking about groups; though rings and fields, among others, are also interesting.
Due to Cayley's theorem, every group can be embedded in a symmetric group.
For $\mathfrak S_n$ (finite symmetric groups), other than $n=6$, all the automorphisms are inner.
If $n\ne2,6$, then $\rm{Aut}\mathfrak S_n\cong\mathfrak S_n$.
Also, due to the fact that there is only one way to extend an automorphism from $\mathfrak A_n$, the $n$-th alternating group, to $\mathfrak S_n$, we get that $\rm{Aut}\mathfrak S_n\cong\rm{Aut}\mathfrak A_n$.
Next, I would like to mention the automorphisms of finite cyclic groups, $\Bbb Z_n$. They are fairly easy to understand, since an automorphism has to take a generator to a generator. We easily get that $\rm{Aut}\Bbb Z_n\cong\Bbb Z_n^\times$.
The infinite cyclic group, $\Bbb Z$, on the other hand, has just two automorphisms, one the trivial one and one sending $1$ to $-1$.