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

Filter by
Sorted by
Tagged with
0 votes
0 answers
41 views

Group sufficiency conditions given an associative magma. [duplicate]

From Bourbaki's Algebra. I desire to see how others think about these interesting questions involving surjectivity and injectivity of translations. (4.2) This problem is marked as difficult. Problem a:...
user avatar
2 votes
1 answer
45 views

How to show that a compact semigroup for which the cancellation law holds is a compact group

Here is my problem: Set $G$ a compact semigroup (that is a Hausdorff compact space endowed with an associative continuous binary operation). Assume that the cancellation law holds i.e. for any $g,h,k \...
user avatar
0 votes
1 answer
49 views

Does "in-between" multiplication preserve equality?

In a magma $(S;*)$, multiplication on the left and the right preserves equality. That is, if $a=b$, then $c*a=c*b$ and $a*c=b*c$. But what about "in-between" multiplication? That is, if $a*c=...
user avatar
  • 13.2k
2 votes
1 answer
71 views

Given that $f$ and $g$ are homomorphisms, the implication that $f \odot g$ is also a homomorphism implies $(S, \odot)$ is entropic - why?

Context: Seth Warner's "Modern Algebra" (1965), exercise $13.13$. Ongoing self-study. Let $(S, \odot)$ and $(T, \otimes)$ be closed algebraic structures with one operation. Let $(S, \odot)$ ...
user avatar
  • 4,038
0 votes
1 answer
39 views

Is there a magma with the following property?

Does there exist an infinite magma with the following property: Let $n$ be a positive integer greater than or equal to $2$. For all $x_1,...,x_n$, if $x_1,...x_n$ are all distinct, then all products ...
user avatar
  • 13.2k
0 votes
0 answers
27 views

What is the formal definition of a Cayley table?

What is the formal definition of a Cayley table? I am not interested merely in Cayley tables for groups, I am interested in general Cayley tables for non-empty finite magmas. Also, another question is,...
user avatar
  • 13.2k
1 vote
1 answer
73 views

Term for a semigroup with left identities and left inverses?

Is there a term for a semigroup $(M, *)$ that has at least one left identity and left inverses in the "weak" sense that, for all $a \in M$, there exists a $b \in M$ such that $b*a$ is a left ...
user avatar
1 vote
0 answers
39 views

Term for a magma with a left identity?

Is there a term for a magma $(M,*)$ that contains at least one left identity element, but not necessarily a right identity element? I'm looking for a term that requires only $$\exists e \in M \text{ ...
user avatar
1 vote
1 answer
76 views

Algebraic structure for subtraction limited by 0 from below.

Let's assume an algebraic structure with elements from non-negative real numbers with the operation $x - y := max(x - y, 0)$. It fails at least 2 out of 3 group definition properties: Associativity: $...
user avatar
  • 63
2 votes
2 answers
71 views

Can we derive associativity of symmetric difference from its simpler properties?

The symmetric difference $Δ: 𝒫(X)×𝒫(X) →𝒫(X)$ has a few obvious properties: $∅$ acts as the neutral element, i.e. $SΔ∅ = S$ It is commutative Every element is its own inverse. The (imo) only non-...
user avatar
4 votes
1 answer
89 views

Do the Moufang identities *themselves* imply diassociativity / Moufang's theorem / Artin's theorem?

A Moufang loop is a loop satisfying the Moufang identities. Famously, these are diassociative -- the subloop generated by any two elements is associative (is a group) -- and more generally, they ...
user avatar
  • 4,392
2 votes
2 answers
107 views

Faithful permutation representation

excuse me if my question is trivial. I’m trying to use magma to construct faithful permutation representations of a certain group using the group action that lets the group G acts by the left ...
user avatar
  • 23
4 votes
1 answer
100 views

Surjective homomorphism into a magma confers all the algebraic properties of the domain

