Local Rings: Arithmetic

• Arithmetic operations
• Valuation of an element
• Norm and trace of an element
• Logarithm, exponential of an element
• Square root, n-th root of an element
• Minimal polynomial of an element over the p-adic subring or field
• Image of an element under a power of the Frobenius automorphism
• Linear algebra over local rings and fields