For a finite p-group P the following three conditions are equivalent: (a) to have a (proper) partition, that is, to be the union of some proper subgroups with trivial pairwise intersections; (b) to have a proper subgroup outside of which all elements have order p; (c) to be a semidirect product P = P1o ⟨φ⟩ where P1 is a subgroup of index p and φ is a splitting automorphism of order p of P1. It ...

Let G = (X) and H be finite groups and let r : X ~ H be a map from the generating set X of G into H. We describe a simple approach for deciding whether or not r determines a group homomorphism from G to H, and if it does, for computing the kernel of r If O and H are permutation groups the algorithm is a simple application of standard algorithms for bases and strong generating sets. If G and H a...

the non-commuting graph $nabla(g)$ of a non-abelian group $g$ is defined as follows: its vertex set is $g-z(g)$ and two distinct vertices $x$ and $y$ are joined by an edge if and only if the commutator of $x$ and $y$ is not the identity. in this paper we 'll prove that if $g$ is a finite group with $nabla(g)congnabla(bs_{n})$, then $g cong bs_{n}$, where $bs_{n}$ is the symmetric group of degre...