Skip to content

Instantly share code, notes, and snippets.

I

SU(n) is a simple group?

Bard

Yes, SU(n) is a simple group for all positive integers n. A simple group is a group that does not have any nontrivial normal subgroups. A normal subgroup is a subgroup that is invariant under conjugation. In other words, if H is a normal subgroup of G, then for any g in G, gH = Hg.

The group SU(n) is the group of all n × n unitary matrices with determinant 1. Unitary matrices are matrices that preserve the inner product of vectors. The determinant of a unitary matrix is always 1, so SU(n) is a subgroup of the group U(n) of all n × n unitary matrices.

To show that SU(n) is simple, we need to show that it does not have any nontrivial normal subgroups. Suppose that H is a nontrivial normal subgroup of SU(n). Then H contains a matrix U that is not the identity matrix. Since U is in H, it is also in U(n). But U(n) is a simple group, so H must be equal to U(n). This is a contradiction, since H is a proper subgroup of U(n). Therefore, SU(n) does not have any nontrivial normal

こんにちは。答えを見つけるお手伝いをします。どんな質問がありますか?

単純群と単純リー群について説明してください。

単純群は、自分自身と単位群だけからなる自明なものを除いて、正規部分群を含まない群です⁴。一方、単純リー群は、連結で非可換なリー群Gであり、非自明な連結正規部分群を持たないものです¹³。これらは異なる概念ですが、関連しています。さらに詳しい情報が必要ですか?😊

  1. 多元環とリー群(その3) - さくらのレンタルサーバ
  2. 単純リー群 - Wikipedia
  3. 単純リー群とは - わかりやすく解説 Weblio辞書
  4. リー群 - Wikipedia
@etale
etale / navis.md
Last active January 3, 2021 04:29
@etale
etale / MAX_VALUE.js
Created June 22, 2020 02:38
Number.MAX_VALUE
(2**53-1)/2**52 * 2**1023 === Number.MAX_VALUE
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
{
"ΔνCs": 9192631770,
"c": 299792458,
"h": 6.62607015e-34,
"e": 1.602176634e-19,
"k": 1.380649e-23,
"NA": 6.02214076e+23,
"Kcd": 683
}
@etale
etale / split.js
Last active March 5, 2018 02:31
Sometimes I want to split an integer.
(({ defineProperty }, { prototype }) => (
defineProperty(prototype, 'divmod', {
value(a) {
return (
a === 0 ? [0, this.valueOf()] :
((r) => (
((q) => (
[q, r]
))((this - r) / a)
))(this % a)
/*
* Your Stylesheet
*
* This stylesheet is loaded when Atom starts up and is reloaded automatically
* when it is changed and saved.
*
* Add your own CSS or Less to fully customize Atom.
* If you are unfamiliar with Less, you can read more about it here:
* http://lesscss.org
*/