Let $A$ be your favorite algebraic object (group, abelian group, rng, ring, commutative ring, field, module, vector space). Let $M$ be a magma. The image of a "homomorphism" $\phi : A \to M$ ...
user avatar
  • 1,551
4 votes
3 answers
143 views

A commutative but not necessarily associative operation

Let $S$ be a set and let $*$ be a binary operation on $S$ satisfying the laws \begin{align} x*(x*y) &= y \quad \text{for all } x, y \text{ in } S,\\ (y*x)*x &= y \quad \text{...
user avatar
  • 1,131
0 votes
1 answer
59 views

Simplification of a group presentation

Im new to MAGMA and hope somebody will help me with my question. If a group has a presentation with 4 generators, is there a magma code/function that can give me the same group with only three ...
user avatar
  • 49
0 votes
0 answers
43 views

Frequency of items in a list in MAGMA

I'm working in MAGMA and have ended up with a sequence with repeated entries. e.g. something somewhat (although much larger in my application) like this: ...
user avatar
1 vote
0 answers
58 views

Inverse element of a magma

It is accepted that two elements are inverse to each other if their product is equal to the identity element: Inverse element in a magma https://en.wikipedia.org/wiki/Inverse_element The definition ...
user avatar
  • 953
0 votes
0 answers
32 views

Isomorphisms of magmas that are subsets of R

Let there be two sets $A, B\subseteq\Bbb{R}$ and let there be two binary operations $*_M$ and $*_N$. Under what circumstances is $(A,*_M)\cong(B,*_N)$? I have found a couple of general working cases. ...
user avatar
3 votes
2 answers
99 views

How many non-isomorphic algebraic structures (i.e. magmas, monoids, groups etc.) are there with countably infinite order? [closed]

For structures of finite order it seems obvious to me that there are countably infinite in total, by a simple diagonalization argument (starting at all of order 1, then 2 etc.). It is however not ...
user avatar
4 votes
1 answer
82 views

Rings with primal term reducts

This question is a follow-up to this one. Say that a term reduct of a ring $\mathcal{R}=(R; +,\times,0,1)$ is a magma $\mathcal{M}$ whose domain is $R$ and whose magma operation is $(x,y)\mapsto t(x,y)...
user avatar
4 votes
3 answers
167 views

Finite magmas representing all unary functions by terms

Say that a magma $\mathcal{M}=(M;*)$ is unary-rich iff for every function $f:M\rightarrow M$ there is a (one-variable, parameter-free) term $t_f$ such that $t_f^\mathcal{M}=f$. For example: The one-...
user avatar
5 votes
1 answer
185 views

The ratio of finitely based magmas to all magmas

Let $n$ be a positive integer. By $S_n$, I denote the set of positive integers from $1$ to $n$. By $F_n$, I denote the cardinality of the set of magmas on $S_n$ which are finitely based, that is, ...
user avatar
  • 13.2k
1 vote
1 answer
65 views

if $\cdot$ and $\odot$ are associative operations on $\mathbb{Z}$ when is the sum $(\cdot + \odot)$ associative?

Where $a(\cdot + \odot)b$ is defined as $(a\cdot b) + (a\odot b)$. I know if $\cdot$ and $\odot$ distribute through addition (i.e. $a\cdot(b+c)=a\cdot b+ a\cdot c$) then the sum $(\cdot + \odot)$ is ...
user avatar
  • 730
4 votes
1 answer
113 views

Finite magma where the only equations are of the form "$t=t$"?

Does there exist a finite set $S$ with a single binary operation $*$, where the only equational identities that hold are of the form $t=t$ for some term $t$?
user avatar
  • 13.2k
5 votes
2 answers
141 views

Good book for self-study of Magmas/Semigroups/etc.?

I'm currently an undergrad in my second semester of Abstract Algebra. We've covered groups, rings, fields, all that fun stuff. I'm working with Shahriari's "Algebra in Action" as well as ...
user avatar
1 vote
1 answer
407 views

What is a monoid in simple terms?

I encountered the term "monoid" but I didn't really understand what is it useful for or what's it about. If I understand correctly a "monoid" is something defined in the context of ...
user avatar
  • 1,507
2 votes
2 answers
90 views

What is the name for a magma which is neither a quasigroup nor a semigroup yet has both an identity and inverses?

Is there a name which is more specific than `unital magma' for a magma whose only requirements are that it should have both an identity and (L/R symmetric) inverses for all elements? The following ...
user avatar
5 votes
0 answers
176 views

Suspicious diagrams on wiki about group-like structures

It seems to me that the diagrams on wiki about group-like structures are not quite right. For example, the following https://en.wikipedia.org/wiki/Monoid#/media/File:Algebraic_structures_-...
user avatar
  • 234
1 vote
0 answers
55 views

Recursive definition of products

Let $(M,*)$ be a Magma. How can one recursively define products such as $(a_1*a_2)*(a_3*(a_4*a_5))$ and so on ? The basic idea is i think that we have something like : $P^1(a_1)=a_1$ and $P^n(a_1,....,...
user avatar
  • 52
4 votes
2 answers
180 views

Defining loops: why is divisibility and identitiy implying invertibility?

Wikipedia contains the following figure (to be found, e.g. here) in order to visualize the relations between several algebraic structures. I highlighted a part that I find especially interesting. It ...
user avatar
  • 28k
3 votes
1 answer
177 views

When do we have $(x y)^2 = x^2 y^2 $?

I just started thinking about algebra so this might be a trivial question. Anyway, Under what conditions do we have $$(x y)^2 = x^2 y^2 $$ ? Does it need to be a group ? Or a groupoid ? Or a monoid ? ...
user avatar
  • 12.9k
5 votes
1 answer
134 views

Computing the number of conjugacy-classes in $GL_{n}(\mathbb{F}_{p})$ of elementary abelian p-subgroups by GAP and Magma

I'm trying to compute the number of conjugacy-classes of elementary abelian p-subgroups of rank $2$ in $GL_{n}(\mathbb{F}_{p})$ by GAP and Magma. So I consider the following GAP function: ...
user avatar
4 votes
1 answer
206 views

Is every group isomorphic to the automorphism group of some magma?

I believe that magma isomorphism is defined as $\phi(x*y)=\phi(x)*'\phi(y)$. The automorphism group is the set of bijective isomorphisms from the elements of the magma to itself, under the operation ...
user avatar
5 votes
1 answer
100 views

What's the preferred term researchers like to use in the theory of magmas/groupoids?

As we know, mathematicians like to avoid the term "groupoid" to refer to a set with binary operation. This term, as we know, originates from the works of Brandt, so called Brandt groupoid. A ...
user avatar
  • 5,732
2 votes
1 answer
83 views

Is there a category of partially defined binary operations?

A magma is a set $Y$ with a binary operation $m:Y \times Y \rightarrow Y.$ A partial magma is the same idea, but where the binary operation $m$ may not be defined on some pairs of elements of $Y.$ My ...
user avatar
7 votes
2 answers
251 views

If not associative, then what?

Consider a binary operation $*$ acting from a set $X$ to itself. It's useful and standard to work with operations which are associative, such that $(a*b)*c = a*(b*c)$. What about operations which are ...
user avatar
  • 1,215
2 votes
1 answer
81 views

Fill in a partly filled in table such that it makes the magma $(M,*)$ associative, commutative, has an identity element and has no zero-elements.

Below is a partly filled in table for a binary operation ($*$) on the set $M=\{a,b,c,d\}$. I am trying to fill in the rest such that the magma $(M,*)$ becomes associative, commutative, has an identity ...
user avatar
  • 321
1 vote
1 answer
44 views

Are all alternative magmas flexible?

A magma is alternative if for all elements $x$ and $y$, we have $(xx)y = x(xy)$ and $y(xx) = (yx)x$. A magma is flexible if for all elements $x$ and $y$ we have $x(yx) = (xy)x$. Both of these are ...
user avatar
2 votes
1 answer
64 views

Power associative magma

I’m looking for a magma with specific properties: Requirements: 1.Power Associative(of course, I want it to not be alternative or similar). 2.Invertibility and identity element. Preferences(In order ...
user avatar
  • 1,664
0 votes
1 answer
72 views

"Equivalence relation compatible w/magma law" in Bourbaki's Algebra I

I am using the edition of Bourbaki's "Algebra I" published/printed by Springer in 1989. On p. 11 Bourbaki defines the compatibility between a magma law ⊤ and an equivalence relation R on the ...
user avatar
1 vote
1 answer
49 views

Notation and terminology for free algebras with one binary operation?

Introduction To Question Context: Universal Algebra I Definition: A $\mathtt{S}$-algebra is an algebra $\langle A, succ, \bullet \rangle, $ with one unary operation and no identities. Let $\mathsf{S}(...
user avatar
  • 1,534
2 votes
1 answer
68 views

Is totally ordered magma infinite?

It is well known that any non-trivial totally ordered group is infinite. Is it true that any totally ordered magma with more than one element is infinite too? My attempt to prove the statement: Let'...
user avatar
  • 953
2 votes
1 answer
57 views

Principal ideal of a non-associative magma

The definitions of a left, right, and two-sided ideal of an algebra do not involve associativity (R.D. Schafer "An Introduction To Nonassociative Algebras"). The same we can say about the definitions ...
user avatar
  • 953
1 vote
0 answers
31 views

How to construct a free magma without using identifications/disjoint union?

Let $S$ be a set. We define a sequence of sets $(S_n)_{n\in\mathbb{N}^*}$ recursively as follows: $S_1=S$ and for $n\ge2$ $$S_n=\bigcup_{k=1}^{n-1}\{k\}\times\big(S_k\times S_{n-k}\big).$$ Let $...
user avatar
  • 11
2 votes
0 answers
46 views

Every submagma of a free magma is free

Let $X$ be a set. Let $M_X$ be the free magma constructed on $X$. Suppose $N\subset M_X$ is a submagma of $M_X$: i.e. $NN\subset N$. Let $u:(N-NN)\rightarrow N$ be the canonical injection. We know ...
user avatar
  • 21
3 votes
0 answers
41 views

Each magma $M$ is associated with monoids $\mathcal{L}(M)$ and $\mathcal{R}(M)$. What are these called, and have they been studied?

Let $X$ denote a magma. Then $\mathrm{List}(X)$ is a monoid equipped with both a left and a right action on $X$, where the actions are defined in the obvious way. To illustrate these actions, suppose ...
user avatar
  • 65.1k
0 votes
1 answer
44 views

Generated submagma of a free magma

Let $X$ be a set and $S\subset X$. Let $M(X)$ denote the free magma constructed on $X$ and $i:S\hookrightarrow X $ be the canonical injection of $S$ into $X$. We know that there exists a unique ...
user avatar
  • 1
1 vote
1 answer
162 views

What is the identity element of 4

If $*$ is a binary operation taking the greater of two distinct numbers, construct a table for the operation on the set $S=\{1,2,3,4,5\}$. What is the identity element of 4? Is the operation ...
user avatar
-1 votes
1 answer
144 views

Inverse element in a magma [closed]

Given $(S,*)$ a magma and an identity element $e$. The inverse of $x\in S$ is $y$ such that $x*y=e=y*x$. Is it correct to say that if $x$ is the inverse of $y$ then $y$ is the inverse of $x$?
user avatar
  • 11
2 votes
1 answer
89 views

What's the name for a datatype which has every property of a group except commutativity instead of associativity?

I have a set X and an action Y where: Closure: for every element x1 and x2 in X, x1Yx2 is also in X Identity: there is an element e in X where for all x in X, eYx = xYe = e There is at least one ...
user avatar
  • 163