Clanlu Clanlu
  • 请到 [后台->外观->菜单] 中设置菜单
  • 登录
现在登录。
  • 请到 [后台->外观->菜单] 中设置菜单

General linear groups of dimension at least 2 are nonabelian

Math 2年 前

Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 1.4 Exercise 1.4.8
Show that $GL_n(F)$ is nonabelian for all $n \geq 2$ and all fields $F$.


Solution: Recall that every field contains 0 and 1, and that $0 \neq 1$. Suppose now that $A, B$ are matrices in $GL_n(F)$ such that the first row of $A$ is $[1,0,\ldots,0,1]$, the first column of $A$ is $[1,0,\ldots,0,0]$, the first row of $B$ is $[1,0,\ldots,0,0]$, and the first column of $B$ is $[1,0,\ldots,0,1]$. Such matrices always exist in $GL_n(F)$; for instance, take the identity matrix and change the $(1,n)$ or $(n,1)$ entry from 0 to 1. The resulting matrix is either upper or lower triangular, so that the determinant is the product of the diagonal entries. This product is 1, so that $A$ and $B$ are invertible.
With $A$ and $B$ having this form, the $(1,1)$-entry of $AB$ is 2 and the $(1,1)$-entry of $BA$ is 1. If $1 = 2$ in $F$ then we have $0 = 1$, a contradiction. Since matrices are equal precisely when their corresponding entries are equal, we have $AB \neq BA$. Thus $GL_n(F)$ is nonabelian for $n \geq 2$ and for all fields $F$ where $0 \neq 1$.

#Field#General Linear Group#Nonabelian Group
0
Math
O(∩_∩)O哈哈~
猜你喜欢
  • The set of prime ideals of a commutative ring contains inclusion-minimal elements
  • Use Zorn’s Lemma to construct an ideal which maximally does not contain a given finitely generated ideal
  • Not every ideal is prime
  • Characterization of maximal ideals in the ring of all continuous real-valued functions
  • Definition and basic properties of the Jacobson radical of an ideal
30 11月, 2017
Solution to Linear Algebra Hoffman & Kunze Chapter 6.6
精选标签
  • Subgroup 40
  • Order 37
  • Counterexample 36
Copyright © 2022 Clanlu. Designed by nicetheme.