Table of Contents
Fetching ...

Intersection Hypergraph on D_n

Sachin Ballal, Ardra A N

TL;DR

This work studies the intersection hypergraph $\tilde{\Gamma}_\mathcal{H}(D_n)$ on the proper nontrivial subgroups of the dihedral group $D_n$, focusing on structural properties such as diameter, girth, and chromatic numbers, and on topological aspects like planarity. It establishes detailed relationships between $n$ and graph hypergraph parameters, proving connectedness with diameter depending on $n$, and showing that the chromatic number is $2$ while the chromatic index depends on whether $n$ is a multiple of $4$. It provides a complete planarity classification: planar iff $n$ is prime or $n=4$, and non-planar for other $n$, supported by incidence-graph genus bounds and explicit subgraph constructions such as $K_{3,3}$. The results give a comprehensive picture of how subgroup interactions in $D_n$ influence hypertree structure, planarity, and genus, contributing to the theory of hypergraphs on algebraic structures.

Abstract

Let $G$ be a group and $S$ be the set of all non-trivial proper subgroups of $G$. The intersection hypergraph of $G$, denoted by $\tildeΓ_\mathcal{H}(G)$, is a hypergraph whose vertex set is $\{H \in S \,\, | \,\, H \cap K = \{e\} \,\, \text{for some} \, K \in S \}$ and hyperedges are the maximal subsets of the vertex set with the property that any two vertices in it have a trivial intersection. The aim of this paper is to study the intersection hypergraph of dihedral groups, $\tildeΓ_\mathcal{H}(D_n)$. We examine some of the structural properties, viz., diameter, girth and chromatic number of $\tildeΓ_\mathcal{H}(D_n)$. Also, we provide characterizations for hypertreees, star structures of $\tildeΓ_\mathcal{H}(D_n)$, and investigate the planarity and non-planarity of $\tildeΓ_\mathcal{H}(D_n)$.

Intersection Hypergraph on D_n

TL;DR

This work studies the intersection hypergraph on the proper nontrivial subgroups of the dihedral group , focusing on structural properties such as diameter, girth, and chromatic numbers, and on topological aspects like planarity. It establishes detailed relationships between and graph hypergraph parameters, proving connectedness with diameter depending on , and showing that the chromatic number is while the chromatic index depends on whether is a multiple of . It provides a complete planarity classification: planar iff is prime or , and non-planar for other , supported by incidence-graph genus bounds and explicit subgraph constructions such as . The results give a comprehensive picture of how subgroup interactions in influence hypertree structure, planarity, and genus, contributing to the theory of hypergraphs on algebraic structures.

Abstract

Let be a group and be the set of all non-trivial proper subgroups of . The intersection hypergraph of , denoted by , is a hypergraph whose vertex set is and hyperedges are the maximal subsets of the vertex set with the property that any two vertices in it have a trivial intersection. The aim of this paper is to study the intersection hypergraph of dihedral groups, . We examine some of the structural properties, viz., diameter, girth and chromatic number of . Also, we provide characterizations for hypertreees, star structures of , and investigate the planarity and non-planarity of .

Paper Structure

This paper contains 3 sections, 24 theorems, 9 equations, 12 figures.

Key Result

Theorem 2.1

conrad2009dihedral Every subgroup of $D_n$ is cyclic or dihedral. A complete listing of the subgroups is as follows: Every subgroup of $D_n$ occurs exactly once in this listing.

Figures (12)

  • Figure 1: $\tilde{\Gamma}_\mathcal{H}(V_4)$
  • Figure 2: $\tilde{\Gamma}_\mathcal{H}(D_4)$
  • Figure 3: Host tree of $\tilde{\Gamma}_\mathcal{H}(D_n)$, when $n$ is a prime.
  • Figure 4: $\mathcal{L}(\tilde{\Gamma}_\mathcal{H}(D_4))$
  • Figure 5: $\mathcal{I}(\tilde{\Gamma}_\mathcal{H}(D_4))$
  • ...and 7 more figures

Theorems & Definitions (42)

  • Definition 2.1
  • Example 2.1
  • Example 2.2
  • Theorem 2.1
  • Remark 2.1
  • Lemma 2.2
  • proof
  • Theorem 2.3
  • proof
  • Corollary 2.3.1
  • ...and 32 more