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

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

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

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

====Терми та формули====

====Діаграми====

====Класифікація алгебричних систем====

===Універсальна алгебрична геометрія===

====Нетерові алгебричні системи====

====Теоретико-категорне формулювання====

=====Гомотопічні типи Мореля-Воєводського=====


[[Категорія:Вступ до алгебричної геометрії]]