A note on integrating group scheme actions

Daniel Hoffmann, Piotr Kowalski

We prove a non-integrability result concerning iterative derivations on projective line, where the iterative rule is given by a non-algebraic formal group.