Topological and algebraic structures on the ring of Fermat reals (Q1955875)

The ring of Fermat reals is an extension of the field of real numbers that provides an alternative way to perform infinitesimal analysis (alternative to, say, the usual field of hyperreal numbers of nonstandard analysis). In this paper, the authors study two topologies on the ring of Fermat reals arising from two (pseudo) metrics. They then classify the ideals of the ring of Fermat reals and then end by proving that \(p\)th-roots exist (even though there are nilpotent elements).