# Automorphism groups in general

A model $M$ is rigid if ${\rm Aut}(M)$ is trivial -- that is, its only automorphism is the identity function. Every model of PA has a rigid elementary end extension. (See [1] for a proof of this and much more.)