 Different in a tower

ID: different-in-a-tower

For finite separable extensions

L / E / K

D_{L / K} = D_{L / E} D_{E / K} O_{L} .

For normalized valuations this says

d (L / K) = d (L / E) + e (L / E) d (E / K) .

 New to topics? Read the docs here!