Про категорію зображень комутативної нециклічної напівгрупи третього порядку без одиничного і нульового елементів

Abstract

Класифiкацiю напiвгрупи третього порядку (в термiнах таблиць Келi, з точнiстю до iзоморфiзму та антиiзоморфiзму) вперше отримав Т. Тамура в 1953 р., а згодом, але вже за допомогою комп’ютерної програми, Г. Е. Форсайт (1955 р.). Мiнiмальнi системи твiрних та вiдповiднi визначальнi спiввiдношення для всiх таких напiвгруп побудованi в працях В. М. Бондаренка i Я. В. Зацiхи. Вони також описали зображувальний тип напiвгруп третього порядку над довiльним полем i у вмпадку напiвгруп скiнченного зображувального типу вказали канонiчнi форми матричних зображень. У низцi попереднiх праць автори вивчали категорнi властивостi напiвгруп малого порядку i, зокрема, дослiджували матричнi алгебри Ауслендера для напiвгруп тре-тього порядку. У цiй статтi продовжуються такi дослiдження.