Вполне характеристическая конгруэнция

- конгруэнция [img: http://localhost:8080/file/010320-18.jpg] алгебраической системы [img: http://localhost:8080/file/010320-19.jpg] [img: http://localhost:8080/file/010320-20.jpg], к-рая выдерживает любой эндоморфизм а этой системы, т. е. из [img: http://localhost:8080/file/010320-21.jpg] следует [img: http://localhost:8080/file/010320-22.jpg] В. х. к. алгебраич. системы Аобразуют по включению полную подрешетку [img: http://localhost:8080/file/010320-23.jpg] решетки [img: http://localhost:8080/file/010320-24.jpg] всех конгруэнции системы А. Если [img: http://localhost:8080/file/010320-25.jpg] - многообразие [img: http://localhost:8080/file/010320-26.jpg] -систем и F - свободная в [img: http://localhost:8080/file/010320-27.jpg] система счетного ранга, то решетка [img: http://localhost:8080/file/010320-28.jpg] В. х. к. системы Fинверсно изоморфна решетке [img: http://localhost:8080/file/010320-29.jpg] всех подмногообразий многообразия [img: http://localhost:8080/file/010320-30.jpg]. Всякая конгруэнция [img: http://localhost:8080/file/010320-31.jpg] [img: http://localhost:8080/file/010320-32.jpg] -алгебры Ас конечным числом порождающих, имеющая конечный индекс в А(т. е. конечное число смежных классов [img: http://localhost:8080/file/010320-33.jpg].), содержит В. х. к. [img: http://localhost:8080/file/010320-34.jpg] алгебры А, также имеющую конечный индекс в А.