<abstract xmlns="http://www.w3.org/1999/xhtml"><p>We have been working on the formalization of groups. In [1], we encoded some theorems concerning the product of cyclic groups. In this article, we present the generalized formalization of [1]. First, we show that every finite commutative group which order is composite number is isomorphic to a direct product of finite commutative groups which orders are relatively prime. Next, we describe finite direct products of finite commutative groups</p></abstract>

We have been working on the formalization of groups. In [1], we encoded some theorems concerning the product of cyclic groups. In this article, we present the generalized formalization of [1]. First, we show that every finite commutative group which order is composite number is isomorphic to a direct product of finite commutative groups which orders are relatively prime. Next, we describe finite direct products of finite commutative groups

Isomorphisms of Direct Products of Finite Commutative Groups

Formalized Mathematics

{"article-title":"Isomorphisms of Direct Products of Finite Commutative Groups"}

We have been working on the formalization of groups. In [1], we encoded some theorems concerning the product of cyclic groups. In this article, we present the...

Isomorphisms of Direct Products of Finite Commutative Groups

Online veröffentlicht: 23. Aug. 2013

Seitenbereich: 65 - 74

DOI: https://doi.org/10.2478/forma-2013-0007

This content is open access.