Displaying similar documents to “Directoid groups”

Isomorphisms of Direct Products of Finite Cyclic Groups

Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama (2012)

Formalized Mathematics

Similarity:

In this article, we formalize that every finite cyclic group is isomorphic to a direct product of finite cyclic groups which orders are relative prime. This theorem is closely related to the Chinese Remainder theorem ([18]) and is a useful lemma to prove the basis theorem for finite abelian groups and the fundamental theorem of finite abelian groups. Moreover, we formalize some facts about the product of a finite sequence of abelian groups.

Identifying and distinguishing various varieties of abelian topological groups

Carolyn E. McPhail, Sidney A. Morris

Similarity:

A variety of topological groups is a class of (not necessarily Hausdorff) topological groups closed under the operations of forming subgroups, quotient groups and arbitrary products. The variety of topological groups generated by a class of topological groups is the smallest variety containing the class. In this paper methods are presented to distinguish a number of significant varieties of abelian topological groups, including the varieties generated by (i) the class of all locally...