Chinese Journal of Mathematics

Volume 2013 (2013), Article ID 871072, 2 pages

http://dx.doi.org/10.1155/2013/871072

## A Characterization of 4-Centralizer Groups

Department of Mathematics, North-Eastern Hill University, Permanent Campus, Shillong, Meghalaya 793022, India

Received 23 August 2013; Accepted 9 October 2013

Academic Editors: M. Coppens, W. Shi, and Z. Wang

Copyright © 2013 Jutirekha Dutta. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

A finite or infinite group is called an -centralizer group if it has numbers of distinct centralizers. In this paper, we prove that a finite or infinite group is a 4-centralizer group if and only if is isomorphic to . This extends a result of Belcastro and Sherman.

#### 1. Introduction

Given a finite or infinite group and , the set is called the *centralizer* of in . The set of all centralizers in is denoted by . A group is called an *-centralizer group* if . It is easy to see that one-centralizer groups are precisely the abelian groups. Characterization of finite groups in terms of the number of distinct centralizers has been an interesting topic of research in recent years (see [1–8]). In [7], Belcastro and Sherman have proved the nonexistence of finite -centralizer group for . However, their proof also shows the nonexistence of infinite -centralizer groups. Belcastro and Sherman [7] also characterize all finite 4-centralizer groups. More precisely, they proved that a finite group is a 4-centralizer group if and only if is isomorphic to , where is the center of and is the cyclic group having two elements. In this paper, we extend the same characterization for infinite groups using elementary techniques of group theory.

Throughout this paper will denote a finite or infinite group. Recall that for any group , its center is the intersection of all centralizers in . Also is the union of all the centralizers of noncentral elements of . It may be mentioned here that a finite or infinite group can not be written as union of two of its proper subgroups. These facts have important role in proving the main theorem of this paper.

#### 2. Main Result

In this section, we proof the following main theorem of this paper.

Theorem 1. *A finite or infinite group is a 4-centralizer group if and only if .*

*Proof. *Let be a 4-centralizer finite or infinite group and , where , , and are noncentral elements of . Then , since is the union of its proper centralizers.

Let us consider the centralizer . Then will be one of , , , or .

If , then . This implies that for some . Therefore, we get , a contradiction. If , then gives
Therefore, . Hence, , a contradiction, as a group can not be written as union of two of its proper subgroups. Similarly, it can be seen that .

Thus, and so . In a similar way it can be seen that and so .

We will now show that . Clearly, . Let . Then
Therefore, and so . Thus,
In a similar way, it can be seen that , and .

Let us consider the right cosets , , , and , where . As is a noncentral element of it follows that , , and .

If , then we have for some . Therefore, we get , a contradiction. Again, if , then which gives , a contradiction. Similarly, it can be seen that . Thus the cosets , , , and are mutually disjoint. Clearly, .

Let then . Suppose that then without any loss of generality we may assume that . Let us consider the centralizer . Then is one of , , , or .*Case 1 . * Let . In this case, and so which gives . Therefore, , a contradiction.

*Case 2*Let . In this case, which gives . Therefore, , a contradiction.

*.**Case 3*Let . In this case, which gives . Therefore, , a contradiction.

*.*Hence, , since is a 4-centralizer group. Now, implies that which gives since . Thus, . Also, implies that . Hence, and so for some . In other words, . Therefore, . Hence, . This shows that . Finally, the fact that is nonabelian gives .

Conversely, let . Therefore, there are four right cosets of in , namely, , , , and , where , , and are distinct noncentral elements of . So, for any element , either or or or . If , then . If , then for some , therefore . Similarly, gives and gives . Hence, has at most four centralizers, namely, , , , and . Since we have . This completes the proof.

We conclude this paper by the following remark. In [7], Belcastro and Sherman proved Theorem 1 for finite groups only. Note that their proof can not be extended to infinite groups as they have used the finiteness of the group extensively. Belcastro and Sherman [7] have also obtained the structure of 5-centralizer finite groups as follows.

*A finite group ** is a 5-centralizer group if and only if ** or **, where ** is the cyclic group having three elements and ** the symmetric group on three symbols.*

Note that the *if part* of the above result also holds for infinite groups. The same proof of Belcastro and Sherman [7] holds for infinite groups. However, the proof of the *only if part* of the above result is not known for infinite groups. It may be interesting to study the infinite -centralizer groups for .

#### Acknowledgments

This paper is a part of the author’s M. Phil. thesis done under the supervision of Professor A. K. Das. The author would like to thank him for his helpful suggestions. The author is grateful to all the referees for their valuable comments and suggestions.

#### References

- A. Abdollahi, S. M. J. Amiri, and A. M. Hassanabadi, “Groups with specific number of centralizers,”
*Houston Journal of Mathematics*, vol. 33, no. 1, pp. 43–57, 2007. View at Google Scholar · View at Scopus - A. R. Ashrafi, “On finite groups with a given number of centralizers,”
*Algebra Colloquium*, vol. 7, no. 2, pp. 139–146, 2000. View at Google Scholar · View at Scopus - A. R. Ashrafi, “Counting the centralizers of some finite groups,”
*The Korean Journal of Computational & Applied Mathematics*, vol. 7, no. 1, pp. 115–124, 2000. View at Google Scholar - A. R. Ashrafi and B. Taeri, “On finite groups with a certain number of centralizers,”
*Journal of Applied Mathematics and Computing*, vol. 17, no. 1-2, pp. 217–227, 2005. View at Google Scholar · View at Scopus - A. R. Ashrafi and B. Taeri, “On finite groups with exactly seven element centralizers,”
*Journal of Applied Mathematics and Computing*, vol. 22, no. 1-2, pp. 403–410, 2006. View at Google Scholar · View at Scopus - S. J. Baishya, “On finite groups with specific number of centralizers,”
*International Electronic Journal of Algebra*, vol. 13, pp. 53–62, 2013. View at Google Scholar - S. M. Belcastro and G. J. Sherman, “Counting centralizers in finite groups,”
*Mathematics Magazine*, vol. 67, no. 5, pp. 366–374, 1994. View at Google Scholar - M. Zarrin, “On element-centralizers in finite groups,”
*Archiv der Mathematik*, vol. 93, no. 6, pp. 497–503, 2009. View at Publisher · View at Google Scholar · View at Scopus