On CT and CSA Groups and Related Ideas
A group is G commutative transitive or CT if commuting is transitive on nontrivial elements. A group G is CSA or conjugately separated abelian if maximal abelian subgroups are malnormal. These concepts have played a prominent role in the studies of fully residually free groups, limit groups and dicriminating groups. They were especially important in the solution to the Tarski problems. CSA always implies CT however the class of CSA groups is a proper subclass of the class of CT groups. For limit groups and finitely generated elementary free groups they are equivalent. In this paper we examine the relationship between the two concepts. In particular we show that a finite CSA group must be abelian. If G is CT then we prove that G is not CSA if and only if G contains a nonabelian subgroup G0 which contains a nontrivial abelian subgroup H that is normal in G0. For K a field the group PSL(2,K) is never CSA but is CT if char(K)=2 and for fields K of characteristic 0 where −1 is not a sum of two squares in K. For characteristic p, for an odd prime p, PSL(2,K) is never CT. Infinite CT groups G with a composition series and having no nontrivial normal abelian subgroup must be monolithic with monolith a simple nonabalian CT group. Further if a group G is monolithic with monolith N isomorphic to PSL(2,K) for a field K of characteristic 2 and G is CT then G≅N.
