Abstract: Найдено простое описание конечно порождённых структур, обладающих изоморфным представлением, вычислимым за полиномиальное время (p-вычислимых). Описание близко к формулировке теоремы Дж. Реммела и Х. Фридмана. Доказано, что любая конечно порождённая подструктура p-вычислимой структуры также обладает p-вычислимым представлением. Полученное описание применяется к классам конечно порождённых полугрупп, групп, коммутативных колец и полей, а также упорядоченных коммутативных колец и полей. В частности, доказано, что любое конечно порождённое коммутативное кольцо и поле обладают p-вычислимым представлением.

Cite: Алаев П.Е.
Полиномиально вычислимые структуры с конечным числом порождающих
Алгебра и логика. 2020. Т.59. №3. С.385-394. DOI: 10.33048/alglog.2020.59.307 OpenAlex

Translated: Alaev P.E.
Polynomially Computable Structures with Finitely Many Generators
Algebra and Logic. 2020. V.59. N3. P.266-272. DOI: 10.1007/s10469-020-09598-5 WOS Scopus OpenAlex

Identifiers:

OpenAlex:

W4241698978

Citing:

DB	Citing
OpenAlex	1

Altmetrics: