On the -conjecture
Motivated by the paper by H. Herrlich, E. Tachtsis (2017) we investigate in ZFC the following compactness question: for which uncountable cardinals , an arbitrary nonempty system of homogeneous -linear equations is nontrivially solvable in provided that each of its subsystems of cardinality less than is nontrivially solvable in ?
1. Introduction. The aim of this paper is to supply a still better result for the problem considered in [2]. Let A(x) denote the number of distinct abelian groups (up to isomorphism) of orders not exceeding x. We shall prove Theorem 1. For any ε > 0, , where C₁, C₂ and C₃ are constants given on page 261 of [2]. Note that 50/199=0.25125..., thus improving our previous exponent 40/159=0.25157... obtained in [2]. To prove Theorem 1, we shall proceed along the line of approach presented in [2]....
We show that a finite nonabelian characteristically simple group satisfies if and only if , where is the number of isomorphism classes of derived subgroups of and is the set of prime divisors of the group . Also, we give a negative answer to a question raised in M. Zarrin (2014).