Алгебраическая теория - Algebraic theory

Неофициально в математическая логика, алгебраическая теория тот, который использует аксиомы, полностью сформулированные в терминах уравнений между членами с свободные переменные. Неравенства и количественные показатели специально запрещены. Предложения логика это подмножество логика первого порядка включая только алгебраические предложения.

Это понятие очень близко к понятию алгебраическая структура, что, возможно, может быть просто синонимом.

Сказать, что теория алгебраична, - более сильное условие, чем сказать, что она элементарный.

Неформальная интерпретация

Алгебраическая теория состоит из набора п-арочные функциональные термины с дополнительными правилами (аксиомами).

Например. теория групп - это алгебраическая теория, потому что в ней есть три функциональных термина: бинарная операция а * б, пустая операция 1 (нейтральный элемент) и унарная операция Икс → Икс−1 с правилами ассоциативности, нейтральности и инверсии соответственно.

Это противоположно геометрическая теория который включает частичные функции (или бинарные отношения) или экзистенциальные кванты - см., например, Евклидова геометрия где постулируется существование точек или линий.

Теоретико-модельная интерпретация на основе категорий

Смотрите также: Теория Ловера и Эквациональная логика

Алгебраическая теория Т это категория чьи объекты являются натуральными числами 0, 1, 2, ..., и который для каждого n имеет набор из n морфизмы:

проектя: п → 1, я = 1,..., п

Это позволяет интерпретировать п как декартово произведение из п копии 1.

Пример. Определим алгебраическую теорию Т брать домой (п, м) быть м-наборы многочленов от п свободные переменные Икс1,..., Иксп с целыми коэффициентами и с подстановкой в ​​качестве композиции. В этом случае проектя такой же как Икся. Эта теория Т называется теорией коммутативные кольца.

В алгебраической теории любой морфизм п → м можно описать как м морфизмы сигнатуры п → 1. Эти последние морфизмы называются п-ари операции теории.

Если E - категория с конечными декартовыми произведениями, полная подкатегория Alg (Т, E) категории функторы [Т, E], состоящий из тех функторов, которые сохраняют конечные произведения, называется категория Т-модели или же Т-алгебры.

Отметим, что в случае операции 2 → 1 соответствующая алгебра А определит морфизм

А(2) ≈ А(1)×А(1) → А(1)

Смотрите также

Рекомендации