Preprint Article Version 2 Preserved in Portico This version is not peer-reviewed

Canonical Set Theory for Classic Mathematics: A Linear Order on Finite Groups and Structures, with a Natural Extension to Infinite Structures

Version 1 : Received: 19 July 2020 / Approved: 19 July 2020 / Online: 19 July 2020 (15:28:45 CEST)
Version 2 : Received: 4 August 2020 / Approved: 5 August 2020 / Online: 5 August 2020 (05:43:50 CEST)

How to cite: Ramirez, J. Canonical Set Theory for Classic Mathematics: A Linear Order on Finite Groups and Structures, with a Natural Extension to Infinite Structures. Preprints 2020, 2020070415 (doi: 10.20944/preprints202007.0415.v2). Ramirez, J. Canonical Set Theory for Classic Mathematics: A Linear Order on Finite Groups and Structures, with a Natural Extension to Infinite Structures. Preprints 2020, 2020070415 (doi: 10.20944/preprints202007.0415.v2).

Abstract

We provide an axiomatic base for the set of natural numbers, that has been proposed as a canonical construction, and use this definition of $\mathbb N$ to find several results on finite group theory. Every finite group $G$, is well represented with a natural number $N_G$; if $N_G=N_H$ then $H,G$ are in the same isomorphism class. We have a linear order on all finite groups, that is well behaved with respect to cardinality. In fact, if $H,G$ are two finite groups such that $|H|=m<n=|G|$, then $H<\mathbb Z_n\leq G$. There is also a canonical order for the elements of $G$ and we can define equivalent objects of $G$. This allows us to find the automorphisms of $G$. The Cayley table of $G$ takes canonical block form, and a minimal set of independent equations that define the group is obtained. We show how to find all groups of order $n$, and order them. Examples are given using all groups with order smaller than $10$. The canonical block form of the symmetry group $\Delta_4$ is given and we find its automorphisms. These results are extended to the infinite case. A real number is an infinite set of natural numbers. A real function is a set of real numbers, and a sequence of real functions $f_1,f_2,\ldots$ is well represented by a set of real numbers, as well. We make brief comments on treating the calculus of real numbers. In general, we represent mathematical objects using the smallest possible data-type. In the last section, mathematical objects are well assigned to tree structures. We conclude with brief comments on type theory and future work on computational and physical aspects of these representations.

Subject Areas

Structuralism; Set Theory; Type Theory; Arithmetic Model; Data Type; Tree; Group

Comments (1)

Comment 1
Received: 5 August 2020
Commenter: Juan Ramirez
Commenter's Conflict of Interests: Author
Comment: Several statements in Section 1 and Section 6 have been made clearer.
+ Respond to this comment

We encourage comments and feedback from a broad range of readers. See criteria for comments and our diversity statement.

Leave a public comment
Send a private comment to the author(s)
Views 0
Downloads 0
Comments 1
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.
We use cookies on our website to ensure you get the best experience.
Read more about our cookies here.