Decompositions of decidable abelian groups

Nikolay Bazhenov, Sergey Goncharov, Alexander Melnikov

Результат исследования: Научные публикации в периодических изданияхстатья

1 Цитирования (Scopus)

Аннотация

We use computability-theoretic tools to measure the complexity of the process of direct decomposing an abelian group based on its symbolic presentation. More specifically, we compare degrees of decidable categoricity of abelian groups with degrees of categoricity of their natural direct summands. As a nontrivial and unexpected application of our methods, we show that every decidable copy of a nondivisible homogeneous completely decomposable group has an algorithm for linear independence.

Язык оригиналаанглийский
Страницы (с-по)49-90
Число страниц42
ЖурналInternational Journal of Algebra and Computation
Том30
Номер выпуска1
DOI
СостояниеОпубликовано - 1 фев 2020

Fingerprint Подробные сведения о темах исследования «Decompositions of decidable abelian groups». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать