Search Results

We say that a group $(A, \cdot)$ is bi-orderable if there exists a total order $\preceq$ on $A$ such that $xz \prec yz$ and $zx \prec zy$ for all $x,y,z \in A$ with $x \prec y$. Let $m,n$ be non-zero …

An abelian cancellative semigroup embeds (via a semigroup monomorphism) into an abelian group. What about an abelian cancellative Hausdorff topological semigroup that does not embed (via a monomorphis …

The title has it all: Q. If a semigroup $S$ embeds into a group, then is $S$ (isomorphic to) a subdirect product of groups? If yes, then $S$ is a subdirect product of subdirectly irreducible groups …

Prompted by the comments to a recent answer by YCor to a related question (here), I'd like to ask the following: Q. Does every cancellative duo semigroup embed into a group? A (multiplicatively writ …

It is known (after an example of A.I. Mal'cev) that there exist cancellative semigroups which do not embed into a group. On the other hand, it is not difficult to see that every linearly orderable sem …

Let $\mathbb A = (A, +_A)$ be a cancellative, but possibly non-commutative, monoid with identity $0$, and fix an element $x \in A$. Does there always exist a cancellative monoid $\mathbb B = (B, +)$ s …

Let $\bf H$ be a set, $f: \mathcal P({\bf H}) \rightharpoonup \bf R$ a partial function, and $\mathcal{D}$ the domain of $f$. Next, denote by $\mathcal M(f)$ the set of all (total) functions $\theta: …

I'm confused by the definition of a "cusp" as found in V.S. Guba, Conditions for the embeddability of semigroups into groups, Math. Notes 56 (1994), Nos. 1-2, 763-769 (link). In the words of Ma …

A linearly ordered (shortly, l.o.) monoid is a triple $\mathbb M = (M, \cdot, \le)$ for which $(M, \cdot)$ is a (multiplicatively written) monoid and $\le$ is a total order on $M$ such that $xy < xz$ …

Let $n$ be a positive integer, $p$ a (positive rational) prime, and $\mathbb K$ an algebraically closed field. If ${\rm char}(\mathbb K) = 0$ then ${\rm GL}_n(\mathbb K)$ is divisible (see here). But …

Let $\mathbb G = (G, +)$ be a group. We say that $\mathbb G$ is strictly totally orderable (others would say bi-orderable) if there exists a total order $\preceq$ on $G$ such that $x+z \prec y + z$ an …

I don't know how interesting my answer can be after a comment by Ben Green, but this would be too long for a comment, and I hope it can be helpful, somehow. Your question is tightly related to the b …

Not really an example (see the edit below), but somehow related to Greg Kuperberg's one: Let $\mathbb A = (A, +, \cdot, \preceq)$ be a strictly totally orderable semiring (*) and for a fixed integer $ …

Let $\mathfrak A_i$ be groups ($i = 1, 2$), written multiplicatively, and $s$ a non-negative integer (here, as usual, I am abusing notation and denoting the operations of $\mathfrak A_1$ and $\mathfra …

Denote by $\mathcal P(S)$ the semigroup obtained by endowing the non-empty subsets of a "ground semigroup" $S$ (written multiplicatively) with the operation of setwise multiplication induced by $S$: $ …