全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示 العربية 版。

الرياضيات · 术语表

什么是 جدول الطوابع?

تعريف 5.14 الرياضيات الجامعية — السنة 3 · 第 5 章 — تمثيلات الزمر المنتهية

جدول الطوابع للزمرة GG هو المصفوفة (χi(gj))\bigl(\chi_i(g_j)\bigr) من القياس r×rr \times r: أسطرها مفهرسة بالطوابع غير القابلة للاختزال، وأعمدتها بأصناف الاقتران (مع إظهار أعداد عناصرها). والأسطر متعامدة ممنظّمة بالنسبة إلى الجداء الموزون، والأعمدة متعامدة (النتيجة 5.12): فالجدول محدَّد بإفراط شديد، وهذا ما يجعله قابلًا للحساب.

示例

مثال 5.15 (جدول S3S_3)

الأصناف: ee (وعدد عناصره 1)، والمبادلات (3)، والدورات الثلاثية (2)؛ ومنه r=3r = 3 تمثيلًا غير قابل للاختزال، بدرجات nin_i تحقق ∑ni2=6\sum n_i^2 = 6: أي 1,1,21, 1, 2. والدرجة 11: الطابع التافه 1\mathbf 1 والإشارة ε\varepsilon. ويأتي السطر الأخير من تعامد الأعمدة (أو من χstd=χperm−1\chi_{\mathrm{std}} = \chi_{\mathrm{perm}} - \mathbf 1):

S3e(1 2) [3](1 2 3) [2]1111ε1−11χstd20−1\begin{array}{c|ccc} S_3 & e & (1\,2)\ [3] & (1\,2\,3)\ [2]\\ \hline \mathbf 1 & 1 & 1 & 1\\ \varepsilon & 1 & -1 & 1\\ \chi_{\mathrm{std}} & 2 & 0 & -1 \end{array}

تحقق: ⟨χstd,χstd⟩=16(4+0+2)=1\langle\chi_{\mathrm{std}},\chi_{\mathrm{std}}\rangle = \frac{1}{6}(4 + 0 + 2) = 1: أي إنه غير قابل للاختزال.

مثال 5.16 (جدول S4S_4)

الأصناف: ee [1]، والمبادلات [6]، والمبادلات المزدوجة [3]، والدورات الثلاثية [8]، والدورات الرباعية [6]: أي خمسة تمثيلات غير قابلة للاختزال، ∑ni2=24\sum n_i^2 = 24 مع طابعين من الدرجة 11 (1,ε\mathbf 1, \varepsilon؛ [S4:D(S4)]=[S4:A4]=2[S_4 : D(S_4)] = [S_4 : A_4] = 2): فالدرجات 1,1,2,3,31, 1, 2, 3, 3. ويُرفع الطابع ذو الدرجة 22 من S4/V≅S3S_4/V \cong S_3 (القضية 5.13(b)، حيث VV زمرة كلاين)؛ وأما الدرجة 33: فالتمثيل المعياري وفتله بالطابع ε\varepsilon:

S4e [1](1 2) [6](1 2)(3 4) [3](1 2 3) [8](1 2 3 4) [6]111111ε1−111−1χ2202−10χstd31−10−1εχstd3−1−101\begin{array}{c|ccccc} S_4 & e\,[1] & (1\,2)\,[6] & (1\,2)(3\,4)\,[3] & (1\,2\,3)\,[8] & (1\,2\,3\,4)\,[6]\\ \hline \mathbf 1 & 1 & 1 & 1 & 1 & 1\\ \varepsilon & 1 & -1 & 1 & 1 & -1\\ \chi_2 & 2 & 0 & 2 & -1 & 0\\ \chi_{\mathrm{std}} & 3 & 1 & -1 & 0 & -1\\ \varepsilon\chi_{\mathrm{std}} & 3 & -1 & -1 & 0 & 1 \end{array}

(χstd(g)=fix⁡(g)−1\chi_{\mathrm{std}}(g) = \operatorname{fix}(g) - 1؛ ويقيّم χ2\chi_2 جدولَ S3S_3 على صورة كل صنف بترديد VV.) وتنجح جميع فحوص تعامد الأسطر والأعمدة — وتشغيل اثنين منها هو تمرين التمهيد في التمرين 5.3.

在原文中阅读 ←