The theory of groups