Trong toán học, một nhóm Lie, được đặt tên theo nhà toán học người Na Uy Sophus Lie (IPA pronunciation: , đọc như là "Lee"), là một nhóm (group) cũng là một đa tạp khả vi (trơn) (differentiable manifold), với tính chất là phép toán nhóm tương thích với cấu trúc khả vi. Nhóm Lie đại diện cho lý thuyết phát triển nhất của các đối xứng liên tục. Điều này đã làm nhóm Lie trở thành một công cụ gần như cho tất cả các ngành toán học hiện đại, và vật lý lý thuyết hiện đại, đặc biệt là trong lý thuyết hạt cơ bản. Vì nhóm Lie là một đa tạp khả vi, nó có thể được nghiên cứu bằng cách sử dụng giải tích vi phân (differential calculus), điều này không làm được với các nhóm topo tổng quát hơn. Một trong những ý tưởng chính trong lý thuyết về nhóm Lie, đề xuất bởi Sophus Lie, là thay thế cấu trúc toàn cục, "nhóm", bằng một phiên bản mang tính "địa phương" của nó hay còn gọi là phiên bản đã được làm tuyến tính hóa, mà Lie gọi là một "nhóm cực nhỏ". Phiên bản này bây giờ được biết đến như là đại số Lie. Nhóm Lie đã cung cấp một phương tiện tự nhiên để phân tích các đối xứng liên tục của các phương trình vi phân (lý thuyết Picard-Vessiot), trong một cách thức như các nhóm hoán vị (permutation group) được sử dụng trong lý thuyết Galois để phân tích các đối xứng rời rạc của các phương trình đại số. Các nhóm Lie có thể được xem như là họ của các phép đối xứng biến đổi một cách trơn tru. Ví dụ như là các phép quay xung quanh một trục cho trước. Điều cần phải được hiểu là bản chất của các phép biến đổi 'nhỏ' này, ở đây là các phép quay với các góc cực nhỏ, nối kết các phép biến đổi lân cận nhau. Cấu trúc toán học nắm bắt cấu trúc này được gọi là một đại số Lie (màLie gọi là "những nhóm cực nhỏ" ("infinitesimal groups"). Nó có thể được định nghĩa bởi vì các nhóm Lie là các đa tạp (manifold), và các không gian tiếp tuyến (tangent space)tại từng điểm cũng định nghĩa được. Đại số Lie của bất kì một nhóm Lie compact nào (very roughly: one for which the symmetries form a bounded set) cũng có thể được phân tích ra được thành một tổng trực tiếp (direct sum) của một đại số Lie giao hoán và một số nhóm Lie đơn (simple Lie group) khác. Cấu trúc của một đại số Lie abelian là không có gì đáng nói; cái đáng để ý là tổng của các nhóm đơn. Do đó câu hỏi đặt ra là: Các đại số Lie đơn của một nhóm compact là gì? Câu trả lời là hầu hết nó thuộc về 4 gia đình vô hạn, các "đại số Lie cổ điển" A"n", B"n", C"n" và D"n", và chúng có những mô tả khá đơn giản dưới dạng các phép đối xứng trong không gian Euclid. Nhưng cũng có chỉ 5 "đại số Lie ngoại lệ" không rơi vào bất kì các gia đình này. E8 là gia đình lớn nhất trong các gia đình này. Một nhóm Lie thực là một nhóm mà cũng là một đa tạp trơn (smooth manifold) hữu hạn chiều, mà trong đó các phép toán nhân và phép nghịch đảo là các biến đổi trơn. Có một số khái niệm liên quan khá gần với khái niệm này. Một nhóm Lie phức được định nghĩa một cách tương tự sử dụng đa tạp phức hơn là các đa tạp thực (ví dụ: SL2(C)), và tương tự người ta có thể định nghĩa được một nhóm Lie "p"-adic trên các số "p"-adic. Một nhóm Lie vô hạn chiều được định nghĩa với một cách tương tự với việc cho phép đa tạp ẩn bên dưới định nghĩa được phép vô hạn chiều. Các nhóm ma trận hoặc là nhóm đại số nói một cách nôm na là các nhóm của các ma trận, (ví dụ, nhóm trực giao và nhóm symplectic) đưa ra các ví dụ thường gặp nhất của nhóm Lie. Có thể định nghĩa tương tự nhiều nhóm Lie trên các trường hữu hạn, và những nhóm này đưa ra các ví dụ của các nhóm đơn hữu hạn. Người ta có thể thay đổi định nghĩa bằng cách sử dụng các đa tạp tô pô hay đa tạp giải tích (topological or analytic manifolds) thay vì các đa tạp trơn, nhưng hóa ra là các định nghĩa này không đưa ra thêm điều gì mới: Gleason, Montgomery và Zippin chứng minh trong những năm của thập kỉ 1950 rằng nếu formula_3 là một đa tạp topo với các phép toán trên nhóm liên tục, thì tồn tại chính xác một cấu trúc giải tích trên "G" để biến đổi nó thành một nhóm Lie (xem "bài toán thứ năm của Hilbert" và phỏng đoán Hilbert-Smith). Ngôn ngữ của lý thuyết phạm trù cung cấp định nghĩa rõ ràng cho nhóm Lie: nhóm Lie là một đối tượng nhóm trong phạm trù các đa tạp trơn. Đây là tính chất quan trọng, do nó cho phép các nhà toán học tổng quát hóa khái niệm nhóm Lie thành siêu nhóm Lie. Sau đây là một ví dụ của các nhóm Lie và mối quan hệ của chúng đến các ngành khác của toán học và vật lý học. Nhiều ví dụ khác trong bảng các nhóm Lie và danh sách các nhóm Lie đơn và nhóm ma trận. Có những cách để tạo thành một nhóm Lie mới từ các nhóm Lie cho trước: Vài ví dụ các nhóm "không" phải là nhóm Lie: