>>513
分数というと、nicerac.styがあるけど、
\documentclass{jarticle}
\usepackage{amsmath}
\usepackage{nicefrac}
\def\diag{\mathop{\rm diag}\nolimits}
\begin{document}
$A^{\nicefrac{1}{p}}$
とか
$\diag(\lambda_1^{\nicefrac{1}{p}}, \lambda_2^{\frac{1}{p}}, \ldots, \lambda_n^{\frac{1}{p}})$
\end{document}
同じようなものですね。

\diagの定義は合ってる?