Displaying similar documents to “Sylow 2-subgroups of solvable Q-groups.”

Normal Subgroup of Product of Groups

Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama (2011)

Formalized Mathematics

Similarity:

In [6] it was formalized that the direct product of a family of groups gives a new group. In this article, we formalize that for all j ∈ I, the group G = Πi∈IGi has a normal subgroup isomorphic to Gj. Moreover, we show some relations between a family of groups and its direct product.

Properties of subgroups not containing their centralizers

Lemnouar Noui (2009)

Annales mathématiques Blaise Pascal

Similarity:

In this paper, we give a generalization of Baer Theorem on the injective property of divisible abelian groups. As consequences of the obtained result we find a sufficient condition for a group G to express as semi-direct product of a divisible subgroup D and some subgroup H . We also apply the main Theorem to the p -groups with center of index p 2 , for some prime p . For these groups we compute N c ( G ) the number of conjugacy classes and N a the number of abelian maximal subgroups and N n a the number...