residueField

P135626
predicate

Indicates that one field is the residue (quotient) field obtained from another field by modding out its maximal ideal.

Sample triples (1)

Subject Object
p-adic numbers finite field F_p