The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Subgroup separability and conjugacy separability of certain HNN extensions.”

Sylow 2-subgroups of solvable Q-groups.

Mohammad Reza Darafsheh, H. Sharifi (2007)

Extracta Mathematicae

Similarity:

A finite group whose irreducible characters are rational valued is called a rational or a Q-group. In this paper we obtain various results concerning the structure of a Sylow 2-subgroup of a solvable Q-group.

Nilpotent Groups

Dailu Li, Xiquan Liang, Yanhong Men (2010)

Formalized Mathematics

Similarity:

This article describes the concept of the nilpotent group and some properties of the nilpotent groups.

On residually finite groups and their generalizations

Andrzej Strojnowski (1999)

Colloquium Mathematicae

Similarity:

The paper is concerned with the class of groups satisfying the finite embedding (FE) property. This is a generalization of residually finite groups. In [2] it was asked whether there exist FE-groups which are not residually finite. Here we present such examples. To do this, we construct a family of three-generator soluble FE-groups with torsion-free abelian factors. We study necessary and sufficient conditions for groups from this class to be residually finite. This answers the questions...

The Bohr compactification, modulo a metrizable subgroup

W. Comfort, F. Trigos-Arrieta, S. Wu (1993)

Fundamenta Mathematicae

Similarity:

The authors prove the following result, which generalizes a well-known theorem of I. Glicksberg [G]: If G is a locally compact Abelian group with Bohr compactification bG, and if N is a closed metrizable subgroup of bG, then every A ⊆ G satisfies: A·(N ∩ G) is compact in G if and only if {aN:a ∈ A} is compact in bG/N. Examples are given to show: (a) the asserted equivalence can fail in the absence of the metrizability hypothesis, even when N ∩ G = {1}; (b) the asserted equivalence can...

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.

On Rough Subgroup of a Group

Xiquan Liang, Dailu Li (2009)

Formalized Mathematics

Similarity:

This article describes a rough subgroup with respect to a normal subgroup of a group, and some properties of the lower and the upper approximations in a group.