Multilinear equations in free inverse monoids

被引：1

作者：

Deis, Timothy Michael ^{[1
]}

机构：

[1] Univ Wisconsin, Dept Math, Platteville, WI 53818 USA

来源：

SEMIGROUP FORUM | 2006年 / 73卷 / 02期

关键词：

D O I：

10.1007/s00233-006-0625-2

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We prove that finding solutions to the class of single multilinear equations in FIM(A) is decidable; while finding solutions to the class of systems of multilinear equations in FIM(A) is undecidable.

引用

页码：194 / 206

页数：13

共 18 条

[1]

BRITTON JL, 1979, MATH PROC CAMBRIDGE, V86, P385, DOI 10.1017/S0305004100056218

[2]

Clifford A., 1961, MATH SURVEYS, VII

[3]

Clifford A. H., 1961, MATH SURVEYS, V1

[4]

HMELEVSKII JI, 1971, P STEKLOV I MATH, V107, P1

[5]

Howie J., 1976, An introduction to semigroup theory

[6]

Lawson MV, 1998, INVERSE SEMIGROUPS T, DOI DOI 10.1142/3645

[7]

Lyndon R. C., 1977, Combinatorial group theory, V89

[8]

MAKANIN GS, 1983, MATH USSR IZV, V21, P483

[9]

MATIYASE.YV, 1970, DOKL AKAD NAUK SSSR+, V191, P279

[10] A FIELD GUIDE TO EQUATIONAL LOGIC [J].

MCNULTY, GF .

JOURNAL OF SYMBOLIC COMPUTATION, 1992, 14 (04) :371-397

← 1 2 →