Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/5492
Tytuł: | Conservation Rules of Direct Sum Decomposition of Groups |
Autorzy: | Nakasho, Kazuhisa Yamazaki, Hiroshi Okazaki, Hiroyuki Shidama, Yasunari |
Słowa kluczowe: | group theory direct sum decomposition |
Data wydania: | 2016 |
Data dodania: | 16-maj-2017 |
Wydawca: | De Gruyter Open |
Źródło: | Formalized Mathematics, Volume 24, Issue 1, pp. 81-94 |
Abstrakt: | In this article, conservation rules of the direct sum decomposition of groups are mainly discussed. In the first section, we prepare miscellaneous definitions and theorems for further formalization in Mizar [5]. In the next three sections, we formalized the fact that the property of direct sum decomposition is preserved against the substitutions of the subscript set, flattening of direct sum, and layering of direct sum, respectively. We referred to [14], [13] [6] and [11] in the formalization. |
Afiliacja: | Nakasho Kazuhisa - Shinshu University Nagano, Japan Yamazaki Hiroshi - Shinshu University Nagano, Japan Okazaki Hiroyuki - Shinshu University Nagano, Japan Shidama Yasunari - Shinshu University Nagano, Japan |
URI: | http://hdl.handle.net/11320/5492 |
DOI: | 10.1515/forma-2016-0007 |
ISSN: | 1426-2630 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2016, Volume 24, Issue 1 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma-2016-0007.pdf | 294,47 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL