Algebraisch kompakte Faktorgruppen.
G. B. Belyavskaya and G. L. Mullen showed the existence of a complement for a -tuple of orthogonal -ary operations, where , to an -tuple of orthogonal -ary operations. But they proposed no method for complementing. In this article, we give an algorithm for complementing a -tuple of orthogonal -ary operations to an -tuple of orthogonal -ary operations and an algorithm for complementing a -tuple of orthogonal -ary operations to an -tuple of orthogonal -ary operations. Also we find some...
In this paper we describe some algorithms to identify permutable and Sylow-permutable subgroups of finite groups, Dedekind and Iwasawa finite groups, and finite T-groups (groups in which normality is transitive), PT-groups (groups in which permutability is transitive), and PST-groups (groups in which Sylow permutability is transitive). These algorithms have been implemented in a package for the computer algebra system GAP.