  In this paper, we investigate the relationship of F-regular (resp. F-pure)
rings and log terminal (resp. log canonical) singularities. Also, we extend the
notions of F-regularity and F-purity to "F-singularities of pairs." The notions
of F-regular and F-pure rings in characteristic $p>0$ are characterized by a
splitting of the Frobenius map, and define some classes of rings having "mild"
singularities. On the other hand, there are notions of log terminal and log
canonical singularities defined via resolutions of singularities in
characteristic zero. These are defined also for pairs of a normal variety and a
$\Bbb Q$-divisor $\Delta$ on it, and play an important role in birational
algebraic geometry. As an analog of these singularities of pairs in
characteristic zero, we define the notions of "F-singularities of pairs,"
namely strong F-regularity, divisorial F-regularity and F-purity for a pair
$(A,\Delta)$ of a normal ring $A$ of characteristic $p > 0$ and an effective
$\Bbb Q$-divisor $\Delta$ on $Y = Spec A$. The main theorem of this paper
asserts that, if $K_Y + \Delta$ is $\Bbb Q$-Cartier, then the above three
variants of F-singularitiesof pairs imply KLT, PLT and LC properties,
respectively. We also prove some results for F-singularities of pairs which are
analoguous to singularities of pairs in characteristic zero.
