Since U is local, Tr(q|∆(U)) is hyperbolic by Witt's cancellation theorem ([10], Corollary 5.7.5). On the other hand (see §12, (5)) q|∆(U) is a multiple of Tr ...
確定! 回上一頁