13. Конгруэнции, фактор-алгебры, теорема о гомоморфизме.

Конгруэнцией на алгебре α=<A,∑> называется такое отношение эквивалентности , при котором для любого , любого n-местного символа , произвольных наборов , если a₁θb₁,…, a_nθb_n, то f(a₁,…, a_n)θf(b₁,…,b_n). Т.е. все операции согласованы с отношением эквивалентности.

Рассмотрим фактор-множество множества А по конгруэнции θ: . Определим на этом множестве алгебру сигнатуры ∑. Константе с алгебры А поставим в соответствие элемент θ(с), который в А/θ будет интерпретировать константный символ с. Если f – n-местный символ из ∑, то зададим на множестве А/θ действие функции f по правилу:

f(θ(x₁),…, θ(x_n))=θ(f(x₁,…, x_n)).

Убедимся, что для любых это определение корректно, т.е. не зависит от выбора представителей классов эквивалентности. Действительно, если θ(x_i)=θ(y_i), i=1,2,…,n, то x_iθy_i, откуда в силу свойства конгруэнции имеем f(x₁,…, x_n)θf(y₁,…, y_n), т.е. θ(f(x₁,…, x_n))=θ(f(y₁,…, y_n)).

Получившаяся алгебра α/θ=<A/θ,∑> называется фактор-алгеброй алгебры α по конгруэнции θ.

Очевидно, что отображение А→А/θ, при котором элементу ставится в соответствие класс θ(х), является эпиморфизмом алгебры α на фактор-алгебру α/θ. Этот эпиморфизм называется естественным гомоморфизмом.

Если φ: α→β – гомоморфизм алгебр, то множество оказывается конгруэнцией на алгебре α и называется ядром гомоморфизма φ.

Теорема о гомоморфизме: Если φ: α→β – эпиморфизм, ψ: α→α/Kerφ – естественный гомоморфизм, то существует изоморфизм χ: β→α/Kerφ такой, что φ•χ=ψ.

Доказательство: Положим χ(b)=ψ(a), где выбрано так, что b=φ(a)/ Если b=φ(a’), то , откуда ψ(a)=ψ(a’). Следовательно, отображение χ определяется корректно. Равенство φ•χ=ψ очевидно. Из него вытекает, что χ – сюръекция. Непосредственно проверяется, что χ – гомоморфизм. Если χ(b)=χ(b’), то ψ(a)=ψ(a’), где b=φ(a), b’=φ(a’). Отсюда , следовательно b=b’, что доказывает возможную однозначность отображения χ. Т.к. сигнатура функциональна, из существования функции χ^-1 и того, что χ – гомоморфизм, следует, что χ является изоморфизмом.

Отображения φ, ψ и χ можно представить диаграммой:

17.Многообразия. Теорема Биркгофа.

Пусть A_i, - семейство множеств. Декартовым произведением множеств A_i, называется множество

Отметим, что если I={1,2,…,n} – конечное множество индексов, то декартово произведение можно взаимно однозначно рассматривать как множество . Таким образом данное определение согласуется с введенным ранее определением декартова произведения конечного числа множеств.

Пусть - некоторые алгебры сигнатуры ∑. Декартовым произведением алгебр называется алгебра , в которой функциональные символы интерпретируются по следующему правилу: для любых функций полагаем F(f₁,…, f_n)=f, где f(i)=F_αi(f₁(i),…,f_n(i)) для любого .

Пусть t₁, t₂ - термы сигнатуры ∑. Запись t₁≈t₂ называется тождеством сигнатуры ∑. Она означает, что любые значения, вычисленные по терму t₁, совпадают с соответствующими значениями, вычисленными по терму t₂.

Класс К алгебр сигнатуры ∑ называется многообразием, если существует множество тождеств сигнатуры ∑ такое, что алгебра сигнатуры ∑ принадлежит классу К тогда и только тогда, когда в ней выполняются все тождества из множества Т.

Теорема Биркгофа: Непустой класс алгебр К сигнатуры ∑ тогда и только тогда является многообразием, когда К замкнут относительно подалгебр, фактор-алгебр и декартовых произведений, т.е. класс К вместе с каждой алгеброй содержит любую ее подалгебру, фактор-алгебру, а также вместе с любым семейством алгебр содержит их декартово произведение.