Derivations of Polynomial Algebra Let $A=\mathbb{F}_p[x,y]$, the commutative polynomial algebra on two variables over the finite field $\mathbb{F}_p$. Define a derivation on an algebra as a map which satisfies the Leibniz rule, ie if $d$ is a derivation then 
$$d(ab)=ad(b)+bd(a)$$
Let $Der(A)$ be the $\mathbb{F}_p$-module (algebra?) of derivations of $A$. I'm interested in  knowing what $Der(A)$ is. First of all, I'm not sure exactly how complicated the algebraic structure it carries is. I know that it's at least a $\mathbb{F}_p$-module. But is it an algebra? I suspect no, but I can't nail down a reason why. Is it a module over a bigger ring? $\mathbb{F}_p[x,y]$ seems like it might be a good choice- but again, I'm not very sure of this. Finally, what's an explicit description of elements of $Der(A)$? Is it just linear combinations of $\frac{d}{dx}$ and $\frac{d}{dy}$?
I apologize if this is a bit overly broad, but I'm encountering derivations over finite fields for the first time, and I'd like to really understand what's going on.
 A: Let's call $Der(A)$ the set of all your derivations $d:A\to A$. What algebraic structure does it have?  
1) $Der(A)$ is an $A$-module via the definition that for $a\in A$ and $d\in Der(A)$ we demand that $(a \bullet d)(b)= a\cdot d(b)$ where $\cdot$ on the right means multiplication in $A$.  
non2) $Der(A)$ is not a subalgebra of $\mathcal L_{\mathbb F_p-lin}(A,A),\circ $ in the sense that given two derivations $d,d'\in A$, the composition $d\circ d'$ is not a derivation.
 For example $(\frac{\partial}{\partial x} \circ\frac{\partial}{\partial y})(xy)=1\neq x(\frac{\partial}{\partial x} \circ\frac{\partial}{\partial y})(y)+y(\frac{\partial}{\partial x}\circ \frac{\partial}{\partial y})(x)=0$
2) However $Der(A)$ is a Lie algebra under the bracket $[d,d']=d\circ  d'-d'\circ d$.  
3) The $A$-module of derivations $A\to A$ is the dual module of a very interesting $A$-module $\Omega_A$ (the module of Kähler differentials), i.e. $Der(A)=\mathcal L_{A-lin}(\Omega_A,A)$. So there  remains to compute  $\Omega_A$.
4) It is easy to see, once you you are acquainted with  the easy formalism of Kähler differentials, that $\Omega_A=A^2=A\delta x\oplus A \delta y$, so that $Der(A)=\mathcal L_{A-lin}(\Omega_A,A)= A\frac{\partial}{\partial x}\oplus A\frac{\partial}{\partial y}$
5) Summing up  $$ Der(\mathbb F_p[x,y])=\ \mathbb F_p[x,y]\frac{\partial}{\partial x}\oplus \mathbb F_p[x,y]\frac{\partial}{\partial y}                      $$
A: Let $\Lambda$ be an associative algebra over the field $k$.  Then $\operatorname{Der}(\Lambda)$ is a $k$-Lie algebra under the operation $[f,g]:=fg-gf$ (on the right $fg$ means the composition of the two maps $f$ and $g$).  $\operatorname{Der}(\Lambda)$ has an ideal $\operatorname{IDer}(\Lambda)$, the inner derivations, consisting of those derivations of the form $d_\lambda(x):= \lambda x - x \lambda$ (this is trivial in your case).
The quotient $\operatorname{Der}(\Lambda)/\operatorname{IDer}(\Lambda)$ is isomorphic to the first Hochschild cohomology group $\operatorname{HH}^1(\Lambda)$.  The Hochschild cohomology has the structure of a Gerstenhaber algebra, in particular $\operatorname{HH}^1(\Lambda)$ is a Lie algebra.  The Lie algebra structure defined above induces a Lie algebra structure on $\operatorname{Der(\Lambda)}/\operatorname{IDer}(\Lambda)$ that agrees with the Lie algebra structure coming from the Gerstenhaber algebra structure.
Each Hochschild cohomology group is a module over $\operatorname{HH^0}(\Lambda)$.  Zeroth Hochschild cohomology is the centre of the algebra, so in your case the whole algebra.  The action of the centre is $(z\cdot \partial) (x) := z\partial(x)$.
In your case ($A = \mathbb{F}_p[x,y]$) the derivation algebra is much bigger than just linear combinations of the two derivative operators.  In fact given any $a,b \in A$ you can define a derivation $\partial$ on $A$ by setting $\partial(1)=0, \partial(x)=a, \partial(y)=b$ and extending according to the derivation rules.  It's clear that a derivation is completely determined by its action on $x$ and $y$, thus $\partial = a\frac{\partial}{\partial x} + b\frac{\partial}{\partial y}$ where the action of $a,b \in A$ is the action of the centre defined in the last paragraph.  So these two partial derivatives do generate the derivations, but as an $A$-module not an $\mathbb{F}_p$-module.
