Potential divisibility in finite semigroups is undecidable

被引：3

作者：

Kublanovsky, S

Sapir, M

机构：

[1] TPO Severnyj Ochag, St Petersburg 197342, Russia

[2] Univ Nebraska, Dept Math & Stat, Ctr Commun & Informat Sci, Lincoln, NE 68588 USA

来源：

INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION | 1998年 / 8卷 / 06期

关键词：

D O I：

10.1142/S0218196798000326

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We prove that there is no algorithm to decide, given a, finite semigroup S and two elements a, b is an element of S, whether there exists a bigger finite semigroup T > S where a divides b and b divides a. This solves a thirty years old problem by John Rhodes.

引用

页码：671 / 679

页数：9

共 50 条

[1] Some undecidable embedding problems for finite semigroups
Jackson, M
[J]. PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, 1999, 42 : 113 - 125
[2] HYPERARCHIMEDIC DIVISIBILITY SEMIGROUPS
BOSBACH, B
[J]. CZECHOSLOVAK MATHEMATICAL JOURNAL, 1989, 39 (03) : 528 - 543
[3] REPRESENTABLE DIVISIBILITY SEMIGROUPS
BOSBACH, B
[J]. PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, 1991, 34 : 45 - 64
[4] THE FINITENESS PROBLEM FOR AUTOMATON SEMIGROUPS IS UNDECIDABLE
Gillibert, Pierre
[J]. INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2014, 24 (01) : 1 - 9
[5] On "simple" undecidable fragments of positive and elementary theories of free semigroups of finite or countable rank
Durnev, V. G.
Zetkina, O., V
Zetkina, A., I
[J]. APPLIED MATHEMATICS, COMPUTATIONAL SCIENCE AND MECHANICS: CURRENT PROBLEMS, 2020, 1479
[6] THEORY OF CONTINUOUS DIVISIBILITY SEMIGROUPS
BOSBACH, B
[J]. SEMIGROUP FORUM, 1980, 20 (04) : 299 - 317
[7] DIVISIBILITY OF SEMIGROUPS WITH COMPLETE EXTENSION
BOSBACH, B
[J]. JOURNAL OF ALGEBRA, 1983, 83 (01) : 237 - 255
[8] UNDECIDABLE EXISTENTIAL PROBLEMS FOR ADDITION AND DIVISIBILITY IN ALGEBRAIC NUMBER RINGS
LIPSHITZ, L
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1978, 241 (JUL) : 121 - 128
[9] Elliptic divisibility sequences and undecidable problems about rational points
Cornelissen, Gunther
Zahidi, Karim
[J]. JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 2007, 613 : 1 - 33
[10] THE THEORY OF POSITIVE INTEGERS STRUCTURED BY A LIST OF PRIMES AND DIVISIBILITY IS UNDECIDABLE
CEGIELSKI, P
RICHARD, D
[J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1992, 315 (13): : 1431 - 1434

← 1 2 3 4 5 →