The cross number of finite Abelian groups
type: Item
instance of: scholarly article
title: The cross number of finite Abelian groups
zbMATH Open document ID: 0814.20033
author: Alfred Geroldinger
published in: Journal of Number Theory
publication date: 1994-09-28T00:00:00Z
review text: Let \(G\) be a finite abelian group, \(G = C_{n_ 1} \oplus \cdots \oplus C_{n_ r}\) its direct decomposition into cyclic groups of prime power order, and \(\exp(G)\) the exponent of \(G\). Let \({\mathcal U}(G)\) denote the set of sequences \(S\) in \(G\) with sum zero, for which no proper subsequence has sum zero. For a sequence \(S = (g_ 1,\dots,g_ m)\) of elements in \(G\) we define its cross number \(k(S)\) by \(k(S) = \sum^ m_{i = 1} {1\over \text{ord}(g_ i)}\) and we set \(K(G) = \exp(G)\max\{k(S)\mid S\in {\mathcal U}(G)\}\) and \(K^*(G) = 1+ \exp(G) \sum^ r_{i = 1} {n_ i - 1\over n_ i}\). \(K(G)\) is called the cross number of \(G\). It is easy to see that \(K(G) \geq K^*(G)\). U. Krause and C. Zahlten conjectured that equality holds for all cyclic groups. In this paper, the author concentrates on \(p\)-groups and obtains the following theorem: \(K(G) = K^*(G)\) for any finite abelian \(p\)-group \(G\). The general case remains open. In particular no finite abelian group \(G\) with \(K(G) > K^*(G)\) is known. In order to prove the theorem, the author introduces a variant of the cross number which is easier to handle. Let \(G = \bigoplus^ r_{i = 1} C_{n_ i}\) be a finite abelian group with prime powers \(n_ 1,\dots,n_ r\) and let \(u(G)\) denote the set of sequences \(S\) in \(G\), for which no subsequence \(S' \subseteq S\) has sum zero. Set \(k(G) = \max\{k(S)\mid S \in u(G)\}\) and \(k^*(G) = \sum^ r_{i = 1} {n_ i - 1\over n_ i}\). The proof of the theorem is reduced to showing that if \(G\) is a finite abelian \(p\)-group, then \(k(G) = k^*(G)\).
reviewed by: Yongcai Ren
Mathematics Subject Classification ID: 20K01
Mathematics Subject Classification ID: 20D60
zbMATH DE Number: 645294
zbMATH Keywords: sequences with sum zero
zbMATH Keywords: cyclic groups of prime power order
zbMATH Keywords: exponent
zbMATH Keywords: cross number
zbMATH Keywords: cyclic groups
zbMATH Keywords: finite abelian \(p\)-group
MaRDI profile type: Publication
full work available at URL: jnth.1994.1063
OpenAlex ID: W2041111052
DOI: 10.1006/JNTH.1994.1063
description: scientific article; zbMATH DE number 645294