W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/3591| Tytuł: | Normal Subgroup of Product of Groups |
| Autorzy: | Okazaki, Hiroyuki Arai, Kenichi Shidama, Yasunari |
| Data wydania: | 2011 |
| Data dodania: | 6-gru-2015 |
| Wydawca: | De Gruyter Open |
| Źródło: | Formalized Mathematics, Volume 19, Issue 1, 2011, Pages 23-26 |
| Abstrakt: | 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. |
| Afiliacja: | Okazaki Hiroyuki - Shinshu University, Nagano, Japan Arai Kenichi - Shinshu University, Nagano, Japan Shidama Yasunari - Shinshu University, Nagano, Japan |
| URI: | http://hdl.handle.net/11320/3591 |
| DOI: | 10.2478/v10037-011-0004-7 |
| ISSN: | 1426-2630 1898-9934 |
| Typ Dokumentu: | Article |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2011, Volume 19, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| v10037-011-0004-7.pdf | 266,54 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
