All Questions
Tagged with magma examples-counterexamples
8
questions
2
votes
2
answers
216
views
Groupoid with division
I'm searching an example of a grupoid with division which is not a quasigroup. A grupoid $(G, \cdot)$ is with division if $a\cdot G=G\cdot a=G$. I was thinking to try $(\mathbb{Q},\cdot)$, where $x\...
2
votes
4
answers
310
views
Examples of magmas with all their elements idempotents
A magma is supposed to be closed under a binary operation. Are there examples of magmas with all their elements idempotents under the operation of the magma?
16
votes
6
answers
1k
views
Just How Strong is Associativity?
A friend of mine is using a lot of algebra that is not associative for an advanced Chemistry project. We were discussing it recently and I found it rather amusing how often she said things like "...
5
votes
1
answer
306
views
specific magma examples
Give an example of a magma $S$ such that $S$ has a zero and $S$ has a left zero divisor that is not a right zero divisor
an example of a magma with an identity such that there is an element with ...
2
votes
2
answers
146
views
Can an algebraic structure such that $x+a=x+b$, have solutions for all $a,b∈\mathbb{K}$ exist?
Does there exist an algebraic structure $(\mathbb{K},+)$ such that equations of the form $x+a=x+b$, $a\neq b$ have solutions for all $a,b\in \mathbb{K}$?
55
votes
9
answers
11k
views
Can you give me some concrete examples of magmas?
I've seen the following (e.g. here):
I've learned a bit about groups and I could give examples of groups, but when reading the given table, I couldn't imagine of what a magma would be. It has no ...
5
votes
1
answer
401
views
Are there interesting examples of medial non-commutative semigroups?
There exist semigroups $S$ (written additively) such that
$S$ is medial, meaning $(a+b)+(a'+b') = (a+a')+(b+b')$.
$S$ is not commutative.
Example. The left (and right) zero semigroups are all medial,...
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 ...