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 $(e^{2i1\pi/n}, e^{2i2\pi/n},\dots, e^{2ik\pi/n},\dots,e^{2in\pi/n}, 0, 0, 0,\dots$). Now consider the set S of all such sequences, $$S=\left\{(e^{2i1\pi/n}, e^{2i2\pi/n},\dots, e^{2ik\pi/n},\dots,e^{2in\pi/n}, 0, 0, 0,\dots) : […]

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. Doing so, the hardest commutation necessary for this kind of magma of order n is: $ (n-1) \uparrow […]

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 about the uniqueness (But In right-invertible associative structures this is provable) If $*$ is right-invetible then $a\cdot b=(a*(b*c))\setminus c$ only if $a\cdot b$ doesn’t depends […]

I am considering finite magmas $(S,\cdot)$ with $\forall(x,y,z)\in S^3, x\cdot(y\cdot z)=y\cdot(x\cdot z)$. Any finite commutative group is an example of such thing. But in the context (this question on crypto.stackexchange.com), I am not interested in groups; or at least, not in groups with an efficiently computable inverse. I am wondering if/how the classical magma-to-group classification […]

I’ve seen the following (e.g. here): 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 associativity, no identity, no divisibility and no commutativity. I can’t imagine what such a thing would be. Can […]

From this answer by Martin Brandenburg I learned an elegant way of constructing and describing elements of coproducts of monoids. There he writes this construction shows the existence of colimits in every finitary algebraic category. I’m trying to understand the significance of having units, and it seems to me units are actually used in the […]

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$, then $b=c$. I want to prove that $G$ is a group, but I don’t know how to show that […]

Most properties of a single binary operation can be easily read of from the operation’s table. For example, given $$\begin{array}{c|ccccc} \cdot & a & b & c & d & e\\\hline a & e & d & b & a & c\\ b & d & c & e & b & a\\ c & […]

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 only with two. So it is not clear to me how to determine whether operation is associative by looking only […]

Intereting Posts

How would you count a base $> 36$ system?
Complex Taylor and Laurent expansions
Are complex determinants for matrices possible and if so, how can they be interpreted?
Prove that: $x_1\cdot x_2\cdots x_n>y_1\cdot y_2\cdots y_m$.
Need help understanding Erdős' proof about divergence of $\sum\frac1p$
Prove the following series $\sum\limits_{s=0}^\infty \frac{1}{(sn)!}$
explicit formula for recurrence relation $a_{n+1}=2a_n+\frac{1}{a_n}$
How to find $x^{2000}+x^{-2000}$ when $x + x^{-1} = \frac{1}{2}(1 + \sqrt{5})$
Verify the identity: $(1-x^2)\dfrac{\partial^2 \Phi}{\partial x^2}-2x\dfrac{\partial\Phi}{\partial x}+h\dfrac{\partial^2}{\partial h^2}(h\Phi)=0$
Shooting bullets
If $\omega$-chains corresponds to maximality, then $\kappa$-chains corresponds to ???
Prob. 9, Sec. 4.3 in Kreyszig's Functional Analysis Book: Proof of the Hahn Banach Theorem without Zorn's Lemma
Proving that second derivative is perpendicular to curve
Initial Segments of Modular Arithmetic
Something strange about $\sqrt{ 4+ \sqrt{ 4 + \sqrt{ 4-x}}}=x$ and its friends