Equivalent Expressions of Direct Sum Decomposition of Groups

Pole DC	Wartość	Język
dc.contributor.author	Nakasho, Kazuhisa	pl
dc.contributor.author	Okazaki, Hiroyuki	pl
dc.contributor.author	Yamazaki, Hiroshi	pl
dc.contributor.author	Shidama, Yasunari	pl
dc.date.accessioned	2016-12-06T02:00:00Z	pl
dc.date.accessioned	2016-12-12T10:36:08Z	-
dc.date.available	2016-12-06T02:00:00Z	pl
dc.date.available	2016-12-12T10:36:08Z	-
dc.date.issued	2015	pl
dc.identifier.citation	Formalized Mathematics, Volume 23, Issue 1, Pages 67–73	pl
dc.identifier.issn	1426-2630	pl
dc.identifier.issn	1898-9934	pl
dc.identifier.uri	http://hdl.handle.net/11320/4839	-
dc.description.abstract	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 [14] in the formalization.	pl
dc.language.iso	en	pl
dc.publisher	De Gruyter Open	pl
dc.subject	group theory	pl
dc.subject	direct sum decomposition	pl
dc.title	Equivalent Expressions of Direct Sum Decomposition of Groups	pl
dc.type	Article	pl
dc.identifier.doi	10.2478/forma-2015-0006	pl
dc.description.Affiliation	Kazuhisa Nakasho - Shinshu University, Nagano, Japan	pl
dc.description.Affiliation	Hiroyuki Okazaki - Shinshu University, Nagano, Japan	pl
dc.description.Affiliation	Hiroshi Yamazaki - Shinshu University, Nagano, Japan	pl
dc.description.Affiliation	Yasunari Shidama - Shinshu University, Nagano, Japan	pl
dc.description.references	Grzegorz Bancerek. König’s theorem. Formalized Mathematics, 1(3):589–593, 1990.	pl
dc.description.references	Grzegorz Bancerek. Tarski’s classes and ranks. Formalized Mathematics, 1(3):563–567, 1990.	pl
dc.description.references	Grzegorz Bancerek. Monoids. Formalized Mathematics, 3(2):213–225, 1992.	pl
dc.description.references	Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 1990.	pl
dc.description.references	Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91–96, 1990.	pl
dc.description.references	Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107–114, 1990.	pl
dc.description.references	Grzegorz Bancerek and Andrzej Trybulec. Miscellaneous facts about functions. Formalized Mathematics, 5(4):485–492, 1996.	pl
dc.description.references	Nicolas Bourbaki. Elements of Mathematics. Algebra I. Chapters 1-3. Springer-Verlag, Berlin, Heidelberg, New York, London, Paris, Tokyo, 1989.	pl
dc.description.references	Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1): 55–65, 1990.	pl
dc.description.references	Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990.	pl
dc.description.references	Czesław Byliński. Partial functions. Formalized Mathematics, 1(2):357–367, 1990.	pl
dc.description.references	Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47–53, 1990.	pl
dc.description.references	Artur Korniłowicz. The product of the families of the groups. Formalized Mathematics, 7(1):127–134, 1998.	pl
dc.description.references	Serge Lang. Algebra. Springer, 3rd edition, 2005.	pl
dc.description.references	Beata Madras. Product of family of universal algebras. Formalized Mathematics, 4(1): 103–108, 1993.	pl
dc.description.references	Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, and Yasunari Shidama. Definition and properties of direct sum decomposition of groups. Formalized Mathematics, 23 (1):15–27, 2015. doi:10.2478/forma-2015-0002.	pl
dc.description.references	Hiroyuki Okazaki, Kenichi Arai, and Yasunari Shidama. Normal subgroup of product of groups. Formalized Mathematics, 19(1):23–26, 2011. doi:10.2478/v10037-011-0004-7.	pl
dc.description.references	D. Robinson. A Course in the Theory of Groups. Springer New York, 2012.	pl
dc.description.references	J.J. Rotman. An Introduction to the Theory of Groups. Springer, 1995.	pl
dc.description.references	Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1): 115–122, 1990.	pl
dc.description.references	Wojciech A. Trybulec. Non-contiguous substrings and one-to-one finite sequences. Formalized Mathematics, 1(3):569–573, 1990.	pl
dc.description.references	Wojciech A. Trybulec. Groups. Formalized Mathematics, 1(5):821–827, 1990.	pl
dc.description.references	Wojciech A. Trybulec. Subgroup and cosets of subgroups. Formalized Mathematics, 1(5): 855–864, 1990.	pl
dc.description.references	Wojciech A. Trybulec. Classes of conjugation. Normal subgroups. Formalized Mathematics, 1(5):955–962, 1990.	pl
dc.description.references	Wojciech A. Trybulec. Lattice of subgroups of a group. Frattini subgroup. Formalized Mathematics, 2(1):41–47, 1991.	pl
dc.description.references	Wojciech A. Trybulec and Michał J. Trybulec. Homomorphisms and isomorphisms of groups. Quotient group. Formalized Mathematics, 2(4):573–578, 1991.	pl
dc.description.references	Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.	pl
dc.description.references	Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1 (1):73–83, 1990.	pl
dc.description.references	Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181–186, 1990.	pl
Występuje w kolekcji(ach):	Formalized Mathematics, 2015, Volume 23, Issue 1

Pliki w tej pozycji:

Plik	Opis	Rozmiar	Format
forma-2015-0006.pdf		262,33 kB	Adobe PDF	Otwórz

Pokaż uproszczony widok rekordu Zobacz statystyki

Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL