Elementary group theory