Displaying similar documents to “Remark on a paper of M. A. McKiernan”

Groups – Additive Notation

Roland Coghetto (2015)

Formalized Mathematics

Similarity:

We translate the articles covering group theory already available in the Mizar Mathematical Library from multiplicative into additive notation. We adapt the works of Wojciech A. Trybulec [41, 42, 43] and Artur Korniłowicz [25]. In particular, these authors have defined the notions of group, abelian group, power of an element of a group, order of a group and order of an element, subgroup, coset of a subgroup, index of a subgroup, conjugation, normal subgroup, topological group, dense...

Sum-dominant sets and restricted-sum-dominant sets in finite abelian groups

David B. Penman, Matthew D. Wells (2014)

Acta Arithmetica

Similarity:

We call a subset A of an abelian group G sum-dominant when |A+A| > |A-A|. If |A⨣A| > |A-A|, where A⨣A comprises the sums of distinct elements of A, we say A is restricted-sum-dominant. In this paper we classify the finite abelian groups according to whether or not they contain sum-dominant sets (respectively restricted-sum-dominant sets). We also consider how much larger the sumset can be than the difference set in this context. Finally, generalising work of Zhao, we provide asymptotic...

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.