Introduction to the theory of groups of finite order