Characteristic of rings. Prime fields

DOI10.1515/FORMA-2015-0027zbMath1334.13003OpenAlexW2326165709MaRDI QIDQ271903

Artur Korniłowicz, Christoph Schwarzweller

Publication date: 20 April 2016

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2015-0027

zbMATH Keywords

commutative algebracharacteristic of ringsprime field

Mathematics Subject Classification ID

Polynomials in general fields (irreducibility, etc.) (12E05) Mechanization of proofs and logical operations (03B35) Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35)

Related Items (3)

Quadratic extensions ⋮ Formally real fields ⋮ AIM loops and the AIM conjecture

Cites Work

• Gaussian integers
• The first isomorphism theorem and other properties of rings
• Semantics of MML Query - Ordering
• Set of Points on Elliptic Curve in Projective Coordinates
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Characteristic of rings. Prime fields