Positive theories of free monoids
type: Item
instance of: scholarly article
title: Positive theories of free monoids
zbMATH Open document ID: 0829.20082
DOI: 10.1007/BF02260878
published in: Algebra and Logic
publication date: 1994-05-18T00:00:00Z
review text: We denote by \({\mathfrak M}_n\) the free monoid of rank \(n\), and \(a_i\) \((1 \leq i \leq n)\) are its free generators as well as the signature symbols interpreted by these generators. Theorem. Free monoids \({\mathfrak M}_n\) and \({\mathfrak M}_m\) \((2 \leq n < m \leq \omega)\) in the signature \(\langle \cdot, ^{-1}, 1, a_1, \dots, a_k\rangle\) are positively equivalent if \(k \leq n - 2\), and they are not if \(k > n - 2\).
Mathematics Subject Classification ID: 20M05
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 561011
zbMATH Keywords: positively equivalent monoids
zbMATH Keywords: free monoids
zbMATH Keywords: free generators
author: Nikolay A. Peryazev
MaRDI profile type: Publication
cites work: Q5619830
cites work: Elementary Properties of Free Groups
cites work: Q3926793
cites work: Q4146913
cites work: Concatenation as a basis for arithmetic
cites work: Q3699681
Recommended article: Q3317089
Recommended article: Free monoids
Recommended article: FREE MONOID THEORY: MAXIMALITY AND COMPLETENESS IN ARBITRARY SUBMONOIDS
Recommended article: Topologies for the free monoid
Recommended article: On the algebra of a free monoid
Recommended article: Positive Sugihara monoids
Recommended article: The poset of retracts of a free monoid
Recommended article: On free partially commutative monoids
Recommended article: Free monadic Tarski algebras
description: scientific article; zbMATH DE number 561011