Abstract:In this paper, we study the isomorphism problem for central extensions. More precisely, in some new situations, we provide necessary and sufficient conditions for two central extensions to be isomorphic. We investigate the case when the quotient group is simple or purely non-abelian. Furthermore, we characterize isomorphisms leaving the quotient group invariant. Finally, we deal with isomorphisms of central extensions where the kernel group and the quotient group are isomorphic.
What problem does this paper attempt to address?
This paper attempts to solve the isomorphism problem of central extensions. Specifically, the author provides necessary and sufficient conditions for the isomorphism of two central extensions in some new situations. The research focuses on the cases when the quotient group is a simple group or a purely non - Abelian group, and also explores the isomorphisms that keep the quotient group invariant and the isomorphism problem of central extensions when the kernel group and the quotient group are isomorphic.
### Abstract
In this paper, we study the isomorphism problem of central extensions. More precisely, in some new situations, we provide necessary and sufficient conditions for the isomorphism of two central extensions. We especially study the cases when the quotient group is a simple group or a purely non - Abelian group. In addition, we characterize the isomorphisms that keep the quotient group invariant and deal with the isomorphism problem of central extensions when the kernel group and the quotient group are isomorphic.
### Introduction
A classical problem in group theory is to classify a certain class of groups. For groups with composition series, the Jordan - Hölder theorem states that if we can list all simple groups and solve the extension problem, then we can construct and classify all groups. The classification of finite simple groups has been completed, so we need to solve the extension problem. The extension problem of two groups \(G_1\) and \(G_2\) is to find all groups \(G\) such that \(G_1\) is a normal subgroup of \(G\) and the quotient group \(G/G_1\) is isomorphic to \(G_2\). Such a group \(G\) is called a group of \(G_1\) extended by \(G_2\). For extensions with non - Abelian kernel groups, there are classifications in many literatures, but the well - known references are Schreier's paper [11] and Eilenberg - Mac Lane's paper [5]. In this work, we will focus on extensions with Abelian kernel groups. In particular, if \(G_1\) is a central subgroup of \(G\), then \(G\) is called a group of \(G_1\) centrally extended by \(G_2\). For central extensions, Hölder and Schreier used group cohomology to give an answer to the extension problem (see [7, Theorem 7.59]). However, this answer does not enable us to construct all possible non - isomorphic central extensions (i.e., the isomorphism problem). In fact, solving the isomorphism problem is quite difficult, but some special cases are discussed in [8 - 10]. These results do not involve general isomorphisms, but rather specific types of isomorphisms, such as isomorphisms that keep the kernel group or two factors invariant, isomorphisms that induce the identity or commutative automorphisms on the quotient group. In this work, we give necessary and sufficient conditions for the isomorphism of two central extensions in some new situations. Specifically, we study the cases when the quotient group is a simple group or a purely non - Abelian group. In addition, we characterize the isomorphisms that keep the quotient group invariant and deal with the isomorphism problem of central extensions when the kernel group \(G_1\) and the quotient group \(G_2\) are isomorphic.
### Main Contributions
1. **Isomorphism Conditions in New Situations**: The author provides necessary and sufficient conditions for the isomorphism of two central extensions in some new situations.
2. **Cases where the Quotient Group is a Simple Group or a Purely Non - Abelian Group**: Especially study the isomorphism problem when the quotient group is a simple group or a purely non - Abelian group.
3. **Isomorphisms that Keep the Quotient Group Invariant**: Characterize the isomorphisms that keep the quotient group invariant.
4. **Cases where the Kernel Group and the Quotient Group are Isomorphic**: Deal with the isomorphism problem of central extensions when the kernel group and the quotient group are isomorphic.
### Method
The paper uses basic concepts and techniques in group cohomology theory, such as the 2 - cocycle condition, 2 - coboundary, the second cohomology group, etc., to study the isomorphism problem of central extensions.
### Conclusion
Through the above research, the author solves the isomorphism problem of central extensions in some new situations, providing new perspectives and methods for further research in this field.