A group G is called an FC-group if the conjugacy class of every element is finite. G is called a minimal non-FC-group if G is not an FC-group, but every proper subgroup of G is an FC-group. The first part of this thesis is on minimal non-FC-groups and their finitary permutational representations. Belyaev proved in 1998 that, every perfect locally finite minimal non-FC-group has non-trivial finitary permutational representation. In Chapter 3, we write the proof of Belyaev in detail. Recall that a group G is called quasi-simple if G is perfect and G/Z(G) is simple. The second part of this thesis is on finite quasi-simple groups and their coprime automorphisms. In Chapter 4, the result of Parker and Quick is written in detail: Namely / if Q is a quasi-simple group and A is a non-trivial group of coprime automorphisms of Q satisfying |Q: C_{Q}(A)| &lt / n then |Q| &lt / n3, that is |Q| is bounded by a function of n.

For a finite group G we study certain rings called k-S-rings, one for each non-negative integer k, where the 1-S-ring is the centralizer ring of G. These rings have the property that the (k+1)-S-ring determines the k-S-ring. We show that the 4-S-ring determines G when G is any group with finite classes. We show that the 3-S-ring determines G for any finite group G, thus giving an answer to a question of Brauer. We show the 2-characters defined by Frobenius and the extended 2-characters of Ken Johnson are characters of representations of the 2-S-ring of G. We find the character table for the 2-S-ring of the dihedral groups of order 2n, n odd, and classify groups with commutative 3-S-ring.