Abstract:
By applying the computer program, which is created by authors, we obtain the exact representation of normalizers and centralizers of all nontrivial subgroups in non-Abelian groups under the condition. All results are represented either in terms of concrete realization of the corresponding group or in terms of it's generators. We consider the application of our program to the verification of T-normal condition.