|
Об одном соответствии между коммутативными кольцами и йордановыми лупами
В. И. Урсуab a Кишинёвский техн. ун-т Молдовы, Кишинёв, МОЛДАВИЯ
b Ин-т матем. им. С. Стойлова Румынской акад., Букурешти-Секторул-1, РУМЫНИЯ
Аннотация:
Устанавливается взаимно однозначное соответствие (с точностью до изоморфизма) между коммутативными кольцами с единицей и метабелевыми коммутативными лупами, принадлежащими одному конкретному конечно аксиоматизируемому классу. На основе этого соответствие доказывается, что множества тождественно истинных формул и конечно опровержимых формул класса конечных неассоциативных коммутативных луп (и многих других его подклассов) рекурсивно неотделимы. Устанавливается также неразрешимость элементарной теории неассоциативных коммутативных свободных автоморфных луп любого класса нильпотентности.
Ключевые слова:
коммутативное кольцо с единицей, метабелева коммутативная лупа, конечно аксиоматизируемый класс, неразрешимость элементарной теории, рекурсивно неотделимые множества.
Поступило: 23.06.2017 Окончательный вариант: 12.02.2020
Образец цитирования:
В. И. Урсу, “Об одном соответствии между коммутативными кольцами и йордановыми лупами”, Алгебра и логика, 58:6 (2019), 741–768; Algebra and Logic, 58:6 (2020), 494–513
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al927 https://www.mathnet.ru/rus/al/v58/i6/p741
|
Статистика просмотров: |
Страница аннотации: | 209 | PDF полного текста: | 24 | Список литературы: | 32 | Первая страница: | 4 |
|