Mathematics in Russian
 
[Most Recent Entries] [Calendar View] [Friends View]

Tuesday, April 20th, 2021

    Time Event
    3:29p
    Единственность единицы в позитивной форме
    Формула называется позитивной, если она содержит в качестве логических связок только символы конъюнкции, дизъюнкции и квантификации (но не символ отрицания). Согласно Lyndon's positivity theorem утверждение первого порядка сохраняется при любом гомоморфизме между любыми двумя моделями тогда, когда оно равносильно какому-либо позитивному утверждению. Например коммутативный закон это позитивное утверждение, как следствие всякий гомоморфный образ коммутативной алгебраической системы коммутативен. Несложно придумать пример, когда свойство левой сократимости не выполняется в гомоморфном образе, но выполняется в исходной системе; из этого следует, что данное свойство равносильными преобразованиями невозможно привести к позитивной форме.

    Если в произвольной магме существует единица, то выполняется свойство единственности единицы. Доказательство от противного: предположим, что существуют две единицы и , тогда . Следовательно всякий гомоморфизм сохраняет свойство , и, следовательно, эту формулу какими-то хитровыебанными равносильными преобразованиями можно привести к позитивной форме. Как это сделать? Я пытался. У меня ничего не получается. Помогите.

    Current Mood: tired
    Current Music: Divinyls - I Touch Myself

    << Previous Day 2021/04/20
    [Calendar]
    Next Day >>

About LJ.Rossia.org