Displaying similar documents to “Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order”

Isomorphisms of Direct Products of Finite Commutative Groups

Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama (2013)

Formalized Mathematics

Similarity:

We have been working on the formalization of groups. In [1], we encoded some theorems concerning the product of cyclic groups. In this article, we present the generalized formalization of [1]. First, we show that every finite commutative group which order is composite number is isomorphic to a direct product of finite commutative groups which orders are relatively prime. Next, we describe finite direct products of finite commutative 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...

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.

Active sums I.

J. Alejandro Díaz-Barriga, Francisco González-Acuña, Francisco Marmolejo, Leopoldo Román (2004)

Revista Matemática Complutense

Similarity:

Given a generating family F of subgroups of a group G closed under conjugation and with partial order compatible with inclusion, a new group S can be constructed, taking into account the multiplication in the subgroups and their mutual actions given by conjugation. The group S is called the active sum of F, has G as a homomorph and is such that S/Z(S) ≅ G/Z(G) where Z denotes the center. The basic question we investigate...

On three-dimensional space groups.

Conway, John H., Delgado Friedrichs, Olaf, Huson, Daniel H., Thurston, William P. (2001)

Beiträge zur Algebra und Geometrie

Similarity: