On the isomorphism problem for commutative semigroups. (English) Zbl 0302.20050
MSC:
20M10 | General structure theory for semigroups |
20M15 | Mappings of semigroups |
15B36 | Matrices of integers |
15A24 | Matrix equations and identities |
20M05 | Free semigroups, generators and relations, word problems |
03D99 | Computability and recursion theory |
20A10 | Metamathematical considerations in group theory |