[Paper Review] SUBNORMAL EMBEDDINGS OF LOCALITIES

Andrew Chermak|arXiv (Cornell University)|May 29, 2015

Finite Group Theory Research14 references3 citations

TL;DR

This paper extends the theory of finite localities by investigating subnormal embeddings, establishing foundational results on normal and subnormal structures within arbitrary finite localities. It introduces a framework for analyzing subgroup-like objects in localities through subnormal embeddings, proving key structural theorems that generalize classical finite group theory concepts to the locality setting.

ABSTRACT

This paper continues the development of the theory of finite localities that was begun in Localities and projections. The emphasis in this Part 2 is on the normal and subnormal structure of an arbitrary finite locality.

Motivation & Objective

• To develop a systematic theory of subnormal embeddings within finite localities.
• To generalize concepts of normal and subnormal subgroups from finite group theory to the context of localities.
• To establish structural properties of subnormal objects in arbitrary finite localities.
• To provide a foundation for further study of localities through the lens of subnormal structure.
• To extend the framework initiated in Part 1 (Localities and projections) to include normality and subnormality.

Proposed method

• Adapting the notion of subnormality from finite group theory to the setting of localities using the language of partial groups and fusion systems.
• Defining subnormal embeddings as chains of normal embeddings in the locality structure.
• Utilizing the axiomatic framework of localities to analyze closure and compatibility of subnormal chains.
• Applying results from Part 1 on projections and local subsystems to study subnormal objects.
• Establishing conditions under which subnormal embeddings preserve locality axioms and closure properties.
• Using the theory of local subsystems to analyze the behavior of subnormal objects under restriction and projection.

Experimental results

Research questions

• RQ1 How can the concept of subnormality be meaningfully extended from finite groups to finite localities?
• RQ2 What structural properties do subnormal embeddings in localities satisfy?
• RQ3 How do subnormal embeddings relate to normal and characteristic sublocalities?
• RQ4 To what extent do classical theorems about subnormal subgroups generalize to the locality setting?
• RQ5 What role do projections and local subsystems play in analyzing subnormal structures?

Key findings

• Subnormal embeddings in finite localities are well-behaved under the locality axioms, preserving closure and compatibility.
• A chain of subnormal embeddings in a locality gives rise to a well-defined hierarchy of local subsystems.
• The normalizer of a subnormal object in a locality satisfies properties analogous to those in finite group theory.
• Subnormality in localities is preserved under restriction to local subsystems and under projections.
• The theory of subnormal embeddings provides a natural generalization of the classical theory of subnormal subgroups in finite groups.
• The framework enables the extension of classical results on subnormality to the broader context of localities and fusion systems.