Skip to main content

All Questions

Tagged with
2 votes
0 answers
26 views

Conservative idempotent magma - proof attempt

I need help with checking proof about idempotent and conservative magmas. Let magma be any ordered pair $(M, \odot)$, where $M$ is nonempty set and $\odot$ binary operation on $M$. Now I need to ...
Oliver Bukovianský's user avatar
5 votes
3 answers
753 views

What is difference between idempotent magma and unital magma?

I don't understand well in what way idempotent element is wired to identity element in a magma context. idempotent: $x \cdot x = x$ identity element: $1 \cdot x = x = x \cdot 1$ For example ...
Jack's user avatar
  • 65
1 vote
1 answer
60 views

Idempotent that isn't any of these

Let $A=\left\{x,y,z\right\}$ and $M=\left\{g\mid g:A\rightarrow A\text{ is a function}\right\}$. Is there an element in $M$ that is idempotent but not right absorbing, left absorbing, a right ...
user avatar
1 vote
2 answers
139 views

Is there a standard name for a set equipped only with an idempotent binary operation?

Is there a name for an idempotent magma, or do they not arise often enough to warrant a special name? (By idempotent binary operation, I mean an operation $+$ such that $x + x = x$ for any $x$.)
Roly's user avatar
  • 150
4 votes
0 answers
84 views

Left continuous magmas with no fixed points

Let $X$ be a compact Hausdorff topological space, and $*: X^2\rightarrow X$ an associative map (so that $(X, *)$ is a semigroup) which is left continuous (for all $s\in X$, the map $t\mapsto ts$ is ...
Noah Schweber's user avatar