Homomorphisms and isomorphisms of groups. Quotient group (1991)
by
Wojciech A. Trybulec
,
Michał J. Trybulec
| Venue: | Journal of Formalized Mathematics |
| Citations: | 27 - 0 self |
BibTeX
@ARTICLE{Trybulec91homomorphismsand,
author = {Wojciech A. Trybulec and Michał J. Trybulec},
title = {Homomorphisms and isomorphisms of groups. Quotient group},
journal = {Journal of Formalized Mathematics},
year = {1991},
volume = {3},
pages = {3--6}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Summary. Quotient group, homomorphisms and isomorphisms of groups are introduced. The so called isomorphism theorems are proved following [9].
Citations
| 1274 | Tarski Grothendieck set theory - Trybulec - 1989 |
| 1237 | Functions and their basic properties - Byliński - 1989 |
| 1164 | Properties of subsets - Trybulec - 1989 |
| 991 | Functions from a set to a set - Byliński - 1989 |
| 971 | Relations and their basic properties - Woronowicz - 1989 |
| 709 | Some basic properties of sets - Byliński - 1989 |
| 616 | Cardinal numbers - Bancerek - 1989 |
| 413 | Partial functions - Byliński - 1990 |
| 325 | Binary operations - Byliński - 1989 |
| 301 | Finite sets - Darmochwał - 1989 |
| 244 | Vectors in real linear space - Trybulec - 1990 |
| 91 | Group and field definitions - Białas - 1990 |
| 43 | Subgroup and cosets of subgroups - Trybulec - 1990 |
| 27 | Lattice of subgroups of a group. Frattini subgroup - Trybulec - 1991 |
| 24 | Classes of conjugation. Normal subgroups - Trybulec - 1990 |
| 10 | Commutator and center of a group - Trybulec - 1991 |
| 7 | Podstawy teorii grup - Kargapołow, Mierzlakow - 1989 |
| 3 | Micha̷l Muzalewski. Abelian groups, fields and vector spaces - Kusak, Leończuk - 1990 |
