Rewriting Group Products with Transversals

TL;DR

This paper introduces a rewriting system that decomposes any group into a product of a set of coset representatives and a subgroup, establishing a universal isomorphism and developing the theory of Diffracted Groups.

Contribution

It presents a novel rewriting system for group decomposition that creates a universal isomorphism between the original group and a product of a transversal and a subgroup.

Findings

Provides a new method to rewrite group products using transversals.

Establishes a universal isomorphism between the original group and the product structure.

Develops the foundational theory of Diffracted Groups.

Abstract

For any group $G$ with subgroup $H$ and a set of representatives $T$ from the set of cosets $G/H$, we develop a rewriting system from $G$ that bequeaths a product into the set decomposition $T\times H$ of $G$, converting it into a group. In return the rewriting system also describes any product between elements in $G$ in terms of elements from $T$ and $H$, while we gain a new universal group-isomorphism between $G$ and $T\times H$. From this framework, we develop the theory of Diffracted Groups.