Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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)$. ...