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.)
196
questions
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 ...
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\...
-1
votes
1
answer
43
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
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)...
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
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 ...
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 ...
0
votes
0
answers
136
views
Counting the number of points on a curve over a finite field by calculators
I want to count the number of points on a algebraic curve $C:y^2=x^5-x+1$ over $\mathbb{F}_{3^n} (n=2,3,4,...)$ by calculators (Pari/GP, Sage, Magma,...).
Can you give me a command that solves the ...
0
votes
0
answers
36
views
Generalization of free magmas for nested structures
Consider a nonempty set $X$. What is the name / concept that gives rise to (the set of) all $X$ labeled planar trees e.g.
...
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 ...
2
votes
1
answer
99
views
How to define the non-commutative ring $\mathbb{F}_{4}+e\mathbb{F}_{4}$, $e^2=1$, $ae=ea^2$ in MAGMA(Computational Algebra System)?
I'm trying to learn to use MAGMA(Computational Algebra System) for research in coding theory over non-commutative rings, but it's been slow going. I feel like it's hard to find anything in the ...
1
vote
1
answer
46
views
Is there a model of this equational theory which is not power-associative?
This is a follow up to my previous question, here: Two questions regarding equational axiomatizations of power-associative magmas.. As before, let $t$ be a term, in the sense of universal algebra. I ...
1
vote
1
answer
53
views
Two questions regarding equational axiomatizations of power-associative magmas.
A power-associative magma is a magma $(M;*)$ where the submagma generated by any single $x$ in $M$, is associative. I have two questions regarding power-associative magmas. First, some terminology. ...
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 ...
0
votes
1
answer
62
views
intersection of point stabilisers is trivial
Let $G=\operatorname{GL}_{n}(2)$. Let $v_{i}$ be the basis elements of the natural module of $G$. I observed by computing with Magma that the intersection of all Stabiliser($G, v_{i}$) is trivial for ...
0
votes
1
answer
40
views
An equational basis for the variety generated by the following class of magmas.
Let $(M;*)$ be a magma, and define a binary relation $R$ on $M$ by saying that $aRb$ iff there exists a $c$ in $M$ such that $a*c=b$. I call $R$ the left-divisor relation associated with $(M;*)$. I ...
1
vote
0
answers
37
views
An example of a binary operation which is neither idempotent nor has a right identity, but has a reflexive "left-divisor" relation.
Let $A$ be a set with a binary operation $*$. I define a binary relation $R$ on $A$ by defining $xRy$ to hold if there exists a $z$ in $A$ such that $x*z=y$, and in that case I call $x$ a "left-...
0
votes
1
answer
76
views
Is class number the always the degree of [Hilbert class field of discriminant $D:K=\mathbb{Q}(\sqrt{d})]$
I was going through https://services.math.duke.edu/~schoen/discriminants.html where the minimal polynomial whose quotient over $K=\mathbb{Q}(\sqrt{d})$ is equal to the Hilbert class field for ...
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) ...
0
votes
1
answer
66
views
Program to calculate homology of a Koszul complex involving univariate polynomials
Let $R = \mathbb{Z}[x_1,...,x_6]$ be a polynomial ring. Then we may form the Koszul complex $K(x_1,...,x_6)$ which looks something like:
$$ R \xrightarrow{d_6} R^6 \xrightarrow{d_5} R^{15} \...