일반선형군

수학에서 일반선형군(一般線型群, 영어: general linear group)은 주어진 벡터 공간의 가역 선형 변환들이 이루는 군이다.

정의

체 $K$ 에 대한 벡터 공간 $V$ 의 일반선형군 $\operatorname {GL} (V)$ 은 가역 선형 변환 $M\colon V\to V$ 들의, 함수의 합성에 대한 군이다. 이는 $K$ -대수군을 이룬다.

만약 $V$ 가 유한 차원 $V=K^{n}$ 일 경우, $\operatorname {GL} (V)$ 를 $\operatorname {GL} (n;K)$ 라고 쓴다. 이는 $n\times n$ $K$ -가역행렬들의 군으로 여길 수 있다. 만약 $K$ 가 실수체 또는 복소수체인 경우, 이는 실수 또는 복소 리 군이다.

성질

실수 일반선형군

실수 일반선형군 $\operatorname {GL} (n;\mathbb {R} )$ 은 $n^{2}$ 차원 실수 리 군이다. 그 리 대수 ${\mathfrak {gl}}(n;\mathbb {R} )$ 는 $n\times n$ 실수 행렬들의 리 대수이다.

다양체로서, 실수 일반선형군 $\operatorname {GL} (n;\mathbb {R} )$ 은 콤팩트 공간 또는 연결 공간이 아니며, 두 개의 연결 성분을 갖는다. 이는 각각 행렬식이 양수인 성분과 음수인 성분이다. 단위원을 포함하는, 행렬식이 양수인 부분공간 $\operatorname {GL} ^{+}(n;\mathbb {R} )$ 은 정규 부분군을 이루며, 이에 대한 몫군은 물론 $\mathbb {Z} /2$ 이다.

복소 일반선형군

복소 일반선형군 $\operatorname {GL} (n;\mathbb {C} )$ 은 복소 $n^{2}$ 차원 (실수 $2n^{2}$ 차원) 리 군이다. 그 리 대수 ${\mathfrak {gl}}(n;\mathbb {C} )$ 는 $n\times n$ 복소 행렬들의 리 대수이다.

다양체로서, 복소 일반선형군 $\operatorname {GL} (n;\mathbb {C} )$ 은 연결 공간이며, 콤팩트하지 않다. 그 기본군은

\pi _{1}(\operatorname {GL} (n,\mathbb {C} )\cong \mathbb {Z}

이다.

유한체 일반선형군

유한체 $\mathbb {F} _{q}$ 의 경우, 간혹 $\operatorname {GL} (n;\mathbb {F} _{q})$ 대신 $\operatorname {GL} (n;q)$ 로 쓰기도 한다. $\operatorname {GL} (n;\mathbb {F} _{q})$ 의 크기는 다음과 같다.

\left|\operatorname {GL} (n;\mathbb {F} _{q})\right|=(q^{n}-1)(q^{n}-q)(q^{n}-q^{2})\ \ldots \ (q^{n}-q^{n-1})

같이 보기

외부 링크

“General linear group”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.
Weisstein, Eric Wolfgang. “General linear group”. 《Wolfram MathWorld》 (영어). Wolfram Research.
이철희. “일반 선형군의 표현론”. 《수학노트》.