An extension for Hajós' theorem (Q1192615): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-4049(92)90051-g / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2034819683 / rank | |||
Normal rank |
Latest revision as of 09:48, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An extension for Hajós' theorem |
scientific article |
Statements
An extension for Hajós' theorem (English)
0 references
27 September 1992
0 references
\textit{G. Hajós}' theorem asserts that if a finite abelian group is expressed as a direct product of cyclic subsets of prime cardinality, then at least one of the factors must be a subgroup [see Math. Z. 47, 427-467 (1941; Zbl 0025.25401)]. \textit{A. D. Sands} proved that in a factorization of a finite cyclic group by subsets of cardinalities that are prime powers at least one of the factors is periodic. [Proc. Colloq. Abelian Groups, 139-146 (1964; Zbl 0132.271)]. In the reviewed paper the authors prove the following Theorem 5: Let \(G\) be a finite abelian group and let \(R\) be a subset of the prime divisors of \(|G|\). Suppose that the \(r\)-components of \(G\) are cyclic for each \(r \in R\). If \(G = A_ 1\cdots A_ n\) is a normed factorization of \(G\), where for each \(i\), \(1 \leq i\leq n\), either \(A_ i\) is a pseudocyclic subset and hence of prime order or \(|A_i|\) is a power of one of the primes \(r \in R\), then one of the factors \(A_ i\) is periodic. The authors also show that pseudocyclicity is a generalization of cyclicity, and that if a normed subset of prime cardinality of \(G\) is periodic, then it is a subgroup. Hence, the theorem is a common generalization of Hajós' and Sands' theorem.
0 references
finite abelian group
0 references
direct product of cyclic subsets
0 references
finite cyclic group
0 references
periodic
0 references
normed factorization
0 references
pseudocyclic subset
0 references
normed subset
0 references
0 references