Trong toán học, trong lĩnh vực đại số trừu tượng, định lý cấu trúc cho các mô đun hữu hạn sinh trên một vành chính là một tổng quát hóa của định lý cơ bản của các nhóm abel hữu hạn sinh. Đại khái là các mô đun hữu hạn sinh trên một vành chính có thể được phân tách duy nhất theo cách tương tự như sự phân tách các số nguyên thành các thừa số nguyên tố. Kết quả cung cấp một khuôn khổ đơn giản để hiểu rõ hơn sự tồn tại của các dạng chính tắc khác nhau của các ma trận vuông.