skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: On the arithmetic of polynomial semidomains
Abstract A subsetSof an integral domainRis called a semidomain provided that the pairs ( S , + ) and ( S , ) are semigroups with identities. The study of factorizations in integral domains was initiated by Anderson, Anderson, and Zafrullah in 1990, and this area has been systematically investigated since then. In this paper, we study the divisibility and arithmetic of factorizations in the more general context of semidomains. We are specially concerned with the ascent of the most standard divisibility and factorization properties from a semidomain to its semidomain of (Laurent) polynomials. As in the case of integral domains, here we prove that the properties of satisfying the ascending chain condition on principal ideals, having bounded factorizations, and having finite factorizations ascend in the class of semidomains. We also consider the ascent of the property of being atomic and that of having unique factorization (none of them ascends in general). Throughout the paper, we provide several examples aiming to shed some light upon the arithmetic of factorizations of semidomains.  more » « less
Award ID(s):
1903069 2213323
PAR ID:
10522163
Author(s) / Creator(s):
;
Publisher / Repository:
World Scientific Publishing
Date Published:
Journal Name:
Forum Mathematicum
Volume:
35
Issue:
5
ISSN:
0933-7741
Page Range / eLocation ID:
1179 to 1197
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract Let G ( k ) {G(k)}denote the least numbershaving the property that everysufficiently large natural number is the sum of at mostspositive integralk-th powers.Then for all k {k\in\mathbb{N}}, one has G ( k ) k ( log k + 4.20032 ) . G(k)\leqslant\lceil k(\log k+4.20032)\rceil. Our new methods improve on all bounds available hitherto when k 14 {k\geqslant 14}. 
    more » « less
  2. Abstract LetXbe acompact orientable non-Haken 3-manifold modeled on the Thurston geometry Nil {\operatorname{Nil}}. We show that the diffeomorphism group Diff ( X ) {\operatorname{Diff}(X)}deformation retracts to the isometry group Isom ( X ) {\operatorname{Isom}(X)}. Combining this with earlier work by many authors, this completes the determination the homotopy type of Diff ( X ) {\operatorname{Diff}(X)}for any compact, orientable, prime 3-manifoldX. 
    more » « less
  3. Abstract A conjecture of Erdős states that, for any large primeq, every reduced residue class ( mod q ) {(\operatorname{mod}q)}can be represented as a product p 1 p 2 {p_{1}p_{2}}of two primes p 1 , p 2 q {p_{1},p_{2}\leq q}. We establish a ternary version of this conjecture, showing that, for any sufficiently large cube-free integerq, every reduced residue class ( mod q ) {(\operatorname{mod}q)}can be written as p 1 p 2 p 3 {p_{1}p_{2}p_{3}}with p 1 , p 2 , p 3 q {p_{1},p_{2},p_{3}\leq q}primes. We also show that, for any ε > 0 {\varepsilon>0}and any sufficiently large integerq, at least ( 2 3 - ε ) φ ( q ) {(\frac{2}{3}-\varepsilon)\varphi(q)}reduced residue classes ( mod q ) {(\operatorname{mod}q)}can be represented as a product p 1 p 2 {p_{1}p_{2}}of two primes p 1 , p 2 q {p_{1},p_{2}\leq q}.The problems naturally reduce to studying character sums. The main innovation in the paper is the establishment of a multiplicative dense model theorem for character sums over primes in the spirit of the transference principle. In order to deal with possible local obstructions we establish bounds for the logarithmic density of primes in certain unions of cosets of subgroups of q × {\mathbb{Z}_{q}^{\times}}of small index and study in detail the exceptional case that there exists a quadratic character ψ ( mod q ) {\psi~{}(\operatorname{mod}\,q)}such that ψ ( p ) = - 1 {\psi(p)=-1}for very many primes p q {p\leq q}. 
    more » « less
  4. Abstract Assuming the Riemann Hypothesis, we study negative moments of the Riemann zeta-function and obtain asymptotic formulas in certain ranges of the shift in ζ ( s ) {\zeta(s)}. For example, integrating | ζ ( 1 2 + α + i t ) | - 2 k {|\zeta(\frac{1}{2}+\alpha+it)|^{-2k}}with respect totfromTto 2 T {2T}, we obtain an asymptotic formula when the shift α is roughly bigger than 1 log T {\frac{1}{\log T}}and k < 1 2 {k<\frac{1}{2}}. We also obtain non-trivial upper bounds for much smaller shifts, as long as log 1 α log log T {\log\frac{1}{\alpha}\ll\log\log T}. This provides partial progress towards a conjecture of Gonek on negative moments of the Riemann zeta-function, and settles the conjecture in certain ranges. As an application, we also obtain an upper bound for the average of the generalized Möbius function. 
    more » « less
  5. Abstract We extend the Calderón–Zygmund theory for nonlocal equations tostrongly coupled system of linear nonlocal equations A s u = f {\mathcal{L}^{s}_{A}u=f}, where the operator A s {\mathcal{L}^{s}_{A}}is formally given by A s u = n A ( x , y ) | x - y | n + 2 s ( x - y ) ( x - y ) | x - y | 2 ( u ( x ) - u ( y ) ) 𝑑 y . \mathcal{L}^{s}_{A}u=\int_{\mathbb{R}^{n}}\frac{A(x,y)}{|x-y|^{n+2s}}\frac{(x-%y)\otimes(x-y)}{|x-y|^{2}}(u(x)-u(y))\,dy. For 0 < s < 1 {0<1}and A : n × n {A:\mathbb{R}^{n}\times\mathbb{R}^{n}\to\mathbb{R}}taken to be symmetric and serving asa variable coefficient for the operator, the system under consideration is the fractional version of the classical Navier–Lamé linearized elasticity system. The study of the coupled system of nonlocal equations is motivated by its appearance in nonlocal mechanics, primarily in peridynamics. Our regularity result states that if A ( , y ) {A(\,\cdot\,,y)}is uniformly Holder continuous and inf x n A ( x , x ) > 0 {\inf_{x\in\mathbb{R}^{n}}A(x,x)>0}, then for f L loc p {f\in L^{p}_{\rm loc}}, for p 2 {p\geq 2}, the solution vector u H loc 2 s - δ , p {u\in H^{2s-\delta,p}_{\rm loc}}for some δ ( 0 , s ) {\delta\in(0,s)}. 
    more » « less