Kazhdan's property (T)

We introduce Kazhdan’s property (T) of groups and explore its main features. After the classical definition and basic examples, we examine its connections to finite generation and presentability. We then outline some proof strategies and finish with several applications, including constructions of expanders and generating random elements from finite groups.