Suppose we are in characteristic $p$, and that the field, $K$, that we are working over is imperfect. We have a map $\Theta: K \to K^{\delta}$ where each coordinate function $\Theta_i$ is an additive function. Suppose further that at least one of the $\Theta_i$ has non-zero derivative.
Is the Zariski closure of the image a smooth algebraic set in $K^{\delta}$?
I believe that essentially automatically the transcendental dimension of it's function field is one, as $\dim K = \dim \ker \Theta + \dim \overline{\Theta(K)^z}$.
I want to believe that the tangent space has dimension one also! Apologies if this question is trivially true or false, I'm by no means very familiar with algebraic geometry and am learning on the fly. The lack of the map being automatically separable, and understanding the set only as a parametrization (i.e. not knowing about the functions whose zero set defines it) is confusing me.
Any suggestions towards understanding these tangent spaces would be helpful!