The shift homomorphism conjecture for divided-power generators
Let ppp be the characteristic of the field K\mathbb{K}K, let X={ei,i+1(pk)∣1≤i≤n−1,k∈N0}X=\{e_{i,i+1}^{(p^k)}\mid 1\le i\le n-1,\\ k\in\mathbb{N}_0\}X={ei,i+1(pk)∣1≤i≤n−1,k∈N0}, and write aik=ei,i+1(pk)a_{ik}=e_{i,i+1}^{(p^k)}aik=ei,i+1(pk). Equip XXX with t…