[Paper Review] Oriented Involutions, Symmetric and Skew-Symmetric Elements in Group Rings

Edgar G. Goodaire, César Polcino Milies|arXiv (Cornell University)|Aug 23, 2011

Finite Group Theory Research3 references3 citations

TL;DR

This paper investigates oriented involutions in group rings, introducing a generalized involution $\sharp$ defined by a group homomorphism $\sigma: G \to \{\pm 1\}$ and an involution $*$ on a group $G$. It determines precisely when the sets of symmetric ($\alpha^\sharp = \alpha$) and skew-symmetric ($\alpha^\sharp = -\alpha$) elements form subrings, correcting prior work and fully characterizing the conditions under which skew-symmetric elements anticommute. The key result is a complete classification: $(RG)^{-}$ is a subring if and only if $G$ is an SLC group with the canonical involution and $\sigma$ compatible with $*$, or $R$ has characteristic 4.

ABSTRACT

Let $G$ be a group with involution * and $σ\colon G o\{\pm1\}$ a group homomorphism. The map $\sharp$ that sends $α=\sumα_gg$ in a group ring $RG$ to $α^{\sharp}=\sumσ(g)α_gg^*$ is an involution of $RG$ called an \emph{oriented group involution}. An element $α\in RG$ is \emph{symmetric} if $α^{\sharp}=α$ and \emph{skew-symmetric} if $α^{\sharp}=-α$. The sets of symmetric and skew-symmetric elements have received a lot of attention in the special cases that * is the inverse map on $G$ and/or $σ$ is identically 1, but not in general. In this paper, we determine the conditions under which the sets of elements that are symmetric and skew-symmetric, respectively, relative to a general oriented involution form subrings of $RG$. The work on symmetric elements is a modification and correction of previous work.

Motivation & Objective

• To determine the conditions under which the set of skew-symmetric elements relative to an oriented involution forms a subring in a group ring $RG$.
• To correct and extend previous results on symmetric elements under oriented involutions, particularly those in [CM06], by providing a complete and accurate characterization.
• To investigate the compatibility between the group involution $*$ and the orientation $\sigma$, showing that this compatibility is essential for the algebraic structure of symmetric and skew-symmetric elements.
• To fully characterize the cases in which skew-symmetric elements anticommute, which is equivalent to $(RG)^{-}$ being closed under multiplication.
• To establish a complete classification of group rings where the skew-symmetric elements form a subring, identifying the role of SLC groups and characteristic 4.

Proposed method

• The paper defines an oriented involution $\sharp$ on the group ring $RG$ by $\alpha^\sharp = \sum \sigma(g)\alpha_g g^*$, where $\sigma: G \to \{\pm 1\}$ is a group homomorphism and $*$ is an involution on $G$.
• It introduces the sets $(RG)^+ = \{\alpha \in RG \mid \alpha^\sharp = \alpha\}$ and $(RG)^- = \{\alpha \in RG \mid \alpha^\sharp = -\alpha\}$, and investigates when these sets are subrings.
• The analysis focuses on the compatibility condition $\sigma(g^*) = \sigma(g)$ for all $g \in G$, which ensures that $\ker \sigma$ and its complement are $*$-invariant.
• The authors use structural group-theoretic techniques, particularly analyzing SLC (unique nontrivial commutator, limited commutativity) groups and their canonical involutions, to classify the cases where $(RG)^-$ is closed under multiplication.
• They employ contradiction arguments and commutator identities to show that if $a \notin N$ and $a^* \neq a$, then $a^* = s a$ where $s$ is the unique nontrivial commutator, leading to the conclusion that $G$ must be SLC.
• The paper uses the condition $\alpha_x x \cdot \alpha_y y = \alpha_y y \cdot \alpha_x x$ for $\alpha_x, \alpha_y \in R_2$ to derive $R_2^2 = \{0\}$, which leads to the characteristic 4 case.

Experimental results

Research questions

• RQ1 Under what conditions is the set of skew-symmetric elements $(RG)^{-}$ closed under multiplication, i.e., forms a subring of $RG$?
• RQ2 When do skew-symmetric elements anticommute, i.e., satisfy $\alpha\beta = -\beta\alpha$ for all $\alpha, \beta \in (RG)^{-}$?
• RQ3 How does the compatibility condition $\sigma(g^*) = \sigma(g)$ affect the algebraic structure of symmetric and skew-symmetric elements in $RG$?
• RQ4 What group-theoretic properties of $G$ are necessary and sufficient for $(RG)^{-}$ to be a subring, especially in relation to the SLC condition?
• RQ5 In what cases does the characteristic of $R$ play a decisive role in determining whether $(RG)^{-}$ is a subring?

Key findings

• The set of skew-symmetric elements $(RG)^{-}$ forms a subring if and only if either $G$ is an SLC group with the canonical involution and $\sigma$ compatible with $*$, or the ring $R$ has characteristic 4.
• The paper corrects an error in [CM06] regarding the conditions under which $(RG)^{+}$ is a subring, providing a complete and accurate characterization.
• When $a \notin N$ and $a^* \neq a$, the condition $a^* = s a$ must hold, where $s$ is the unique nontrivial commutator, implying that $G$ is an SLC group.
• If $R$ has characteristic 4, then the condition $a^* = s a$ is satisfied, and $(RG)^{-}$ forms a subring, even when $G$ is not SLC.
• The compatibility condition $\sigma(g^*) = \sigma(g)$ is essential; without it, the structure of symmetric and skew-symmetric elements fails to close under multiplication.
• The analysis shows that $R_2^2 = \{0\}$ is a necessary condition when $G$ is not SLC and $R$ has characteristic not 2, leading to the conclusion that such cases only allow trivial solutions unless characteristic 4 is present.