Мінімальні системи твірних у групах p-автоматів

Ключові слова:
скінченний автомат, p-автомат, мінімальна система твірнихАнотація
Для довільного непарного простого числа p розглядаються групи всіх p-автоматів та всіх скінченних p-автоматів. Будуються мінімальні системи твірних як у групі всіх p-автоматів, так і в її підгрупі скінченних p-автоматів. Ключовим елементом доведення є техніка підняття, яка дозволяє конструювати мінімальну систему твірних у групі за умови, що мінімальну систему твірних задано у її абелевій факторгрупі. Для знаходження відповідної факторгрупи елементи груп p-автоматів та скінченних p-автоматів подаються у термінах таблиць, введених Л. Калужніним. З використанням цього подання визначається та досліджується природний гомоморфізм на адитивну групу всіх нескінченних послідовностей над полем Zp.