We show that ω-categorical rings with NIP are nilpotent-by-finite. We prove that an ω-categorical group with NIP and fsg is nilpotent-by-finite. We also notice that an ω-categorical group with at least one strongly regular type is abelian. Moreover, we get that each ω-categorical, characteristically simple p-group with NIP has an infinite, definable abelian subgroup. Assuming additionally the e...

let $g$ be a non-abelian group. the non-commuting graph $gamma_g$ of $g$ is defined as the graph whose vertex set is the non-central elements of $g$ and two vertices are joined if and only if they do not commute.in this paper we study some properties of $gamma_g$ and introduce $n$-regular $ac$-groups. also we then obtain a formula for szeged index of $gamma_g$ in terms of $n$, $|z(g)|$ and $|g|...

let g be a group. a subset x of g is a set of pairwise noncommuting elements if xy ̸= yx for any two distinct elements x and y in x. if |x| ≥ |y | for any other set of pairwise non-commuting elements y in g, then x is said to be a maximal subset of pairwise non-commuting elements. in this paper we determine the cardinality of a maximal subset of pairwise non-commuting elements in any non-abelian...

Let $G$ be a non-abelian finite group. In this paper, we prove that $Gamma(G)$ is $K_4$-free if and only if $G cong A times P$, where $A$ is an abelian group, $P$ is a $2$-group and $G/Z(G) cong mathbb{ Z}_2 times mathbb{Z}_2$. Also, we show that $Gamma(G)$ is $K_{1,3}$-free if and only if $G cong {mathbb{S}}_3,~D_8$ or $Q_8$.

in this paper we introduce a new definition of the first non-abelian cohomology of topological groups.  we relate the cohomology of a normal subgroup $n$ of a topological group $g$ and the quotient $g/n$ to the cohomology of $g$. we get the inflation-restriction exact sequence. also, we obtain a seven-term exact cohomology sequence up to dimension 2. we give an interpretation of the first non-a...

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

An infinite group with supersimple theory has a finite series of definable groups whose factors are infinite and either virtually-FC or virtuallysimple modulo a finite FC-centre. We deduce that a group which is typedefinable in a supersimple theory has a finite series of relatively definable groups whose factors are either abelian or simple groups. In this decomposition, the non-abelian simple ...