[論文レビュー] 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 Research参考文献 3被引用数 3

ひとこと要約

本稿は群環における向き付き対合について調査し、群準同型 $\sigma: G \to \{\pm 1\}$ と群 $G$ 上の対合 $*$ を用いて定義される一般化された対合 $\sharp$ を導入する。対称的（$\alpha^\sharp = \alpha$）および反対称的（$\alpha^\sharp = -\alpha$）な元の集合がいつ部分環をなすかを正確に特定し、先行研究の誤りを是正し、反対称的元が反交換する条件を完全に特徴づける。主な結果は、完全な分類である：$(RG)^{-}$ が部分環であるための必要十分条件は、$G$ が標準的対合を伴うSLC群であり、$\sigma$ が $*$ と整合的である、または $R$ が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.

研究の動機と目的

• 群環 $RG$ における向き付き対合に関する反対称的元の集合が部分環をなすための条件を特定すること。
• 特に [CM06] における結果を是正・拡張し、向き付き対合の下での対称的元に関する完全かつ正確な特徴づけを提供すること。
• 群の対合 $*$ と向き $\sigma$ の整合性を調査し、これが対称的および反対称的元の代数的構造にとって本質的であることを示すこと。
• 反対称的元が反交換する（すなわち $(RG)^{-}$ が乗法について閉じている）場合を完全に特徴づけること。
• 反対称的元が部分環をなす群環の完全な分類を確立し、SLC群と特徴4の役割を特定すること。

提案手法

• 本稿は、群準同型 $\sigma: G \to \{\pm 1\}$ と $G$ 上の対合 $*$ を用いて、群環 $RG$ における向き付き対合 $\sharp$ を $\alpha^\sharp = \sum \sigma(g)\alpha_g g^*$ で定義する。
• $(RG)^+ = \{\alpha \in RG \mid \alpha^\sharp = \alpha\}$ および $(RG)^- = \{\alpha \in RG \mid \alpha^\sharp = -\alpha\}$ の集合を定義し、これらがいつ部分環になるかを調査する。
• $\ker \sigma$ 及びその補集合が $*$-不変であることを保証する、$\sigma(g^*) = \sigma(g)$ を満たす整合性条件に注目する。
• 特にSLC（非自明な交換子が唯一つ、限界付き交換性）群とその標準的対合を分析する群論的構造的手法を用いて、$(RG)^{-}$ が乗法について閉じる場合を分類する。
• 背理法と交換子恒等式を用い、$a \notin N$ かつ $a^* \neq a$ のとき、$a^* = s a$ が成り立つ必要があることを示し、$G$ がSLC群であることを結論づける。
• 群環の元 $\alpha_x x$ と $\alpha_y y$ について $\alpha_x x \cdot \alpha_y y = \alpha_y y \cdot \alpha_x x$ が成り立つ条件を用い、$R_2^2 = \{0\}$ を導出する。この条件は特徴4のケースに相当する。

実験結果

リサーチクエスチョン

• RQ1 反対称的元の集合 $(RG)^{-}$ が乗法について閉じる、すなわち $RG$ の部分環をなすための条件は何か？
• RQ2 反対称的元が反交換する（すなわちすべての $\alpha, \beta \in (RG)^{-}$ に対して $\alpha\beta = -\beta\alpha$ を満たす）のはいつか？
• RQ3 整合性条件 $\sigma(g^*) = \sigma(g)$ は、$RG$ 内の対称的および反対称的元の代数的構造にどのように影響を与えるか？
• RQ4 $(RG)^{-}$ が部分環をなすために必要な・十分な $G$ の群論的性質は何か、特にSLC条件とどのように関係しているか？
• RQ5 $R$ の特徴が、$(RG)^{-}$ が部分環をなすかどうかを決定づける場合、どのようなケースがあるか？

主な発見

• 反対称的元の集合 $(RG)^{-}$ が部分環をなすための必要十分条件は、$G$ が標準的対合を伴うSLC群であり、$\sigma$ が $*$ と整合的である、または $R$ が特徴4を持つことである。
• 本稿は、[CM06] における $(RG)^{+}$ が部分環をなす条件に関する誤りを是正し、完全かつ正確な特徴づけを提供する。
• $a \notin N$ かつ $a^* \neq a$ のとき、$a^* = s a$ が成り立つ必要がある。ここで $s$ は唯一の非自明な交換子であり、$G$ がSLC群であることを示唆する。
• $R$ が特徴4を持つ場合、$a^* = s a$ の条件は満たされ、$G$ がSLC群でなくても $(RG)^{-}$ は部分環をなす。
• 整合性条件 $\sigma(g^*) = \sigma(g)$ は本質的である。これを満たさない場合、対称的および反対称的元の構造は乗法について閉じない。
• 分析により、$G$ がSLC群でなく、$R$ の特徴が2でない場合、$R_2^2 = \{0\}$ が必要条件であることが判明し、特徴4が存在しない限り、このようなケースでは自明な解しか得られない。