All Questions
Tagged with magma abstract-algebra
125
questions
0
votes
0
answers
64
views
Is subtraction on the reals isomorphic to division on the positive reals?
I know that the magma $(\mathbb{R};+)$ of addition on the real numbers is isomorphic to the magma $(\mathbb{R}^+;\times)$ of multiplication on the strictly positive real numbers. I wonder, is it the ...
2
votes
0
answers
28
views
Weaker notion of closure for partial magmas
Let $(G,\cdot)$ be a partial magma (a set endowed with a partial binary operation). In principle, for such generic structures it is possible that $\exists g \in G$ such that $\forall h \in G, \, g\...
-4
votes
1
answer
79
views
Practical example of differences between associativity and alternativity (and the in-between Bol loop)? [closed]
Associativity is:
$$(a * b) * c = a * (b * c)$$
Alternativity is:
$$a * (a * b) = (a * a) * b$$
$$(a * b) * b = a * (b * b)$$
Bol loop is:
$${\displaystyle a(b(ac))=(a(ba))c}$$
$${\displaystyle ((ca)b)...
3
votes
1
answer
71
views
Are there 45 unital magmas with three elements (up to isomorphism)?
How many unital magmas (magma with an identity element) with three elements are there (up to isomorphism)?
My approach:
List out all of the possible 2x2 multiplication tables for the two non-identity ...
20
votes
5
answers
3k
views
Why did I never learn about magmas?
While I’ve never taken an actual abstract algebra course, there are some things I know about the typical curriculum structure:
First, define an algebraic structure.
Explain groups.
Everything else.
...
0
votes
0
answers
82
views
Nomenclature for a unital magma together with a monoid
Is there some established name/nomenclature for structures $\mathfrak{A} = (A,\, {\oplus},\, {\odot})$, where
$(A,\, {\oplus})$ forms a (commutative) unital magma (in particular not associative!),
$(...
0
votes
1
answer
20
views
Maximal Extension Chain of Halfgroupoids
A book I am reading gives the following definitions:
A collection $\{L_i:i=0,1,2,...\}$ of halfgroupoids $L_i$ is called an extension chain if $L_{i+1}$ is an extension of $L_i$ for each $i$. If $G$ ...
0
votes
0
answers
34
views
Closest Equivalent to Cayley Graphs for Partial Groupoids?
[A partial groupoid (half-magma) is a set S equipped with a (single-valued) partial binary operation, as in Bruck's Survey of Binary Systems.]
This question may be nonsensical, given that the duality ...
0
votes
1
answer
43
views
Does 2nd power idempotency imply all nth powers idempotency?
Suppose $(M,*)$ is a magma, that is, just a set with a binary operation with no conditions imposed, and let $s$ be an element of $M$. Also, let $n$ be an integer greater than or equal to $2$. An $n$-...
0
votes
1
answer
43
views
Does there exist a magma where every element has a left cube root but not every element has a right cube root?
Let $(M,*)$ be a magma. $x$ is said to be a left cube root of $y$ if $(x*x)*x=y$. $x$ is said to be a right cube root of $y$ if $x*(x*x)=y$. Does there exist a magma where every element has a left ...
3
votes
0
answers
213
views
Does the percentage of associative operations on a finite set decrease monotonically towards zero?
In this answer, André Nicolas proves that it is rare for a binary operation on a finite set to be associative, in the following sense: if $A_n$ denotes the number of semigroups that can be defined on ...
0
votes
1
answer
94
views
Eckmann–Hilton Argument and magma homomorphisms
The Eckmann-Hilton result is as follows:
Let $X$ be a set equipped with two binary operations $\circ$ and $\otimes$, and suppose
$\circ$ and $\otimes$ are both unital, meaning there are identity
...
3
votes
1
answer
124
views
Which axiom can almost determine the magma with one element?
The axiom $((a * b) * c) * (a * ((a * c) * a)) = c$ uniquely determines Boolean algebra, an example of a single axiom giving a magma an "interesting" structure. What is the fewest number of ...
1
vote
0
answers
78
views
non-commutative algebraic structure with 16 elements, need help categorizing it and finding a representation
We have an abstract algebraic structure with the following multiplication table, has anyone seen this structure before and can anyone give it a proper name and a simple (possibly matrix) ...
3
votes
1
answer
100
views
Is there a concept representing "connectedness" in abstract algebra?
Consider an object, call it a web, that consists of a set $S$ equipped with a binary operation obeying these axioms:
$$
\forall\ a,b \in S\ \exists\ c \in S :a\ \bullet\ b=c
$$
$$
\forall\ a,b \in S\ \...