|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 数 ： [すう, かず] 1. (n,n-suf) number 2. figure ・ 論 ： [ろん] 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment ・ 的 ： [まと, てき] 【名詞】 1. mark 2. target ・ 双 ： [そう, ふた] 【名詞】 1. pair 2. set ・ 曲 ： [きょく, くせ] 【名詞】 1. a habit (often a bad habit, i.e. vice) 2. peculiarity ・ 次 ： [つぎ] 1. (n,adj-no) (1) next 2. following 3. subsequent 4. (2) stage 5. station ・ 次元 ： [じげん] 【名詞】 1. dimension ・ 元 ： [げん, もと, がん] 1. (n,n-suf,n-t) (1) origin 2. basis 3. foundation 4. (2) former ・ 多 ： [た] 1. (n,pref) multi- ・ 多様 ： [たよう] 1. (adj-na,n) diversity 2. variety ・ 様 ： [よう] 1. (adj-na,n-adv,n) way 2. manner 3. kind 4. sort 5. appearance 6. like 7. such as 8. so as to 9. in order to 10. so that 1 1. yang 1 ・ 様体 ： [ようたい] 【名詞】 1. appearance 2. condition
数学において、数論的双曲3次元多様体（）は、双曲3次元多様体であって、その基本群が PGL(2,C) の部分群としてであるような多様体である。これらの中で最も小さな体積の多様体は、ウィークス多様体であり、次に小さな体積の多様体はである。 ==トレース体== Γ のトレース体 (trace field) は、 SL(2, C) におけるその元の代表元のトレースにより生成される体であり、それを tr Γ と書く。有限なのクライン群のトレース体は、代数体つまり有理数体の有限拡大であって、総実ではない。 クライン群 Γ(2) の不変トレース体 (invariant trace field) は、Γ の元の平方により生成されるクライン群 Γ(2) のトレース体である。 クライン群 Γの四元数代数 (quaternion algebra) は、トレース体と Γ の元により生成された M(2, C) の部分環であり、Γ が基本的 (elementary) でなければトレース体上の4次元単純代数である。Γ の不変四元数代数 (invariant quaternion algebra) は、Γ(2) の四元数代数である。四元数代数は分解するかもしれない。言い換えると、行列代数となるかも知れない。このことは、Γ が非基本的で双曲元を持っているとき、特に非コンパクト有限余体積3次元多様体のクライン群であるとき、必ず起きる。 不変トレース体と不変四元数代数とは、 SL(2, C) の部分群として、群の広義(wide commensurability class)にのみ依存している。このことはトレース体の場合には成り立たないことが知られている。実際、不変トレース体は、Γ の有限指数部分群のトレース体の中で最小の体である。 数体が数論的双曲3-多様体の不変トレース体であることと、複素埋め込みのただひとつの共役ペアをもつこととは同値である。
|