次一般線性群是 n×n 可逆矩陣的集合,和與之一起的普通矩陣乘法運算。這形成了一個群,因為兩個可逆矩陣的乘積也是可逆矩陣,而可逆矩陣的逆元還是可逆矩陣。叫這個名字是因為可逆矩陣的縱列是線性無關的,因此它們定義的向量/點是在一般線性位置上的,而在一般線性群中的矩陣把在一般線性位置上的點變換成在一般線性位置上的點。...
12 KB (2,044 words) - 08:47, 12 January 2025
n) 的单位群称为在环 R 上 n × n 矩阵的一般线性群,记作 GLn(R) 或 GL(n,R)。所有矩阵群是某个一般线性群的子群。 某些已被证明有研究价值或性质较好的矩阵群是所谓的典型群。当矩阵群的系数环是实数,这些群是典型李群。当底环是一个有限域,典型群是李型群。这些群在有限单群分类中起着重要的作用。...
5 KB (755 words) - 06:35, 10 October 2022
,是一般线性群 GL ( n , C ) {\displaystyle {\text{GL}}(n,\mathbf {C} )} 的一个子群。 在最简单情形 n = 1 {\displaystyle n=1} ,群 U ( 1 ) {\displaystyle {\text{U}}(1)} 相当于圆群...
13 KB (2,984 words) - 12:49, 29 March 2022
行列式 (category 線性代數)
,因此可以混淆向量组的行列式和线性变换的行列式。 特别地,行列式为1的线性变换保持向量组的行列式,它们构成一般线性群 G L ( E ) {\displaystyle GL(E)} 的一个子群 S L ( E ) {\displaystyle SL(E)} ,称作特殊线性群。可以证明, S L ( E...
77 KB (14,024 words) - 14:25, 14 December 2024
群被稱為矩陣群或線性群。上面提及的二面體群例子可以被看作(非常小的)矩陣群。另一個重要矩陣群是特殊正交群SO(n)。它描述了n維的所有可能旋轉。通過歐拉角,旋轉矩陣被用于計算機圖形學中。 表示理論是對群概念的應用并且對深入理解群是很重要的。它通過群作用於其他空間來研究群。一類廣泛的群表示是線性...
82 KB (11,280 words) - 06:05, 4 April 2025
酉矩阵组成的群(一般酉矩阵的行列式是绝对值为1的复数)。群运算是矩阵乘法。特殊酉群是由 n × n {\displaystyle n\times n} 酉矩阵组成的酉群 U ( n ) {\displaystyle \operatorname {U} (n)} 的一个子群,酉群又是一般线性群 GL ( n , C {\displaystyle...
15 KB (2,990 words) - 21:49, 8 February 2024
射影线性群是代数学里群论中的一类群的称呼。射影线性群也叫射影一般线性群(一般记作 PGL),是某个系数域为 K {\displaystyle \mathbb {K} } 的向量空间V上的一般线性群在射影空间 P(V) 上诱导的群作用。具体来说,射影线性群是商群: P G L ( V ) = G L (...
4 KB (642 words) - 22:14, 7 February 2023
群就是上述的典型李群。 当系数环是有限域时,典型群是李型群。这些群在有限单群的分类中扮演着重要的角色。在群論中,许多线性群有一个「特殊的」子群,常常由行列式为 1 {\displaystyle 1} 的元素组成,大部分有一个伴随的「投影」群,它们是除掉該群中心的商群。 “一般”一词在群...
7 KB (1,139 words) - 15:04, 14 May 2024
在数学中,特别是在群论中,李型群这一短语通常指的是与在有限域中取值的约化线性代数群的有理点群密切相关的有限群。李型群这一短语并没有一个被广泛接受的精确定义,但李型有限单群的重要集合却有一个精确的定义,它们构成了有限单群中的大部分群。 之所以称为李型群,是因为它们与(无限)李群关系密切,因为一个紧李群...
22 KB (3,400 words) - 02:25, 14 October 2024
在数学和抽象代数中,群论(英語:Group theory)研究名为群的代数结构。 群在抽象代数中具有基本的重要地位:许多代数结构,包括环、域和向量空间等可以看作是在群的基础上添加新的运算和公理而形成的。群的概念在数学的许多分支都有出现,而且群论的研究方法也对抽象代数的其它分支有重要影响。线性代数群(英语:Linear...
11 KB (1,963 words) - 15:30, 8 July 2023
639二字母语言代码gl .gl,格陵蘭頂級域名 瑞士格拉鲁斯州的州份代码 一般线性群(英語:general linear group),域 F {\displaystyle \mathbb {F} } 上的一般線性群常記作 G L ( n , F ) {\displaystyle \mathrm...
1 KB (191 words) - 20:39, 10 May 2025
数学上,数域F上的n阶正交群,记作O(n,F),是F上的n×n 正交矩阵在矩阵乘法下构成的群。它是一般线性群GL(n,F)的子群,由 O ( n , F ) = { Q ∈ G L ( n , F ) ∣ Q T Q = Q Q T = I } {\displaystyle \mathrm {O}...
17 KB (3,694 words) - 11:14, 23 April 2023
,所以变换 g ( λ A ) = g A {\displaystyle g_{(\lambda A)}=g_{A}} 。因此,可以将起始空间由一般线性群缩小到特殊线性群 S L 2 ( C ) {\displaystyle {\mathcal {SL}}_{2}(\mathbb {C} )} 。而由于有且仅有单位矩阵...
9 KB (2,110 words) - 14:11, 1 November 2021
矩阵 (category 線性代數)
{\displaystyle n} 阶一般线性群。由于群内每个元素都必须是可逆的,任意的矩阵群都必然是一般线性群的子群。 能够在矩阵乘法和求逆矩阵运算下保持的性质都可以用来刻画一定的矩阵群。例如所有行列式为1的矩阵可以构成一个群,称为 n {\displaystyle n} 阶特殊线性群。所有 n {\displaystyle...
87 KB (13,371 words) - 18:02, 21 November 2024
在数学和理论物理领域,李群表示(Representation of a Lie group)意指李群在向量空间上的线性作用。等价地说,群的表示是一个从该群到向量空间的可逆算子群的光滑同态。表示论在连续对称性的研究中扮演了重要的角色。关于这类表示的研究颇丰,其中一个基本的研究工具是使用对应的无穷小李代数表示(英语:Lie...
656 bytes (88 words) - 23:58, 18 June 2019
群的名字叫做“龐加萊群”。 在古典物理學中,對應龐加萊群的群叫伽利略群,也是有十個生成元的,伽利略群作用於絕對時空。而在伽利略群中取代直線性洛倫茲變換的是,聯繫兩個共動慣性參考系的錯切變換。 龐加萊群是閔可夫斯基時空的等距同構群。它是一種十維的非緊李群。平移的阿貝爾群是一個正規子群,而洛倫茲群...
11 KB (1,739 words) - 13:38, 16 September 2024
上面的例子都是阿贝尔群的例子。非交换群的例子有各种李群(是拓扑群也是流形)。例如,一般线性群GL(n,R)由所有可逆n×n实系数矩阵组成,可以视为拓扑群,其拓扑定义为将GL(n,R)作为欧几里得空间Rn×n的子空间得到的子空間拓撲。所有李群是局部紧的。 不是李群的拓扑群的一个例子是有理数Q其拓扑从实数继承。这是一个可数空间而...
6 KB (1,126 words) - 22:42, 29 September 2021
F)。由於辛矩陣之行列式恆等於一,此群是SL(2n,F)的子群。 抽象而言,辛群可定義為F上一個2n維向量空間上保存一個非退化、斜對稱雙線性形的所有可逆線性變換。帶有這種雙線性形的向量空間稱為辛向量空間。一個辛向量空間V產生的辛群記為Sp(V)。 當n=1,有Sp(2,F)=SL(2...
4 KB (803 words) - 16:39, 23 November 2018
数学上的单群(英語:Simple group)是指没有非平凡正规子群的群。任意一个群如果不是单群,都可以作进一步分解而得到一个非平凡正规子群及对应的商群。这个过程可以一直做下去。对于有限群,若尔当-赫尔德定理表明,这个分解过程可以得到该群的唯一的合成列(最多相差一个置换)。在2008年完成的有限單群分類工作是数学史上一个重要的里程碑。...
7 KB (1,114 words) - 18:42, 12 February 2023
及映至一般線性群之群同態 ρ : G → G L ( V ) {\displaystyle \rho :G\to \mathrm {GL} (V)} 假設 V {\displaystyle V} 有限維,則上述同態即是將 G {\displaystyle G} 的元素映成可逆矩陣,並使得群運算對應到矩陣乘法。...
44 KB (7,427 words) - 15:37, 17 May 2024
在數學的群论中,无限群 是指潜在集合中含有无穷多个元素的群。如果潜在集合中有有限数量的元素,那麼它就是一个有限群。 (R, +) 无限李群 无限一般线性群 Just-infinite群...
463 bytes (43 words) - 10:59, 1 November 2023
subgroup)。因為這個緣由,勞侖茲群有時也稱作「齊次勞侖茲群」(homogeneous Lorentz group),而龐加萊群被稱作「非齊次勞侖茲群」(inhomogeneous Lorentz group)。勞侖茲變換是線性變換的例子;閔可夫斯基時空中的廣義等距同構變換為仿射變換。 數學中,勞侖茲群可以描述為廣義正交群O(1...
4 KB (732 words) - 01:42, 11 December 2022
線性映射(英語:linear map)是向量空間之間,保持向量加法和純量乘法的函數。線性映射也是向量空間作為模的同態。 線性算子(英語:linear operator)與線性轉換(英語:linear transformation,又稱線性變換)是與線性映射相關的慣用名詞,但其實際意義存在許多分歧,詳見相關名詞一節。...
24 KB (4,547 words) - 10:56, 10 November 2024
与 A2 同构于平凡群(也是 SL1(q)=PSL1(q) 对任何 q)。 A4 是说明拉格朗日定理的逆命题一般不成立的最小群:给定一个有限群 G 和 |G| 的一个因子 d,不一定存在 G 的一个 d 阶子群。群 G = A4,阶为 12,没有 6 阶子群。有三个元素的子群...
6 KB (949 words) - 08:57, 13 July 2024
群。 所有阿貝爾群的子群都是正規子群,所以每個子群都引發商群。阿貝爾群的子群、商群和直和也是阿貝爾群。 矩陣即使是可逆矩陣,一般不形成在乘法下的阿貝爾群,因為矩陣乘法一般是不可交換的。但是某些矩陣的群是在矩陣乘法下的阿貝爾群 - 一個例子是 2 × 2 {\displaystyle...
12 KB (2,266 words) - 12:07, 22 May 2024
群。 例如保持向量空间结构的双射算子正是可逆线性算子。 它们构成了一般线性群。 它们算子加法下不是向量空间,例如, id和-id都是可逆的(双射),但它们的和为0,不可逆。 在这样的空间上保持欧几里得度量的算子构成等度群,保持原型不变的子群被称为正交群。正交群中的保角算子构成特殊正交群。...
9 KB (1,582 words) - 13:32, 29 September 2024
的群概形結構一一對應到 A {\displaystyle A} 的Hopf代數結構。 阿貝爾簇:即一個域 k {\displaystyle k} 上的真(proper)代數群,它們必然是可交換的。 線性代數群:即 G L ( n ) {\displaystyle GL(n)} 中的閉子群。仿射代數群...
3 KB (557 words) - 11:34, 9 December 2019
主齐性空间 (category 拓扑群)
A的想法可以简洁地表述为A是V作为平移的加法群作用的主齐性空间。 给定向量空间 V,可以将G取作一般线性群GL(V),而X取作所有(有序)基的集合。则G通过作用在V中的向量上而作用于X;并且它可递地作用,因为任何基可以通过G转换成为另一个。而且,一个固定一个基中每个向量的线性变换会固定所有V中的v,因此它是一般线性群...
6 KB (1,083 words) - 01:30, 18 April 2025
数学上,对称群描述物体的所有对称性。这是通过群作用的概念来形式化的:群的每个元素作为一个双射(或者对称作用)作用在某个集合上。在这个情况下,群称为置换群(特别是在群有限或者不是线性空间时)或者变换群(特别是当这个集合是线性空间而群作为线性变换作用在集合上时)。一个群G的置换表示是群作为一个集合的置换群的群...
10 KB (2,077 words) - 17:10, 27 May 2025
在數學物理中,量子群(quantum group)是一系列代數結構的通稱,是霍普夫代數之特例,可以看作q-量子化的李代數。雖其名中有一「群」字,但量子群不是群。量子群表示理論可產生杨-巴克斯特方程解;以此可以構造紐結的不變量。 Vyjayanthi Chari / Andrew Pressley (1995)...
760 bytes (75 words) - 15:54, 1 March 2024
在數學中,約化群是冪單根為平凡群的代數群。代數環面與半單代數群都是約化群,一般線性群 G L ( n ) {\displaystyle \mathrm {GL} (n)} 亦然。 「約化」一詞源於下述事實:零特徵域上的約化群的線性表示都是完全可約的。 對於李群 G {\displaystyle G}...
3 KB (479 words) - 10:43, 16 September 2020