Related papers: Algebraic elements over the ring of power series

In this article, the ring of polynomials is studied in a systematic way through the theory of monoid rings. As a consequence, this study provides natural and canonical approaches in order to find easy and rigorous proofs and methods for…

We deal with the algebraicity of an iterated Puiseux series in several variables in terms of the properties of its coefficients. Our aim is to generalize to several variables the results from [HM15]. We show that the algebraicity of such a…

Given any number field, we prove that there exist arbitrarily shaped constellations consisting of pairwise non-associate prime elements of the ring of integers. This result extends the celebrated Green-Tao theorem on arithmetic progressions…

Let D be a division ring. We say that D is left algebraic over a (not necessarily central) subfield K of D if every x in D satisfies a polynomial equation x^n + a_{n-1}x^{n-1}+...+a_0=0 with a_0,...,a_{n-1} in K. We show that if D is a…

We show that every affine or projective algebraic variety defined over the field of real or complex numbers is homeomorphic to a variety defined over the field of algebraic numbers. We construct such a homeomorphism by choosing a small…

We extend and generalize the results of Scheiderer (2006) on the representation of polynomials nonnegative on two-dimensional basic closed semialgebraic sets. Our extension covers some situations where the defining polynomials do not…

Proofs of the fundamental theorem of algebra can be divided up into three groups according to the techniques involved: proofs that rely on real or complex analysis, algebraic proofs, and topological proofs. Algebraic proofs make use of the…

Let F be a finite field of characteristic 2 and h be the element x^3+y^3+xyz of F[[x,y,z]]. In an earlier paper we made a precise conjecture as to the values of the colengths of the ideals (x^q,y^q,z^q,h^j) for q a power of 2. We also…

Let $K$ be a finite extension of the field $\mathbb{Q}_p$ of $p$-adic numbers and $\O$ be its integral ring. The convergent power series with coefficients in $\O$ are studied as dynamical systems on $\O$. A minimal decomposition theorem for…

We develop basic notions and methods of algebraic geometry over the algebraic objects called hyperrings. Roughly speaking, hyperrings generalize rings in such a way that an addition is `multi-valued'. This paper largely consisits of two…

Algebraic hyperstructures represent a natural extension of classical algebraic structures. In a classical algebraic structure, the composition of two elements is an element, while in an algebraic hyperstructure, the composition of two…

Let $\mathbb{F}_{q^n}$ be the extension of the field $\mathbb{F}_q$ of degree n, where $q$ is power of prime $p$, i.e $q=p^k$, where k is a positive integer. In this paper, we provide sufficient condition for the existence of a primitive…

Regular groups and fields are common generalizations of minimal and quasi-minimal groups and fields, so the conjectures that minimal or quasi-minimal fields are algebraically closed have their common generalization to the conjecture that…

We develop an elementary theory of partially additive rings as a foundation of ${\mathbb F}_1$-geometry. Our approach is so concrete that an analog of classical algebraic geometry is established very straightforwardly. As applications, (1)…

Let $\bar{\Kset}_f$ denote the commutative unital ring of Colombeau's full generalized numbers. This ring can be endowed with an ultra-metric in such a way that it becomes a topological ring. There are many interesting question about…

We give a new proof of Fatou's theorem: {\em if an algebraic function has a power series expansion with bounded integer coefficients, then it must be a rational function.} This result is applied to show that for any non--trivial completely…

We prove the existence of an effective universal upper bound for the order of any integral periodic orbit of any integral algebraic dynamical system in a fixed ambient space. Using this, we demonstrate the decidability of periodicity in…

We consider formal power series $f(z) = \omega z + a_2z^2 + \ldots \ (\omega \neq 0)$, with coefficients in a field of characteristic $0$. These form a group under the operation of composition (= substitution). We prove (Theorem 1) that…

We have constructed a Heisenberg-type algebra generated by the Hamiltonian, the step operators and an auxiliar operator. This algebra describes quantum systems having eigenvalues of the Hamiltonian depending on the eigenvalues of the two…

We know that for a finite field $F$, every function on $F$ can be given by a polynomial with coefficients in $F$. What about the converse? i.e. if $R$ is a ring (not necessarily commutative or with unity) such that every function on $R$ can…