A group is small if it has countably many pure n-types for each integer n. It is shown that in a small group, subgroups which are definable with parameters in a finitely generated algebraic closure satisfy local descending chain conditions. An infinite small group has an infinite abelian subgroup, which may not be definable. A nilpotent small group is the central product of a definable divisibl...

A group is small if it has countably many complete n-types over the empty set for each natural number n. More generally, a group G is weakly small if it has countably many complete 1-types over every finite subset of G. We show here that in a weakly small group, subgroups which are definable with parameters lying in a finitely generated algebraic closure satisfy the descending chain conditions ...

The triple factorization of a group $G$ has been studied recently showing that $G=ABA$ for some proper subgroups $A$ and $B$ of $G$, the definition of rank-two geometry and rank-two coset geometry which is closely related to the triple factorization was defined and calculated for abelian groups. In this paper we study two infinite classes of non-abelian finite groups $D_{2n}$ and $PSL(2,2^{n})$...

in this paper we give an elementary argument about the atoms and coatoms of the latticeof all subgroups of a group. it is proved that an abelian group of finite exponent is strongly coatomic.

If A and B are Abelian groups, then Hom(A,B) is also an Abelian group under pointwise addition of functions. In this section we will see how Hom gives rise to classes of functors. Let A denote the category of Abelian groups. A covariant functor T : A → A associates to every Abelian group A an Abelian group T (A), and for every homomorphism f : A → B a homomorphism T (f) : T (A)→ T (B), such tha...

let g be a group. a subset x of g is a set of pairwise noncommuting elements if xy ̸= yx for any two distinct elements x and y in x. if |x| ≥ |y | for any other set of pairwise non-commuting elements y in g, then x is said to be a maximal subset of pairwise non-commuting elements. in this paper we determine the cardinality of a maximal subset of pairwise non-commuting elements in any non-abelian...