A factorisation theory for generalised power series and omnific integers

DOI10.1016/J.AIM.2024.109513MaRDI QIDQ6204522zbMATH OpenOpenAlexFDO

Authors Sonia L'Innocente, V. Mantova

Publication date 28 March 2024

Published in Advances in Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1710.07304

zbMATH Keywords

surreal numberspre-Schreier domainomnific integersvalued ring

Mathematics Subject Classification ID

Commutative rings defined by factorization properties (e.g., atomic, factorial, half-factorial) (13F15) Formal power series rings (13F25) Ordinal and cardinal numbers (03E10) Divisibility and factorizations in commutative rings (13A05)

Abstract: We prove that in every ring of generalised power series with non-positive real exponents and coefficients in a field of characteristic zero, every series admits a factorisation into a bounded number of irreducibles of infinite support and a unique product, up to multiplication by a unit, of factors of finite support. We deduce analogous results for the ring of omnific integers within Conway's surreal numbers, using a suitable notion of infinite product. In turn, we solve Gonshor's conjecture that the omnific integer $omeg{a}^{sqrt2}+omega+1$ is prime. We also exhibit new classes of irreducible and prime generalised power series and omnific integers, generalising previous work of Berarducci and Pitteloud.

Recommendations

• Unique factorization in generalized power series rings
• Factorization in generalized power series
• Algebraic properties of rings of generalized power series
• Factorisation of germ-like series
• Existence of prime elements in rings of generalized power series

Cites work

• scientific article; zbMATH DE number 3136760 (Why is no real title available?)
• scientific article; zbMATH DE number 3957253 (Why is no real title available?)
• scientific article; zbMATH DE number 3521877 (Why is no real title available?)
• scientific article; zbMATH DE number 3796014 (Why is no real title available?)
• scientific article; zbMATH DE number 3214534 (Why is no real title available?)
• scientific article; zbMATH DE number 5066354 (Why is no real title available?)
• scientific article; zbMATH DE number 3252378 (Why is no real title available?)
• Algebraic properties of rings of generalized power series
• Convex polytopes and factorization properties in generalized power series domains
• Divisibility properties in semigroup rings
• Every real closed field has an integer part
• Existence of prime elements in rings of generalized power series
• Factorisation in the ring of exponential polynomials
• Factorisation of germ-like series
• Factorization in generalized power series
• Krull domains of generalized power series
• Mini-workshop: Surreal numbers, surreal analysis, Hahn fields and derivations. Abstracts from the mini-workshop held December 18--23, 2016
• On Ordered Groups
• On a property of pre-schreier domains
• Special Properties of Rings of Generalized Power Series
• Special properties of generalized power series
• The Ascending Chain Condition for Principal Ideals of Rings of Generalized Power Series
• Unique factorization in generalized power series rings

This page was built for publication: A factorisation theory for generalised power series and omnific integers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6204522)