Displaying similar documents to “Prescribed Gauss decompositions for Kac-Moody groups over fields”

Equivalent Expressions of Direct Sum Decomposition of Groups1

Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama (2015)

Formalized Mathematics

Similarity:

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...

Decompositions of local rigid ACD groups

Adolf Mader, Otto Mutzbauer (2001)

Colloquium Mathematicae

Similarity:

We study direct decompositions of extensions of rigid completely decomposable groups by finite primary groups. These decompositions are unique and can be found by finite procedures. By passing to certain quotients the determination of the direct decompositions is made more efficient.

Conservation Rules of Direct Sum Decomposition of Groups

Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama (2016)

Formalized Mathematics

Similarity:

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. ...

The triangle groups

Muhammad A. Albar, Walid M. Al-Hamdan (1993)

Rendiconti del Seminario Matematico della Università di Padova

Similarity: