  Let $u:A\to B$ be a morphism of noetherian local rings. We obtain smoothness
criteria for algebras with differential bases, in the case of rings containing
a field of characteristic $p>0.$ We also give smoothness criteria for reduced
morphisms.
