Trong toán học, cụ thể hơn là trong đại số trừu tượng, các định lý đẳng cấu (hay còn được biết với tên các định lý đẳng cấu của Noether) là các định lý mô tả các mối quan hệ giữa thương, đồng cấu và vật con. Các định lý này có các phiên bản dành cho nhóm, vành, không gian vectơ, môđun, đại số Lie, và nhiều cấu trúc đại số khác. Trong đại số phổ dụng, các định lý đẳng cấu được tổng quát hóa dưới các đại số và các phép tương đẳng. Dưới đây bốn định lý được đánh dấu lần lượt là A, B, C và D. Chúng thường được đánh thứ tự "Định lý đẳng cấu thứ nhất", "Định lý đẳng cấu thứ hai...", v.v; Tuy nhiên, không có thống nhất giữa tên gọi của các định lý đẳng cấu và mỗi tác giả có thể có cách đặt tên khác nhau. Để minh chứng, dưới đây là ví dụ của các tên gọi cho các đẳng cấu nhóm. Để ý rằng các định lý này cũng có phần tương tự khi xét vành và môđun. Thường thì trong sách ít cho thêm định lý D, hay còn được gọi là "định lý dàn", làm một trong các định lý đẳng cấu, nhưng khi cho thêm vào thì nó là cái cuối cùng. Đặt "G" và "H" là nhóm, và đặt "f" : "G" → "H" là đồng cấu nhóm. Khi đó: Đặc biệt là, nếu "f" là toàn ánh thì "H" đẳng cấu với "G" / ker("f"). Đặt formula_1 là nhóm . Gọi formula_2 là nhóm con của formula_1, và formula_4 là nhóm con chuẩn tắc của formula_1. Khi đó các mệnh đề sau được thỏa mãn: Song,thực ra formula_4 không cần thiết phải là nhóm con chuẩn tắc, chỉ cần formula_2 là nhóm con của nhóm chuẩn hóa của formula_4 trong formula_1 là được. Trong trường hợp này, giao formula_8 không phải nhóm con chuẩn tắc của formula_1, nhưng nó vẫn là nhóm con chuẩn tắc của formula_2. Định lý này đôi khi được gọi là "định lý đẳng cấu", "định lý hình thoi" hoặc "định lý hình bình hành". Một ứng dụng của định lý đẳng cấu thứ hai là dùng để xác định các nhóm tuyến tính xạ ảnh, ví dụ nhóm trên đường xạ ảnh phức bắt đầu bằng cách đặt formula_19, nhóm của các ma trận phức khả nghịch kích thước 2 × 2, formula_20, là nhóm con của các ma trận có định thức bằng 1, và formula_4 là nhóm con chuẩn tắc của các ma trận scalar formula_22, ta có formula_23, trong đó formula_24 là ma trận đơn vị, và formula_25. Khi đó, từ định lý đẳng cấu thứ hai ta được: Định lý tương ứng (hay còn được gọi là định lý dàn) đôi khi được gọi là định lý đẳng cấu thứ ba hoặc thứ tư. Bổ đề Zassenhaus (hay còn gọi là bổ đề con bướm) đôi khi được gọi là định lý đẳng cấu thứ tự. Đặt "R" và "S" là vành và "φ" : "R" → "S" là đồng cấu vành. Khi đó: Đặc biệt là, nếu "φ" là toàn ánh thì "S" đẳng cấu với "R" / ker("φ"). Đặt "R" là vành. Gọi "S" là vành con của "R", và gọi "I" là ideal của "R". Khi đó: Gọi formula_24 là ideal của formula_56.Phép tương ứng formula_82 là ánh xạ bảo toàn phép chứa giữa tập các vành con formula_55 chứa formula_24 của formula_56 sang tập các vành con của formula_59. Hơn nữa, formula_55 (vành con chứa formula_24) là ideal của formula_56 khi và chỉ khi formula_58 là ideal của formula_59. Phát biểu của các định lý dành cho các môđun đơn giản hơn vì ta luôn thu được môđun thương từ bất kỳ môđun con. Các định lý đẳng cấu cho không gian vectơ (môđun trên một trường) và nhóm giao hoán (môđun trên formula_92) là các trường hợp đặc biệt. Đối với các không gian vectơ hữu hạn số chiều, tất cả các định lý này đều có thể suy ra được từ định lý về hạng. Dưới đây, từ "môđun" luôn có nghĩa ""R"-môđun" cho một số vành cố định "R". Đặt "M" và "N" là môđun và "φ" : "M" → "N" là đồng cấu môđun. Khi đó: Đặc biệt là, nếu "φ" là toàn ánh thì "N" đẳng cấu với "M" / ker("φ"). Đặt "M" là môđun, và đặt "S" và "T" là môđun con của "M". Khi đó: Đặt formula_94 là môđun, và formula_4 là môđun con của formula_94. Khi đó có song ánh giữa các môđun con của formula_94 có chứa formula_4 và các môđun con của formula_113. Phép tương ứng được cho bởi formula_114 với mọi formula_115. Phép tương ứng này giao hoán với quá trình lấy tổng và phần giao (tức là nó là đồng cấu dàn giữa dàn của các môđun con của formula_113 và dàn của các môđun con formula_94 có chứa formula_4). Để tổng quát hóa sang đại số phổ dụng, các nhóm con chuẩn tắc cần phải được thay bằng các quan hệ tương đẳng. Quan hệ tương đẳng (hay tương đẳng) trên đại số formula_55 là quan hệ tương đương formula_120 tạo đại số con của formula_121, đại số con này được coi là đại số đi cùng phép toán từng phần. Ta có thể biến tập của các lớp tương đương formula_122 thành một đại số có cùng kiểu qua các phép toán qua phần tử đại diện. Các phép toán này sẽ được định nghĩa tốt bởi bởi formula_123 là đại số con của formula_121. Cấu trúc thu về được được gọi là đại số thương. Gọi formula_125 là đồng cấu đại số. Khi đó ảnh của formula_126 là đại số con của formula_127, quan hệ cho bởi formula_128 (tức hạt nhân của formula_126) tương đẳng trên formula_55, và hai đại số formula_122 và formula_132 đẳng cấu với nhau (Lưu ý rằng trong trường hợp nhóm, formula_133 formula_134 formula_135, nên ta có thể tìm ra khái niệm của hạt nhân trong lý thuyết nhóm trong trường hợp này.)