Questions tagged [magma]
A magma is a set together with a binary operation on this set. (For questions about the computer algebra system named Magma, use the [magma-cas] tag instead.)
195
questions
0
votes
0
answers
61
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\...
-1
votes
1
answer
42
views
map from spin to special orthogonal in Magma [closed]
Let $G:=\operatorname{Spin}(7,5)$. How to construct in Magma the map $G \rightarrow G/Z(G) $ where $Z(G)$ is the center. I get this from Magma:
...
-4
votes
1
answer
78
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)...
2
votes
1
answer
63
views
Smallest possible cardinality of finite set with two non-elementarily equivalent magmas which satisfy the same $\forall$-theory?
This is a follow-up to my previous question, here: Smallest possible cardinality of finite set with two non-elementarily equivalent magmas which satisfy the same quasi-equations?. My question now is, ...
3
votes
1
answer
69
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 ...
1
vote
0
answers
70
views
Is there an algorithm for finding every isolated singular point on an algebraic variety, or a programming language that implements this?
Suppose one wishes to test if a given algebraic surface f(x,y,z,w) = 0 in projective 3 space has singular points, that is df/dx = df/dy = df/dz = 0, and one also wishes to calculate these singular ...
0
votes
1
answer
55
views
Term for a Set Equipped With a Binary Operation Which Contains Inverses
Let $A$ be a set and let $\circ:A\times A\rightarrow B,$ $A\subseteq B$ be a binary operation ($A$ is not necessarily closed under $\circ$). If there exists some unique $e\in A$ such that $e\circ a=a\...
0
votes
0
answers
19
views
Compilation of Phenomena Modeled by an Operation Table
It seems like there would be utility in a search engine or database through which the user inputs the operation table of a magma (I think that's the right level of algebraic structural generality) to ...