Вступ до алгебричної геометрії/Елементи алгебричної геометрії

Елементи алгебричної геометрії

Алгебричні системи

Мови та гомоморфізми

Мова (сигнатура) $L=P\cup F\cup C$ - це сукупність, яка складається з множин $P,F$ та $C,$ де $P$ - множина предикатних символів, $F$ - множина функціональних символів, а $C$ - множина константних символів. Із кожним предикатним $P\in \mathbb {R}$ та функціональним $F\in \mathbb {F}$ символами однозначно пов'язане натуральне число $n_{\mathbb {R} }$ чи $n_{\mathbb {F} }$ (арність). Арність функціонального чи предикатного символа позначається $\mathbb {F} ^{(n)}$ чи $\mathbb {R} ^{(n)}$ відповідно. Функціональні символи називаються основними операціями мови $L.$