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.)

learn more… | top users | synonyms

1
vote
1answer
52 views

Normal Submagma?

Is there a definition of normal submagma? visit https://en.wikipedia.org/wiki/Magma_(algebra) For normal sub-quasi-group I found two: A sub-quasi-group $H$ is called normal if there exists a normal ...
2
votes
1answer
70 views

Finding a binary operation on $\{1, \dots, n\}$ so that each $k$ has exactly $k - 1$ left inverses

What is an example of a binary operation on the set $\{1, \dots, n\}$ so that each element $k \in \{1, \dots, n\}$ has respectively $k-1$ left inverses? I have been trying various combinations ...
2
votes
0answers
30 views

Does the following property of the composition of a magma have a name?

If $M$ is a magma and $$+:M\times M\to M$$ is its law of composition, does the property $$(x+y)+z=x+(y+z)\qquad\forall\ x,y,z\in M :\quad y\neq x,z$$ have a name? It resembles the associativity of ...
2
votes
1answer
38 views

Does this notion of “weak” isomorphism exist in literature?

Let $(M,\circ)$ and $(N,\ast)$ be two magmas. I'd like to relax the notion of isomorphism by defining a notion of "weak" isomorphism in the following way: $M$ and $N$ are "weakly" isomorphic if there ...
1
vote
1answer
92 views

Associativity in category theory [closed]

In Category Theory, the composition of morphisms must be associative. What would happen if we give up this associative law? For example Lie algebras are vector spaces with non-associative binary ...
2
votes
1answer
116 views

Referencing the construction of a left loop

We call left loop a magma $(L,\cdot)$ such that for all $(a,b)\in L\times L$, exists only one $x\in L$ such that $a\cdot x=b$, exists one $e\in L$ such that $e\cdot x=x=x\cdot e$ for all $x\in L$. ...
2
votes
2answers
40 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 ...
2
votes
4answers
78 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?
12
votes
6answers
485 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 ...
4
votes
1answer
50 views

Number of different magmas up to isomorphism

Let $(M,\circ)$ be a magma over a finite set of order $n$. I tried to count all the possible magmas up to isomorphism, but I just can't get it right. My naive approach was to count all the possible ...
2
votes
0answers
119 views

Functions $h$ such that $h(x*x') = f(x) * g(x').$

Definition 0. Call a magma $X$ surjective iff the distinguished binary operation of $X$ induces a surjective function $X \times X \rightarrow X$. Now for the main idea: Definition 1. Let: ...
3
votes
2answers
44 views

Existence of right and left identity in minimalistic algebraic structure

Let $(A,\cdot)$ be some algebraic structure in which there exists elements $e_r,e_l$ such that $$e_l\cdot x = x, \forall x\in A$$ $$x\cdot e_r = x, \forall x\in A$$ By definition, if $(A,\cdot)$ is ...
1
vote
0answers
23 views

Generalization of prime and irreducible elements to arbitary magmas

Has anyone ever given a general definition of prime and irreducible elements in arbitrary magmas, that is to say, sets with a single binary operation with no restrictions? I know Walter Noll has given ...
2
votes
0answers
48 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
2answers
137 views

Set of sequences -roots of unity

Consider $G_n$ as the multiplicative cyclic group given by the $n^{th}$ roots of unity. $$G_n = \left\{ e^{ 2ik\pi/n} \mid 1\leq k \leq n \right\}$$ Now construct a sequence from each $G_n$ by ...
1
vote
1answer
70 views

Isomorphism between two magmas with one.

Do we have a method to find one (or all) isomorphism between two given magmas with one using GAP? Edit If we have Loop or Latin square (with one) instead of Magma then do we have the method?
4
votes
1answer
76 views

GAP code to get Multiplication Table.

