Showing 1–2 of 2 results for author: Faghihi, A

3-Generator Groups whose Elements Commute with Their Endomorphic Images Are Abelian

Authors: A. Abdollahi, A. Faghihi, A. Mohammadi Hassanabadi

Abstract: A group in which every element commutes with its endomorphic images is called an $E$-group. Our main result is that all 3-generator $E$-groups are abelian. It follows that the minimal number of generators of a finitely generated non-abelian $E$-group is four. A group in which every element commutes with its endomorphic images is called an $E$-group. Our main result is that all 3-generator $E$-groups are abelian. It follows that the minimal number of generators of a finitely generated non-abelian $E$-group is four. △ Less

Submitted 20 September, 2007; originally announced September 2007.

MSC Class: 20D45; 20E36; 16Y30

Minimal Number of Generators and Minimum Order of a Non-Abelian Group whose Elements Commute with Their Endomorphic Images

Authors: Alireza Abdollahi, A. Faghihi, A. Mohammadi Hassanabadi

Abstract: A group in which every element commutes with its endomorphic images is called an $E$-group. If $p$ is a prime number, a $p$-group $G$ which is an $E$-group is called a $pE$-group. Every abelian group is obviously an $E$-group. We prove that every 2-generator $E$-group is abelian and that all 3-generator $E$-groups are nilpotent of class at most 2. It is also proved that every infinite 3-generato… ▽ More A group in which every element commutes with its endomorphic images is called an $E$-group. If $p$ is a prime number, a $p$-group $G$ which is an $E$-group is called a $pE$-group. Every abelian group is obviously an $E$-group. We prove that every 2-generator $E$-group is abelian and that all 3-generator $E$-groups are nilpotent of class at most 2. It is also proved that every infinite 3-generator $E$-group is abelian. We conjecture that every finite 3-generator $E$-group should be abelian. Moreover we show that the minimum order of a non-abelian $pE$-group is $p^8$ for any odd prime number $p$ and this order is $2^7$ for $p=2$. Some of these results are proved for a class wider than the class of $E$-groups. △ Less

Submitted 16 August, 2007; originally announced August 2007.

MSC Class: 20D45; 20E36