Definition and Properties of Direct Sum Decomposition of Groups
Keyword(s):
Summary 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.
Keyword(s):
1998 ◽
Vol 30
(2)
◽
pp. 257-262
1991 ◽
Vol 31
(4)
◽
pp. 1105-1114
2003 ◽
Vol 2003
(62)
◽
pp. 3903-3920
Keyword(s):
2001 ◽
Vol 64
(1)
◽
pp. 71-79
◽
Keyword(s):
1981 ◽
Vol 29
(3)
◽
pp. 392-406
◽
Keyword(s):