in this paper we give a characterization for all semigroups whose square is a group. moreover, we axiomatize such semigroups and study some relations between the class of these semigroups and grouplikes,introduced by the author. also, we observe that this paper characterizes and axiomatizes a class of homogroups (semigroups containing an ideal subgroup).  finally, several equivalent conditions ...

in this paper‎, ‎we give a complete proof of theorem 4.1(ii) and a new‎ ‎elementary proof of theorem 4.1(i) in [li and shen‎, ‎on the‎ ‎intersection of the normalizers of the derived subgroups of all‎ ‎subgroups of a finite group‎, ‎ j‎. ‎algebra, ‎323  (2010) 1349--1357]‎. ‎in addition‎, ‎we also give a generalization of baer's theorem‎.

‎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‎.