<abstract xmlns="http://www.w3.org/1999/xhtml"><p> 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.</p></abstract>

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.

Conservation Rules of Direct Sum Decomposition of Groups

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

{"article-title":"Conservation Rules of Direct Sum Decomposition of Groups"}

In this article, conservation rules of the direct sum decomposition of groups are mainly discussed. In the first section, we prepare miscellaneous definitions...

Conservation Rules of Direct Sum Decomposition of Groups

Pubblicato online: 31 ago 2016

Pagine: 81 - 94

Ricevuto: 31 dic 2015

DOI: https://doi.org/10.1515/forma-2016-0007

Parole chiave
group theory, direct sum decomposition

© by Kazuhisa Nakasho

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Conservation Rules of Direct Sum Decomposition of Groups

Pubblicato online: 31 ago 2016

Pagine: 81 - 94

Ricevuto: 31 dic 2015

DOI: https://doi.org/10.1515/forma-2016-0007

Parole chiavegroup theory, direct sum decomposition

© by Kazuhisa Nakasho

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Parole chiave
group theory, direct sum decomposition