Displaying similar documents to “On recognition of the projective special linear groups over binary fields.”

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

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