Geometric Characterization of Property R
Abstract
Consider pairs of the form (G, N), with G a group and N G, as objects of a category . A morphism (G1, N1) (G2, N2) will be a group homomorphism f : G1 G2 such that f(N1) ⊂ N2. We introduce a functor Q : , which provides a geometric definition of Property R, since it is most naturally visualized by means of a directed graph. We compute these graphs for a number of finite groups of small order, and prove a general characterization of the graphs which occur in this way.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.