Assertion: trace | /r/CapableOf | behave in towers of fields
Facets:
value: well
type: DEGREE
Source sentences:
text: Additionally, trace behaves well in towers of fields: if M is a finite extension of L, then the trace from M to K is just the composition of the trace from M to L with the trace from L to K, i.e.