Quaternion algebras over a field $K$ are special noncommutative $K$-algebras of dimension four. We will consider the classical example of the Hamilton quaternions followed by quaternion algebras over arbitrary fields and different characterizations. We will discuss basic properties and, if time permits, explain the notion of automorphic forms on quaternion algebras.