Реплика

а л г е б р а и ч е с к о й с и с т е м ы Ав заданном классе [img: http://localhost:8080/file/041877-73.jpg] алгебраических систем той же сигнатуры - алгебраическая система K0. из [img: http://localhost:8080/file/041877-74.jpg], обладающая следующими свойствами: 1) существует сюръективный гомоморфизм j0 системы Ана K0;2) если [img: http://localhost:8080/file/041877-75.jpg] и j - гомоморфизм системы Ав K, то [img: http://localhost:8080/file/041877-76.jpg] для нек-рого сюръективного гомоморфизма y системы K0 на К. Р. системы A в классе [img: http://localhost:8080/file/041877-77.jpg] (если она существует) определяется однозначно с точностью до изоморфизма. Класс [img: http://localhost:8080/file/041877-78.jpg] наз. р е п л и ч н о п о л н ы м, если он содержит Р. любой алгебраич. системы той же сигнатуры. Класс алгебраич. систем фиксированной сигнатуры реплично полон тогда и только тогда, когда он содержит одноэлементную систему и замкнут относительно подсистем и прямых произведений. Аксиоматизируемыми реплично полными классами являются квазимногообразия и только они.