Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/4835
Tytuł: | Definition and Properties of Direct Sum Decomposition of Groups |
Autorzy: | Nakasho, Kazuhisa Yamazaki, Hiroshi Okazaki, Hiroyuki Shidama, Yasunari |
Słowa kluczowe: | direct sum decomposition group theory |
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 15–27 |
Abstrakt: | In this article, direct sum decomposition of group is mainly discussed. In the second section, support of element of direct product group is defined and its properties are formalized. It is formalized here that an element of direct product group belongs to its direct sum if and only if support of the element is finite. In the third section, product map and sum map are prepared. In the fourth section, internal and external direct sum are defined. In the last section, an equivalent form of internal direct sum is proved. We referred to [23], [22], [8] and [18] in the formalization. |
Afiliacja: | Kazuhisa Nakasho - Shinshu University, Nagano, Japan Hiroshi Yamazaki - Shinshu University, Nagano, Japan Hiroyuki Okazaki - Shinshu University, Nagano, Japan Yasunari Shidama - Shinshu University, Nagano, Japan |
URI: | http://hdl.handle.net/11320/4835 |
DOI: | 10.2478/forma-2015-0002 |
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-0002.pdf | 298,79 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL