Lie methods in group theory