‎let $g$ be a group and $a=aut(g)$ be the group of automorphisms of‎ ‎$g$‎. ‎then the element $[g,alpha]=g^{-1}alpha(g)$ is an‎ ‎autocommutator of $gin g$ and $alphain a$‎. ‎also‎, ‎the‎ autocommutator subgroup of g is defined to be‎ ‎$k(g)=langle[g,alpha]|gin g‎, ‎alphain arangle$‎, ‎which is a‎ ‎characteristic subgroup of $g$ containing the derived subgroup‎ ‎$g'$ of $g$‎. ‎a group is defined...

let $g={rm sl}_2(p^f)$ be a special linear group and $p$ be a sylow‎ ‎$2$-subgroup of $g$‎, ‎where $p$ is a prime and $f$ is a positive‎ ‎integer such that $p^f>3$‎. ‎by $n_g(p)$ we denote the normalizer of‎ ‎$p$ in $g$‎. ‎in this paper‎, ‎we show that $n_g(p)$ is nilpotent (or‎ ‎$2$-nilpotent‎, ‎or supersolvable) if and only if $p^{2f}equiv‎ ‎1,({rm mod},16)$‎.

in this paper we find systems of subgroups of a finite‎ ‎group‎, ‎which $bbb p$-subnormality guarantees supersolvability‎ ‎of the whole group‎.

‎In the classical group theory there is‎ an open question‎: ‎Is every torsion free n-Engel group (for n ≥ 4)‎, nilpotent?‎. ‎To answer the question‎, ‎Traustason‎ [11] showed that with some additional conditions all‎ ‎4-Engel groups are locally nilpotent‎. ‎Here‎, ‎we gave some partial‎ answer to this question on Engel fuzzy subgroups‎. ‎We show that if μ is a normal 4-Engel fuzzy‎ subgroup of ...