• 1 Vote(s) - 5 Average
• 1
• 2
• 3
• 4
• 5
 left-right iteraton in right-divisible magmas, and fractional ranks. MphLee Fellow Posts: 95 Threads: 7 Joined: May 2013 05/13/2014, 05:32 PM (This post was last modified: 05/14/2014, 09:55 PM by MphLee.) I'm searching for a weak condition that makes us able to perform iteration in right divisible magams with an easy method. If this holds for some special structures this can solve the problem of the fractional hyperoperations. I would like to know if someone here know the answer: The question is already on MathSE http://math.stackexchange.com/questions/...-divisible The question is about wich is the weakest condition for a general algebraic structure $(G,*)$ with one binary operation $*$ that makes the set of integer iterations of the left (right) translation $iter(a):=\{L_a^{\circ n}:n \in \mathbb{N}\}$ for a fixed $a$a commutative subsemigroup of the semigroup of all the left (right) translations under function composition $left(G,*):=\{L_b:b \in G\}$. Where a left (right) traslation is defined as usual $L_a(x)=a*x$ and $R_a(x)=x*a$ This should be equivalent to the fact that every iteration of a left traslation $L_a^{\circ n}(x)=a_1*(...(a_{n-1}*(a_{n}*x)))$ by a fixed $a$ is still a left traslation by another element $\alpha$ such that $L_a^{\circ n}(x)=\alpha * x$and this will make us able to perform the left(or right) iteration on such structures that are not associative (like addition/multiplication) For associative structures this is trivially true and the function is the nth-power in that semi/group/monoid. But if the associativity implies that exist such injection I don't know if everytime the bijection exists then the operation is associative. I should note that, for example, this injection doesn't exist for the reals structured with the exponentiation as binary operation. If it was true we should have that for every $b$ exist a $\beta$ such that $b^{b^x}=\beta^x$ . Quote:APPLICATIONS But if this weak condition is satisfied by non associative structures and to be more precise for every conjugation quandle or LD system then it should holds for the conjugation in a group of functions under composition...and so the fractional iteration of conjugation could be easier easier and we can obtain a solution for the left traslations of the fractional-rank hyperoperations. Or some related (weaker) result if we use the LD systems. Another interesting point is that this make us able to reduce the existence of a sequence o hyperoperation with some wanted properties to an abstract algebra problem (even if I fear that uniqueness will be only settled by an additional structure on the algebraic structure). MathStackExchange account:MphLee MphLee Fellow Posts: 95 Threads: 7 Joined: May 2013 05/14/2014, 03:51 PM first attempt to study the relation to associativity... if $*$ is associative then $L_a^{\circ n}=L_{a^n}$, where $a^n$ is defined as usual $a^1:=a$ and $a^{n+1}=a*a^n$ but if it is not associative then the existence of an injection maybe depend on the existence of a binary function $\cdot:G^2\rightarrow G$ witht his property $a*(b*x)=(a\cdot b)*x$ or in other words $L_a \circ L_b=L_{a\cdot b}$ someone knows when such operation can exist and how is called this property? When $*$ is right invertible then $a\cdot b=a*(b*x)\setminus_* x$ but I don't know when this operation becomes indipendent from $x$ MathStackExchange account:MphLee « Next Oldest | Next Newest »

 Possibly Related Threads... Thread Author Replies Views Last Post Math overflow question on fractional exponential iterations sheldonison 4 4,080 04/01/2018, 03:09 AM Last Post: JmsNxn What left to right tetration does that right to left tetration doesn't robo37 0 2,188 06/17/2015, 04:38 PM Last Post: robo37 [MSE] Fixed point and fractional iteration of a map MphLee 0 2,225 01/08/2015, 03:02 PM Last Post: MphLee Fractional calculus and tetration JmsNxn 5 7,583 11/20/2014, 11:16 PM Last Post: JmsNxn Theorem in fractional calculus needed for hyperoperators JmsNxn 5 6,843 07/07/2014, 06:47 PM Last Post: MphLee Further observations on fractional calc solution to tetration JmsNxn 13 14,566 06/05/2014, 08:54 PM Last Post: tommy1729 Negative, Fractional, and Complex Hyperoperations KingDevyn 2 6,543 05/30/2014, 08:19 AM Last Post: MphLee A new way of approaching fractional hyper operators JmsNxn 0 3,966 05/26/2012, 06:34 PM Last Post: JmsNxn Fractional Tetration bobsmyuncle 1 3,958 02/20/2012, 01:04 PM Last Post: nuninho1980 generalizing the problem of fractional analytic Ackermann functions JmsNxn 17 22,876 11/24/2011, 01:18 AM Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)