Questions tagged [general-linear-group]

The general linear group of order $n$, $GL_n(\mathbb{F})$, over a field $\mathbb{F}$ (usually $\mathbb{R}$ or $\mathbb{C}$) is the group of $n\times n$ invertible matrices over $\mathbb{F}$. The operation is the usual matrix multiplicatoin.

Let $\mathbb{F}$, usually $\mathbb{R}$ or $\mathbb{C}$, be a field. The general linear group of order $n$, $GL_n(\mathbb{F})$ is the set of invertible $n\times n$ matrices over $\mathbb{F}$; if $\mathbb{F}$ is clear, it is occasionally omitted from the notation. Since the determinant is a homomorphism, $GL_n(\mathbb{F})$ is indeed a group; the identity matrix $I_n$ is the identity element. It is not an abelian group for $n\geq 2$ because matrix multiplication does not usually commute.

In the case of a finite field $\mathbb{F}_q$, $|GL_n(\mathbb{F}_q)| = \prod\limits_{k=0}^{n-1}q^n-q^k$; this can be seen by examining the number of linearly independent columns.

$GL_n(\mathbb{F})$ has a multitude of subgroups. Some include those consisting of those matrices with determinant $1$, i.e. the special linear group $SL_n(\mathbb{F})$, invertible diagonal matrices, various orthogonal, unitary, and normal groups, and more.

217 questions
19
votes
4 answers

Is there a surjective group homomorphism $\operatorname{GL}_{n}(k) \to \operatorname{GL}_{m}(k)$ where $n > m$?

Does there exist a field $k$, two positive integers $n > m > 1$, and a surjective group homomorphism $\operatorname{GL}_{n}(k) \to \operatorname{GL}_{m}(k)$? Here $k$ can be any field, and $\operatorname{GL}_{n}(k)$ is viewed as an abstract group…
13
votes
2 answers

Does the association $V \mapsto GL(V)$ define a functor?

As is stated in the title: Question: for $k$ a field, does there exist a functor $F: k$-$\mathrm{v.s.} \to \mathrm{Grp}$ which on objects is $V \mapsto GL(V)$? My guess is no, because it doesn't look to me like there's a sensible way to map the…
13
votes
1 answer

When are $GL_n$ and $GL_m$ equivalent... in characteristic 2?

For fields $K$ and $L$, I am interested in proving that "$GL_n(K)$ and $GL_m(L)$ are isomorphic (as groups) if and only if $m=n$ and $K\simeq L$". I don't know how generally this is true, but: assume $K=L$. In that case, if $char(K) \neq 2$ then…
11
votes
1 answer

What are the continuous outer automorphisms of the general linear group?

Is the only continuous outer automorphism of $\operatorname{GL}(n, \mathbb{R})$ the transpose inverse map $g \mapsto (g^\intercal)^{-1}$? If not, what other continuous outer automorphisms are there?
10
votes
2 answers

Are a $2\times 2$ matrix in $\text{SL}(2,\mathbb{Z})$ and its transpose conjugate in $\text{GL}(2,\mathbb{Z})$?

I've been studying some math by myself this summer, and have recently been doing some reading about the groups $\text{GL}(2,\mathbb{Z})$, $\text{SL}(2,\mathbb{Z})$, etc. I've been trying to get a better grasp of conjugation in these groups, but have…
9
votes
2 answers

Irreducible finite dimensional complex representation of $GL_2(\Bbb C)$

I know the basic theory of representation theory of compact Lie groups and I want to understand a non-compact example: How to find all irreducible finite dimensional complex representations of $GL_2(\Bbb C)$? Are its finite dimensional complex…
8
votes
2 answers

Does $S_n$ always embed into $GL_{n-1} (\mathbb{F}_p$)?

$S_n$ is the symmetry group of the standard $n-1$-simplex, which is the convex hull of the standard basis vectors in $\mathbb{R}^n$. One can orthogonally project this shape onto the plane $x_1 +...+ x_n = 0$, which is isomorphic to…
8
votes
2 answers

Classification of finite subgroups of $\textrm{GL}_2(\mathbb{C})$

I was reading $\textit{A Report on Artin's Holomorphy Conjecture}$ by Dipendra Prasad and C. S. Yogananda. (http://www.math.tifr.res.in/~dprasad/artin.pdf) On p. 9, they state that the finite subgroups of $\textrm{GL}_2(\mathbb{C})$ can be…
8
votes
3 answers

Order of $GL(2, \mathbb{Z}_4)$

In this wiki page, it is stated that the order for $GL(2, \mathbb{Z}_4)$ is 96. But I don't understand the explanation it gives. It seems that they are using some sort of formula. I never encountered a formula like that before. Can someone clarify…
Benjamin
  • 621
  • 5
  • 14
8
votes
3 answers

Can we find element of order $q^2-1$ in $\text{GL}_2(\mathbb{F}_q)$?

How to find element of order $q^2-1$ in $\text{GL}_2(\mathbb{F}_q)$? I am hoping to find field $\mathbb F_{q^2}$ as subalgebra of $2\times 2$ matrices over field $\mathbb F_q$ where $q$ is power of prime number. I was trying with element $\pmatrix…
7
votes
1 answer

Every finite subgroup of $GL_n(Q)$ is conjugated to a subgroup of $GL_n(R)$.

Claim: let $R$ be a principal ideal domain and $Q$ be its quotient field. Then every finite subgroup of $GL_n(Q)$ is conjugated to a subgroup of $GL_n(R)$. So I want to solve this exercise but I really have no idea where to start (how to use the…
7
votes
1 answer

Rational matrix whose power is an integer matrix

Problem For arbitrary matrix $A\in M_n(\mathbb Q)$ such that $\det (xI-A)\in \mathbb Z[x]$ and $\det A=\pm1$, is there any $k\in \mathbb N_+$ such that $A^k\in M_n(\mathbb Z)$? This problem is inspired by the math-overflow answer here. I wonder a…
7
votes
1 answer

Schur’s lemma over $\mathbb{F}_p$

I’m studying modular representation theory, and I got really stuck with the seemingly innocent statement. Consider $\mathrm{GL}_{2}(\mathbb{F}_{p})$ and its center $Z$, which is just a set of all scalar matrices. Now let $\pi:…
7
votes
1 answer

Is there an isomorphic copy of $SL(a,q^b)$ in $SL(b,q^a)$

Let $q$ be a prime power and $a,b$ be positive coprime integers. Let $SL(a,q^b)$ be the special linear group of $a\times a$ matrices over the field $\mathbb F_{q^b}$. Is it true that there is no isomorphic copy of $SL(a,q^b)$ in $SL(b,q^a)$? I can…
Reyx_0
  • 1,158
6
votes
1 answer

What's the maximum order of an element in $SL_2(\mathbb{Z} /p\mathbb{Z})$ for $p>2$ prime?

I know the answer is $2p$ as I've checked it for $p=3,5$ and $71$. The characteristic polynomial of a matrix $A\in$ $SL_2(\mathbb{Z} /p\mathbb{Z})$ is $P_A(x)=x^2-tr(A)x+1$, so if this polynomial has a solution, the matrix can be diagonalized. I've…
1
2 3
14 15