On the average number of unitary factors of finite abelian groups
type: Item
instance of: scholarly article
title: On the average number of unitary factors of finite abelian groups
zbMATH Open document ID: 1278.11093
author: Hongquan Liu
published in: Functiones et Approximatio. Commentarii Mathematici
publication date: 2010-10-12T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.facm/1285679141
review text: \textit{E. Cohen} [Acta Arith. 6, 159--173 (1960; Zbl 0113.25305)] considered the monoid \(X\) of isomorphism classes of finite abelian groups with multiplication defined by the direct product. He called \(A\in X\) a unitary factor of \(G\in X\) if, for some \(B\in X\), we have \(AB=G\), and \(A\) and \(B\) are relatively prime, i.e. have no non-trivial common divisor in \(X\). Let \(t(G)\) denote the number of such factors. For example \(t(C(2)\times C(2))=3\) as we have one non-trivial and two trivial decompositions. Let \[ T^*(x) = \sum_{G\in X, |G| \leq x} t(G). \] Cohen has shown an estimate of the form \[ T^*(x) = c_1 x \log x + c_2 x + O(\sqrt{x} \log x). \] \textit{E. Krätzel} [Acta Arith. 51, No. 4, 369--379 (1988; Zbl 0633.10044)] has refined this to \[ T^*(x) = c_1 x \log x + c_2 x + c_3 \sqrt{x} + \Delta^*(x) \] for some \(\Delta^*(x)=O(x^{11/29} \log^2 x)\). For positive integers \(k,n\) let \(t_k(n)\) be such that \(\sum_{n=1}^\infty t_k(n)n^{-s}=\prod_{j=k}^\infty\zeta^{1+\varepsilon(j)}(js)\), where \(\zeta(s)\) is Riemann's zeta function and \(\varepsilon(j)\) equals \(1\) for odd \(j\) and \(0\) for even \(j\). Krätzel's approach was to express \(T^*(x)\) in terms of \(t_3(n)\) and the function \[ D(1,1,2;x) = \sum_{n_1 n_2 n_3^2 \leq 1} 1. \] The function \(D(1,1,2;x)\) is a sum of a simple main term, a ''middle term'' involving some exponential sums, and a remainder of the order \(O(x^{1/4})\). Krätzel's proof shows that if the middle term is \(O(x^{\theta+\varepsilon})\) for some \(\theta\geq 1/4\), then so is \(\Delta^*(x)\). The present author has given an improved upper bound for the middle term obtaining \(\theta = 63/178 < 0.35394\).
reviewed by: Maciej Radziejewski
Mathematics Subject Classification ID: 11N45
Mathematics Subject Classification ID: 11L07
zbMATH DE Number: 5798750
zbMATH Keywords: exponential sums
zbMATH Keywords: abelian groups
MaRDI profile type: Publication
OpenAlex ID: W1975638460
cites work: On the large sieve
cites work: On the average number of direct factors of a finite Abelian group
cites work: On some divisor problems
cites work: Divisor problems of 4 and 3 dimensions
cites work: On the estimates of double exponential sums
cites work: On the Order of ζ(1/2+it)
cites work: On the \(B\) transform of van der Corput
cites work: Zur Anzahl unitärer Faktoren abelscher Gruppen
cites work: Multiple exponential sums with monomials and their applications in number theory
cites work: On the average number of unitary factors of finite abelian groups
cites work: Double exponential sums and some applications
DOI: 10.7169/FACM/1285679141
Recommended article: Zur Anzahl unitärer Faktoren abelscher Gruppen
Recommended article: On the average number of unitary factors of finite abelian groups
Recommended article: Q4320223
Recommended article: On the average number of direct factors of a finite Abelian group
Recommended article: Asymptotic estimates on finite Abelian groups
Recommended article: Q4758866
Recommended article: On the average numer of unitary factors of finite abelian groups. II
Recommended article: On the average number of direct factors of a finite abelian group
description: scientific article; zbMATH DE number 5798750