All Questions
Tagged with model-theory semigroups-and-monoids
5 questions
7
votes
2
answers
488
views
Is every cancellative semigroup a subdirect product of subdirectly irreducible cancellative semigroups?
By a classical result of Birkhoff (that is, Theorem 2 in [G. Birkhoff, Subdirect unions in universal algebra, Bull. AMS, 1944]) and the trivial fact that the class of semigroups is closed under the ...
1
vote
1
answer
142
views
Congruences that aren't "finite from above," take 2: semigroups
This is a hopefully less trivial version of this question. Briefly, say that a congruence is parafinite if it is the largest congruence contained in some equivalence relation with finitely many ...
7
votes
1
answer
271
views
Algebraic proof that the monoid ring of a torsion-free monoid is reduced
In what follows, I say that a monoid $M$ is torsion-free if the $n$-th power map is injective for all $n \geq 1$. I have a proof of the following result:
Claim: if $M$ is a torsion-free commutative ...
8
votes
2
answers
585
views
Is the equational theory of groups axiomatized by the associative law?
Consider the class of groups in the signature {*}. Is the equational theory of that class axiomatized by the associative law? I asked this on math stack exchange but I didn't receive a satisfactory ...
3
votes
1
answer
122
views
Partition theorems for located words
In this paper Bergelson, Blass, and Hindman prove the following
Theorem 1.2 Let $W(\Sigma; v)$ be colored with finitely may colors and let $\bar s$ be an infinite sequence from $W(\Sigma; v)$. ...