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

A finite group is abelian if and only if its Cayley table is a symmetric matrix

Math 2年 前

Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 1.1 Exercise 1.1.10
Prove that a finite group is abelian if and only if its group table is a symmetric matrix.


Solution: If $G$ is a finite group, there exists a bijective indexing map $\varphi : [1,n] \rightarrow G$ for some natural number $n$; we can then define the group table $T = [t_{i,j}]$ of $G$ induced by $\varphi$ to be a matrix with $t_{i,j} = g_i \cdot g_j$.
($\Rightarrow$) Suppose $G$ is a finite abelian group. Then for all $1 \leq i,j \leq n$ we have $$t_{i,j} = g_i \cdot g_j = g_j \cdot g_i = t_{j,i}.$$ Hence $T$ is symmetric.
($\Leftarrow$) Suppose $T$ is a symmetric matrix. Then for all $1 \leq i,j \leq n$ we have $$g_i \cdot g_j = t_{i,j} = t_{j,i} = g_j \cdot g_i,$$ so that $G$ is abelian.

#Abelian Group#Cayley Table
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
04 10月, 2020
Definition of the n-ary direct product of groups
精选标签
  • Subgroup 40
  • Order 37
  • Counterexample 36
Copyright © 2022 Clanlu. Designed by nicetheme.