Кнф конъюнкти́вная норма́льная фо́рма

Изоморфизм алгебраических систем 
В математике при изучении алгебраических систем их обычно классифицируют по темам 
и по свойствам. Так получаются классы полугрупп, групп, колец, полей, булевых алгебр и 
т.д. В каждом таком классе алгебраические системы изучаются с точностью до 
изоморфизма 
Определение
Алгебраические системы A, B одной и той же 
сигнатуры 
типа 1
, …, n
k
; m
1
, … ,m
l
> называются изоморфными, 
если существует биективное отображение :A
B, такое, что
 
1. для любой операции 
и любых элементов 
A выполняется 
равенство: 
; 
2. для любого отношения 
и любых элементов 
A: 
При этом само отображение называется изоморфизмом системы A на систему B. 
Пример 7.2.2: Пусть B
1
– булева алгебра всех подмножеств множества M={
a
1
… 
a
n
}, 
B
2
– булева алгебра всех делителей числа 
m
= 
p
1
 p
2
 … p
n
, где 
p
1
 p
2
 … p
n
– различные простые 
числа. 
Определим отображение :B
1
B
2
положив 
и 
. 
Легко видеть, что 
, 
;
, а 
также 
, 
, 
для любых подмножеств A, B множества M. Это и означает, что есть изоморфизм булевой 
алгебры B
1
на булеву алгебру B
2
. 
Замечание 7.2.3
: Легко видеть, что отношение изоморфизма является отношением 
эквивалентности на любом множестве алгебраических систем одной сигнатуры и потому 
все такие системы разбиваются на классы изоморфных систем. Из определения 7.2.1 
видно, что изоморфные алгебраические системы сигнатуры с точки зрения свойств 
операций и отношений отличаются лишь обозначениями элементов. Отождествив в 
системах из определения 7.2.1 элементы 
a
и 
(
a
), мы получим одну и ту же 
алгебраическую систему. Тем самым достигается существенная экономия сил и времени 
при изучении всего многообразия алгебраических систем. 
Замечание
Понятие изоморфизма естественным образом распространяется на 
алгебраические системы различных, но однотипных сигнатур. При этом необходимо 
только предварительно установить между операциями (а также между отношениями) 
систем взаимно однозначное соответствие, сохраняющее арности. Так, если 
операции 
f
i
соответствует операция 
, то условие 1 определения 7.2.1 запишется в виде: 

---

. 
В частности, если 
f
i
– бинарная операция « », а 
f
– бинарная « », то последнее равенство 
будет иметь вид: 
. 
Пример 7.2.5: Рассмотрим алгебры