Loading [MathJax]/extensions/MathZoom.js
This paper investigates the arithmetic of fractional ideals of a purely cubic function field and the infrastructure of the principal ideal class when the field has unit rank one. First, we describe how irreducible polynomials decompose into prime ideals in the maximal order of the field. We go on to compute so-called canonical bases of ideals; such bases are very suitable for computation. We state algorithms for ideal multiplication and, in the case of unit rank one and characteristic at least five,...
We explore the connection between atomicity in Prüfer domains and their corresponding class groups. We observe that a class group of infinite order is necessary for non-Noetherian almost Dedekind and Prüfer domains of finite character to be atomic. We construct a non-Noetherian almost Dedekind domain and exhibit a generating set for the ideal class semigroup.
Mourrain [Mo] characterizes those linear projectors on a finite-dimensional polynomial space that can be extended to an ideal projector, i.e., a projector on polynomials whose kernel is an ideal. This is important in the construction of normal form algorithms for a polynomial ideal. Mourrain's characterization requires the polynomial space to be 'connected to 1', a condition that is implied by D-invariance in case the polynomial space is spanned by monomials. We give examples to show that, for more...
It is well known that an integral domain is a valuation domain if and only if it possesses only one finitary ideal system (Lorenzen -system of finite character). We prove an analogous result for root-closed (cancellative) monoids and apply it to give several new characterizations of Prüfer (multiplication) monoids and integral domains.
The tropical semifield, i.e., the real numbers enhanced by the operations of addition and maximum, serves as a base of tropical mathematics. Addition is an abelian group operation, whereas the maximum defines an idempotent semigroup structure. We address the question of the geometry of idempotent semigroups, in particular, tropical algebraic sets carrying the structure of a commutative idempotent semigroup. We show that commutative idempotent semigroups are contractible, that systems of tropical...
In this paper, we extend some results of D. Dolzan on finite rings to profinite rings, a complete classification of profinite commutative rings with a monothetic group of units is given. We also prove the metrizability of commutative profinite rings with monothetic group of units and without nonzero Boolean ideals. Using a property of Mersenne numbers, we construct a family of power commutative non-isomorphic profinite semiprimitive rings with monothetic group of units.
Cet article est le premier d’une série de trois articles consacrés aux images directes d’isocristaux : ici nous considérons des isocristaux sans structure de Frobenius ; dans le deuxième [Et 6] (resp. le troisième [Et 7]), nous introduirons une structure de Frobenius dans le contexte convergent (resp. surconvergent).Pour un morphisme propre et lisse relevable nous établissons la surconvergence des images directes, grâce à un théorème de changement de base pour un morphisme propre entre espaces rigides...
Currently displaying 1 –
20 of
88