대수적으로 닫힌 체 위에서 대합 연산을 갖는 단순 대수 A가 다른 단순 대수 B의 다항식 항등식을 만족할 때, A를 B에 대합 연산을 보존하며 매립할 수 있는지에 대한 연구를 다룹니다.