I have a finite set $S=\{0,1,2,\ldots,n-1\}$ and binary operation $\star$ on $S$ defined by $$x\star y= \left\{ \begin{array}{l l l} \frac{3(x+y)}{2} ~~\text{modulo} ~~n& \qquad \mbox{if $x$ ...
0
votes
2answers
61 views

Sets as extremely trivial groups

A group is a structure defined upon an underlying set which is endowed with a single binary operator that has some rules attached to it. I was wondering whether one could describe a set itself as ...
3
votes
1answer
166 views

Varieties of groupoids which aren't definitionally equivalent

Here is the exercise from Smirnov's book "Varieties of algebras" (in Russian). Problem: Let $\mathcal{U}$ be the variety of all groupoids $(A, \cdot)$ and $\mathcal{V}$ be the variety of all ...
1
vote
2answers
99 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}$?
2
votes
1answer
79 views

Is there a term for this property of magmas?

There exists an element of the magma c such that for all x: $ x*x=c $ The consequence of this is that the elements on the diagonal of the Cayley table are all the same, e.a: $ * = \begin{bmatrix} 1 ...
1
vote
0answers
129 views

Efficient algorithm for calculating the tetration of two numbers mod n?

I'm trying to study the algebraic properties of the magma created by defining the binary operation $x*y$ to be: $ x*y = (x \uparrow y) \bmod n $ where $ \uparrow $ is the symbol for tetration. ...
3
votes
1answer
74 views

Is there a term for an algebraic structure with two binary operators that are closed under a set?

For example, let's say we're using the operators +, and *, and the set {0,1,2} The Cayley tables look like this: ...
1
vote
3answers
131 views

Proof of closure and identity element in Abelian Group

For real numbers $x > 1$, which forms the set $G$, it is given that the operation on $a,b$, being $a\ast b$, results in $ab - a - b + 2$ (where $ab$ is the ordinary multiplication of $a$ and $b$). ...
3
votes
2answers
104 views

Existence of an operation $\cdot$ such that $(a*(b*c))=(a\cdot b)*c$

When we can define a binary operation $\cdot:M\times M\rightarrow M$ on an algebraic structure $(M,*)$ such that $$a*(b*c)=(a\cdot b)*c$$ If $*$ is associative then $\cdot=*$ even if I'm not sure ...
3
votes
0answers
95 views

$\beta_a(n)=(a_1*\cdots(a_n*b))\setminus_* b$ and Iterations in right divisible magmas e representability by left translations.)

Let's consider the magma $(G,*)$ with infinite elements. Now I define $\operatorname{left}(G)$ the set of all the left translations $$\operatorname{left}(G):\{L_a:a \in G ,L_a(b)=a*b\}$$ And ...
30
votes
6answers
2k views

Can you give me some concrete examples of magmas?

I've seen the following: 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 ...
3
votes
1answer
54 views

Some questions on interdependence of some properties of abstract magma

Does there exist a magma $(S,\cdot)$ such that for every $y\in S, \exists y'\in S$ such that $x\cdot(y\cdot y')=x, \forall x,y\in S$, but there exist $x_1, x_2, x_3\in S$ such that ...
4
votes
1answer
72 views

Special Element in a Magma

Say I have a Magma $(M,\times)$, on which there exists an element $k\in M$ such that $k\times x = x\times k = k, \forall x\in M$. $k$ is then called an absorbing element (or zero element). My ...
2
votes
1answer
39 views

Another question on certain magma structures

Let $S$ be a non-empty set and $*$ be a binary operation on $S$ i.e. let $(S,*)$ be a magma such that $a*(b*c)=(c*a)*b \space;\forall a,b,c\in S $ , then is it consistent that $(S,*)$ has neither ...
1
vote
1answer
58 views

More Information about Magmas

I first learnt of magmas on Wikipedia and have been trying to read more on them just out of my own interest. Whenever I try to search them on Google, though, the search results are overwhelmed by the ...
1
vote
1answer
111 views

An interesting question from “Group Theory: A First Journey”

I am currently studying the manuscript Group Theory: A First Journey by Vipul Naik. It is available from the web page http://www.cmi.ac.in/~vipul/mathjourneys/ . In this manuscript the author proposes ...
2
votes
1answer
44 views

Does left-cancellativity of an element imply that in a superstructure, it has a left inverse?

Let $X$ denote a magma and suppose $x \in X$. Then clearly, if there exists a magma $Y$ and an injective homomorphism $f : X \rightarrow Y$ such that $f(x)$ has a left-inverse, then it follows that ...
0
votes
2answers
84 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$.)
9
votes
0answers
70 views

