The cross number of finite Abelian groups (Q1335256)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The cross number of finite Abelian groups
scientific article

    Statements

    The cross number of finite Abelian groups (English)
    0 references
    0 references
    28 September 1994
    0 references
    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)\).
    0 references
    0 references
    sequences with sum zero
    0 references
    cyclic groups of prime power order
    0 references
    exponent
    0 references
    cross number
    0 references
    cyclic groups
    0 references
    finite abelian \(p\)-group
    0 references

    Identifiers