Identification of the F-different with the different
Let RRR be an FFF-finite normal local ring of characteristic p>0p>0p>0, let X:=SpecRX:=\operatorname{Spec} RX:=SpecR, and let D+BD+BD+B be an effective Q\mathbb{Q}Q-divisor on XXX, where DDD is a normal…