Ben Fine, Anthony M. Gaglione, Gerhard Rosenberger, Dennis Spellman
February 5, 2016

### Abstract

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 discriminating groups. They also play a role 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${G_{0}}$ which contains a nontrivial abelian subgroup H that is normal in G0${G_{0}}$. For K a field the group PSL(2,K)${\mathrm{PSL}(2,K)}$ is never CSA but is CT if char(K)=2${\operatorname{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)${\mathrm{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 nonabelian CT group. Further if a group G is monolithic with monolith N isomorphic to PSL(2,K)${\mathrm{PSL}(2,K)}$ for a field K of characteristic 2 and G is CT, then G≅N${G\cong N}$.