相关论文: A Necessary and Sufficient Condition for Uniquenes…

In this article, we try to explain and unify standard divisibility tests found in various books. We then look at recurring decimals, and list a few of their properties. We show how to compute the number of digits in the recurring part of…

We prove that for every indecomposable ordinal there exists a (transfinitely valued) Euclidean domain whose minimal Euclidean norm is of that order type. Conversely, any such norm must have indecomposable type, and so we completely…

We show that the quotient of any bounded homogeneous domain by a unipotent discrete group of automorphisms is holomorphically separable. Then we give a necessary condition for the quotient to be Stein and prove that in some cases this…

We recast Euclid's proof of the infinitude of prime numbers as a Euclidean Criterion for a domain to have infinitely many atoms. We make connections with Furstenberg's "topological" proof of the infinitude of prime numbers and show that our…

We give an optimal necessary and sufficient condition for the quotient polynomial and remainder in the division algorithm to have positive coefficients.

When the Euclidean algorithm produces a symmetric sequence of quotients, we give explicit formulas for the remainders that allow the analysis of two families of quadratic forms in the remainders.

In this paper, we consider a Class of Hessian quotient equations in Euclidean space. Under some sufficient condition, we obtain an existence result by the standard degree theory based on the a prior estimates for the solutions to the…

In this paper we proved a theorems of existence and uniqueness of solutions of differential equation of second order with fractional derivative in the Kipriyanov sense in lower terms. As a domain of definition of the functions we consider…

We obtain a general sufficient condition on the geometry of possibly singular planar domains that guarantees global uniqueness for any weak solution to the Euler equations on them whose vorticity is bounded and initially constant near the…

The article contains the results of the author's recent investigations of rigidity problems of domains in Euclidean spaces carried out for developing a new approach to the classical problem of the unique determination of bounded closed…

The Euclidean division of two formal series in one variable produces a sequence of series that we obtain explicitly, remarking that the case where one of the two initial series is 1 is sufficiently generic. As an application, we define a…

Consider the representation of a rational number in the form, associated with "centered" Euclidean algorithm. We prove a new formula for the limit distribution function for sequences of rationals with bounded sum of partial quotients.

We show that if a flat group scheme acts properly, with finite stabilizers, on an algebraic space, then a quotient exists as a separated algebraic space. More generally we show any flat groupid for which the family of stabilizers is finite…

This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm for Euclidean rings and Unique Factorization Domains that…

The behavior of a class of mappings of a domain of Euclidean space is studied. It is established that the indicated class is equicontinuous both at the inner and at the boundary points of the domain if the mappings contained in it satisfy…

We study the quantization of certain classical field theories using reflection positivity. We give elementary conditions that ensure the resulting vacuum state is cyclic for products of quantum field operators, localized in a bounded…

Exceptional domains are domains on which there exists a positive harmonic function, zero on the boundary and such that the normal derivative on the boundary is constant. Recent results classify exceptional domains as belonging to either a…

Let D be a Euclidean domain, with fraction field K. Let R(D) be the subring of K generated by the reciprocals of the nonzero elements of D. The main theorem states that if R(D) is not equal to K, then R(D) is a rank 1 discrete valuation…

We give an affirmative answer to a 1976 question of M. Rosen: every abelian group is isomorphic to the class group of an elliptic Dedekind domain R. We can choose R to be the integral closure of a PID in a separable quadratic field…

A necessary and sufficient condition for an element of an algebra (in the sense of Universal Algebra) to be in the dominion of a subalgebra is given, in terms of transferable sets. This criterion is then used to formulate a more wieldy…