What can we learn about a magma by studying these monoids?

Given a magma $(X,*)$, we get three monoids in the following way. First, define a pair of functions $L,R : X \rightarrow (X \rightarrow X).$ $$(Lx)(y) = x*y,\quad (Rx)(y) = y*x$$ Then each of the ...
4
votes
1answer
91 views

How to describe free magmas in more structuralist terms?

Given a generating set $G$ (assume for simplicitly it consists entirely of urelements), the free magma on $G$ can be described concretely as follows. Its underlying set is the least $U \supseteq G$ ...
1
vote
1answer
549 views

Proving that $f(A+B)=f(A)+f(B).$

Let $X$ and $Y$ denote magmas, and suppose $f : X \rightarrow Y$ is homomorphism. Then I think that for all $A,B \subseteq X$, we have $f(A+B)=f(A)+f(B).$ However, I'm not happy with my: Proof. The ...
0
votes
0answers
29 views

Faster algorithm to test associativity of magma [duplicate]

Is there a faster algorithm to test associativity of a finite magma than just computing the two products of every triple of elements?
4
votes
1answer
94 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 ...
4
votes
1answer
104 views

A question on certain “magma” structures

Let $S$ be a non-empty set and $*$ be a binary operation on $S$ such that the following axioms hold: for every $x,y,z∈S$ , $x*(y*z)=(x*z)*y$; $(S,*)$ has a right identity i.e. there exists $e∈S$ ...
1
vote
1answer
60 views

Is there a name for magmas with $[x+y]+[x'+y'] \equiv [x+x']+[y+y']$?

Is there a name for magmas (written additively) satsisfying the following identity? The square brackets have no particular signifance, but will hopefully promote readability in what follows. ...
1
vote
0answers
37 views

Proper term for a monotonic magma

Let $M$ be the multiplication table for a finite magma. Entries are labeled $0,\ldots,n-1$. M has the property that $M(i,j)\ge i, M(i,j) \ge j$. What is the proper term for this kind of magma and ...
16
votes
2answers
329 views

What is this algebraic object called?

I was playing around with the following object: Let $Q$ be a set with a binary operator $\cdot$ obeying the axioms: $a \cdot a = a$ (idempotence) $a \cdot (b \cdot c) = (a \cdot b) \cdot (a \cdot ...
3
votes
3answers
118 views

How are the powers being changed

I have a semigroup $S$ including a generator, say $d$, such that $$d^4=d$$ I am trying to guess the general rule of $d$'s powers such that when I want to calculate $d^n, n\in\mathbb N$; I can simplify ...
2
votes
4answers
321 views

Inverse elements in the absence of identities/associativity.

Lets view groups as consisting of a binary operation, a distinguished element $e$, and unary operation $x \mapsto x^{-1}$. Then the group axioms can be stated as follows. $(xy)z=x(yz).$ $xe=ex=x.$ ...
8
votes
3answers
217 views

Which properties are inherited by the Cartesian product of two sets equipped with a binary operation?

Let $G$ and $H$ denote sets equipped with a binary operation (aka magmas). We can form the Cartesian product magma $G \times H$ in the obvious way. I'm interested in which properties of $G$ and $H$ ...
3
votes
0answers
56 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 ...
9
votes
5answers
366 views

Associativity for Magma

Say I have the operation table for a magma. I want to know whether or not the operation is associative. However, associativity is defined for an operation on 3 elements, and the operation table deals ...
4
votes
2answers
56 views

Prove this magma commutativity

Given magma $(X, *)$ and that $(x*y)*y = x$ and $y*(y*x) = x$ $\forall x, y \in X$ prove that $x*y = y*x$. Should be rather simple but I've been trying to prove that for several hours now with no ...
15
votes
5answers
2k views

Prove that this is a group

Let $G$ be a finite, nonempty set with an operation $*$ such that $G$ is closed under $*$ and $*$ is associative Given $a,b,c \in G$ with $a*b=a*c$, then $b=c$. Given $a,b,c \in G$ with $b*a=c*a$, ...