Trong đại số tuyến tính, hai ma trận vuông A và B cùng cỡ n × n được gọi là đồng dạng nếu tồn tại một ma trận khả nghịch P cỡ n × n sao choCác ma trận đồng dạng biểu diễn cùng một ánh xạ tuyến tính dưới hai cơ sở (có thể) khác nhau, với P là ma trận chuyển cơ sở.[1][2]Một phép biến đổi A ↦ P−1AP trên các ma trận được gọi là một biến đổi đồng dạng hay biến đổi liên hợp của ma trận A. Vì thế trong nhóm tuyến tính tổng quát, sự đồng dạng là tương tự với sự liên hợp, và hai ma trận đồng dạng còn có thể gọi là liên hợp; tuy nhiên trong một nhóm con H cho trước của nhóm tuyến tính tổng quát, khái niệm liên hợp có thể hạn chế hơn khái niệm đồng dạng vì nó yêu cầu rằng P được chọn phải nằm trong H.