We investigate properties of coset topologies on commutative domains with an identity, in particular, the 𝓢-coprime topologies defined by Marko and Porubský (2012) and akin to the topology defined by Furstenberg (1955) in his proof of the infinitude of rational primes. We extend results about the infinitude of prime or maximal ideals related to the Dirichlet theorem on the infinitude of primes from Knopfmacher and Porubský (1997), and correct some results from that paper. Then we determine cluster points for the set of primes and sets of primes appearing in arithmetic progressions in 𝓢-coprime topologies on ℤ. Finally, we give a new proof for the infinitude of prime ideals in number fields.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In the earlier paper [Proc. Amer. Math. Soc. 135 (2007)], we studied solutions g: ℕ → ℂ to convolution equations of the form $a_{d}∗g^{∗d} + a_{d-1}∗g^{∗(d-1)} + ⋯ + a₁∗g + a₀ = 0$, where $a₀,...,a_{d}: ℕ → ℂ$ are given arithmetic functions associated with Dirichlet series which converge on some right half plane, and also g is required to be such a function. In this article, we extend our previous results to multidimensional general Dirichlet series of the form $∑_{x∈X} f(x)e^{-sx}$ ($s ∈ ℂ^{k}$), where $X ⊆ [0,∞)^{k}$ is an additive subsemigroup. If X is discrete and a certain solvability criterion is satisfied, we determine solutions by an elementary recursive approach, adapting an idea of Fečkan [Proc. Amer. Math. Soc. 136 (2008)]. The solution of the general case leads us to a more comprehensive question: Let X be an additive subsemigroup of a pointed, closed convex cone $C ⊆ ℝ^{k}$. Can we find a complex Radon measure on X whose Laplace transform satisfies a given polynomial equation whose coefficients are Laplace transforms of such measures?