Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/4839
Tytuł: | Equivalent Expressions of Direct Sum Decomposition of Groups |
Autorzy: | Nakasho, Kazuhisa Okazaki, Hiroyuki Yamazaki, Hiroshi Shidama, Yasunari |
Słowa kluczowe: | group theory direct sum decomposition |
Data wydania: | 2015 |
Data dodania: | 6-gru-2016 12-gru-2016 |
Wydawca: | De Gruyter Open |
Źródło: | Formalized Mathematics, Volume 23, Issue 1, Pages 67–73 |
Abstrakt: | In this article, the equivalent expressions of the direct sum decomposition of groups are mainly discussed. In the first section, we formalize the fact that the internal direct sum decomposition can be defined as normal subgroups and some of their properties. In the second section, we formalize an equivalent form of internal direct sum of commutative groups. In the last section, we formalize that the external direct sum leads an internal direct sum. We referred to [19], [18] [8] and [14] in the formalization. |
Afiliacja: | Kazuhisa Nakasho - Shinshu University, Nagano, Japan Hiroyuki Okazaki - Shinshu University, Nagano, Japan Hiroshi Yamazaki - Shinshu University, Nagano, Japan Yasunari Shidama - Shinshu University, Nagano, Japan |
URI: | http://hdl.handle.net/11320/4839 |
DOI: | 10.2478/forma-2015-0006 |
ISSN: | 1426-2630 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2015, Volume 23, Issue 1 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma-2015-0006.pdf | 262,33 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL