03/23/2025, 11:49 PM
Your very first assumption seems flawed. I believe it was prooven inconsistent years ago. I don't remember the prof nor the thread.
Anyways you should check if your definition \( ^{\frac{1}{n}}b:={\rm sqrt}_n (b)\) is coherent with the law \( ^{q+1}b =\exp_b(^{q}b) \) for each \(q\) rational number..
I have the feeling that you will find a contraddiction somwhere.
Anyways you should check if your definition \( ^{\frac{1}{n}}b:={\rm sqrt}_n (b)\) is coherent with the law \( ^{q+1}b =\exp_b(^{q}b) \) for each \(q\) rational number..
I have the feeling that you will find a contraddiction somwhere.
Mother Law \(\sigma^+\circ 0=\sigma \circ \sigma^+ \)
\({\rm Grp}_{\rm pt} ({\rm RK}J,G)\cong \mathbb N{\rm Set}_{\rm pt} (J, \Sigma^G)\)