A combinatorial problem in infinite groups.
For a finitely generated group, we study the relations between its rank, the maximal rank of its free quotient, called co-rank (inner rank, cut number), and the maximal rank of its free abelian quotient, called the Betti number. We show that any combination of the group's rank, co-rank, and Betti number within obvious constraints is realized for some finitely presented group (for Betti number equal to rank, the group can be chosen torsion-free). In addition, we show that the Betti number is additive...
If is a class of groups, then a group is said to be minimal non -group if all its proper subgroups are in the class , but itself is not an -group. The main result of this note is that if is an integer and if is a minimal non (respectively, )-group, then is a finitely generated perfect group which has no non-trivial finite factor and such that is an infinite simple group; where (respectively, , ) denotes the class of nilpotent (respectively, nilpotent of class at most , locally...
The notion of free group is defined, a relatively wide collection of groups which enable infinite set summation (called commutative -group), is introduced. Commutative -groups are studied from the set-theoretical point of view and from the point of view of free groups. Commutativity of the operator which is a special kind of inverse limit and factorization, is proved. Tensor product is defined, commutativity of direct product (also a free group construction and tensor product) with the special...
The isomorphism between our homology functor and these of Vietoris and Čech is proved. Introductory result on dimension is proved.
The main result of this note is that a finitely generated hyper-(Abelian-by-finite) group is finite-by-nilpotent if and only if every infinite subset contains two distinct elements , such that