Digital topological groups
Dae-Woong Lee, P. Christopher Staecker

TL;DR
This paper develops the foundational theory of digital topological groups, categorizing them based on continuity conditions, and provides classifications, examples, and analogs of classical theorems in the digital setting.
Contribution
It introduces two categories of digital topological groups, classifies the restrictive $ ext{NP}_2$-category completely, and extends key group theory concepts to the digital context.
Findings
Complete classification of $ ext{NP}_2$-digital topological groups
Many examples of $ ext{NP}_1$-digital topological groups
Digital first isomorphism theorem established
Abstract
In this article, we develop the basic theory of digital topological groups. The basic definitions directly lead to two separate categories, based on the details of the continuity required of the group multiplication. We define - and -digital topological groups, and investigate their properties and algebraic structure. The category is very restrictive, and we give a complete classification of -digital topological groups. We also give many examples of -digital topological groups. We define digital topological group homomorphisms, and describe the digital counterpart of the first isomorphism theorem.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDigital Image Processing Techniques · Computability, Logic, AI Algorithms · Interconnection Networks and Systems
