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
0
votes
1
answer
134
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 ...
1
vote
1
answer
233
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 ...
0
votes
0
answers
37
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. ...
3
votes
2
answers
169
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 ...
5
votes
1
answer
87
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)...
5
votes
3
answers
197
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-...
5
votes
1
answer
220
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, ...
1
vote
1
answer
118
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 ...
4
votes
1
answer
130
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$?
5
votes
2
answers
498
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 ...
1
vote
1
answer
2k
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 ...
2
votes
2
answers
199
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 ...
5
votes
0
answers
204
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_-...
1
vote
0
answers
128
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,....,...
7
votes
2
answers
551
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 ...