特性類 (とくせいるい、) は、位相群を構造群とするファイバーバンドルの不変量であり、（十分性質がよい）位相空間を底空間とするファイバーバンドル
に対し、のコホモロジー群の元を対応させる対応関係
で、「自然な」ものである。
原理的には任意のファイバーバンドルに対して特性類を定義できるが、研究が進んでいるのは主にベクトルバンドルに対する特性類である。ベクトルバンドルの特性類は以下の数学の分野に応用がある：
K理論 チャーン・ヴェイユ理論 コボルディズム理論
またが可微分多様体であれば、の接バンドルの特性類を自身の不変量とみなす事ができる。接バンドルはの可微分構造に依存しているので、ミルナーはの特性類を利用する事により、の存在を示した。
1935年の多様体上のベクトル場についてのエドゥアルト・シュティーフェル (Eduard Stiefel) とハスラー・ホイットニー (Hassler Whitney) の仕事より、特性類の考え方が発生した。
定義と基本的な性質
定義 以下、をファイバーに持つファイバーバンドルの事を-バンドルと呼ぶこととし、全空間、底空間および射影からなる-バンドルをと表記する。特性類の概念を厳密に定義するには圏論の概念を使う必要があるので、まずは若干厳密性を犠牲にした定義を以下に述べる：
上の定義における記号の意味を説明すると、における左辺のは、がコホモロジーに誘導する写像
の事であり、右辺のは上の-バンドルのによる引き戻しによって定義される上の-バンドルの事である。
注意点 上の定義に関して２つの注意点を述べる。第一に、上の定義におけるバンドル写像は構造群のへの作用と両立するもののみを考えている。したがって例えば次元実ベクトルバンドルをを構造群として持つ-バンドルとみなしたとき、各点のファイバー上にバンドル写像を制限したは線型同型写像でなければならず、行列式がになってはならない。逆に言えば、いずれかの点で行列式がになるに対してはが成立する必要はないし、次元が異なるベクトルバンドル間の写像に関してもこの性質が成立する必要はない。
第二に、本項では多くの教科書と同様、ファイバーバンドルの底空間がCW複体である場合に限定して特性類を定義したが、より一般の空間、例えばパラコンパクトな位相空間に対しても特性類を定義できる#Mitchell pp.24-25.。ただしこの場合本項で述べる性質のいくつかは成立しない。なお幾何学における多くの用途ではCW複体を対象にすれば十分である。実際、任意の可微分多様体は単体的複体、したがってCW複体と位相同型になる事が知られており#Friedl p.10.、（可微分とは限らない）位相多様体もコンパクトな場合はCW複体とホモトピー同型になる事が知られている。さらにいえば任意の位相空間はCW複体とである#Davis p.186.。
また本項では底空間に対してはCW複体である事を要求したものの、構造群G、ファイバー、全空間は（CW複体とは限らない）任意の位相群、位相空間でよい。
ホモトープな写像の特性類
構造群を持つファイバーバンドルの性質として以下が知られている：
すなわち特性類を考える上では、底空間の間の写像はホモトピークラスのみを考慮すればよい。
厳密な定義 以上では特性類の定義に「対応関係」という未定義の言葉を使ったが、圏論の概念を使えばこうした未定義の語に頼らずに特性類の概念を定義できる：なお、上述の特性類の定義において圏の射は連続写像としたが、下記の定理より、これを胞体写像に変えても定義は同値になる：
特性類に登場するコホモロジーとして、特異コホモロジーより簡便な（だが特異コホモロジーと同値である）胞体コホモロジーを用いる場合は議論に胞体写像を用いる必要があるのでこの定理は有用である。
ファイバーバンドルとその主バンドルの関係
以下の事実は特性類を具体的に定義する上で鍵となる重要な性質である：
この定理と特例類の定義からファイバーバンドルの特性類と主バンドルの特性類が1対1対応するという重要な事実が明らかに従う：
この事実からファイバーバンドルに対して特性類を定義するには主バンドルに対して特性類が定義できる事が必要十分である事がわかる。そこで以下、おもに主バンドルにフォーカスして特性類の議論をすすめる事とする。
なお上の定理ではがに効果的に作用している事を仮定しているが、多くの場合この仮定は必須ではない。実際、が十分性質の良い空間、たとえはCW複体であれば、のへの作用が連続である必要十分条件は、のへ作用のから定まる写像が（にコンパクト開位相を入れたとき）連続になる事である。よっての作用が忠実ではない場合であっても、写像のカーネルで割った位相群はへ忠実かつ連続に作用するので、-バンドルの特性類を定義するには主-バンドルの特性類を定義すれば良い。
分類空間 本節では位相群の分類空間のいう概念を導入し、分類空間の概念を用いて主バンドルの特性類の概念を全く別の角度から特徴づける。この分類空間を用いた特性類の定義は、後の節で特性類の具体例を構築する上で非常に有益である。
定義と性質
定義 分類空間の概念を定義するため、まず以下の概念を定義する。
弱可縮の概念を用いて、分類空間の概念は以下のように定義される：
「分類空間」という名称の由来は次節に回すが、分類空間は必ず存在し、本質的に一意である：上述したように、分類空間はホモトピー同型を除いて一意ではあるものの、同一の位相群に対し位相同型ではない複数の分類空間が存在しうる。このため位相群に対する個々の分類空間の事を分類空間のモデル（）という。
分類定理 分類空間はその名称が示す通り、与えられた底空間上の-バンドルは、底空間から普遍-バンドルへの写像のホモトピークラスにより完全に分類される：
なお、上の定理において写像がwell-definedな事は、ホモトープな２つの写像が引き戻したバンドルは互いに同型な事だというすでに見た事実から従う。
上記の定理から、上の任意の主-バンドルに対し、写像がホモトピー同値を除いて一意に定まる。このの事をの分類写像（）という#Bruner p.21.。
構造群を持つファイバーバンドルと主-バンドルは1対1対応するので、上記の定理から一般のファイバーバンドルに対する分類定理が系として従う： 分類定理の場合と同様、上の-バンドルに対応する写像をの分類写像（）という。
離散群の分類空間 が離散群である場合は、定義より明らかに次が成立する：
この意味において、分類空間とは離散群におけるアイレンベルグ・マックレーン空間の概念を位相群に拡張したものである。
準同型から誘導される写像 2つの位相群、の間の連続な準同型写像が与えられたとき、から分類空間の間の写像を定義できる。
この事を見るために主バンドルの一般論を簡単に復習する。を主-バンドルとし、を連続準同型写像とするとき、
をを同値関係
で割った空間とする事で、バランス積（#Mitchell p.4.）と呼ばれる上の主-バンドル
を構成できる。そこでを次のように定義する：
実はこの対応関係は関手になっている：
分類空間の性質
本節では、後で特性類を計算するとき必要となる分類空間の性質を述べる。
分類空間の関手は直積に関して以下のように振る舞う。
なお圏論的に言えば、「」はコンパクト生成位相空間の圏における圏論的な直積になっている。
分類空間による特性類の特徴づけ
分類空間の概念を用いる事により、主バンドルに対する特性類の概念を以下のように特徴づける事ができる： 上述の定理の1対1関係は具体的に以下のようにかける。すでに述べたように構造群の忠実な作用を持つ任意の-バンドルの特性類は主-バンドルの特性類と主-バンドルの1対1対応するのでこの場合に話を限定する。 まず主-バンドルの任意の特性類に対し、
が対応する。逆にを任意に選ぶと、主-バンドルに対し、分類定理により分類写像がホモトピーを除いて一意に定まるので、のに対する特性類を
により定義できる。
上の定理から、の元を普遍特性類()という事がある。上の定理は普遍特性類と特性類が1対1対応する事を意味している。
定理の証明は以下の通りである：
ベクトルバンドルの構造群の分類空間 特性類の概念は原理的には任意の位相群の主バンドルに対して定義できるが、研究が進んでいるのはベクトルバンドル（の主バンドル）に対する特性類である。
そこでベクトルバンドルの特性類について記述するための準備として、本節ではベクトルバンドルの構造群の分類空間を具体的に記述する。
すなわち本節ではに対し、一般線型群の分類空間を記述する。さらにの場合にはベクトルバンドルに向き付けが定義可能なので、向き付け可能な上ベクトルバンドルの構造群であるの分類空間についても記述する。ここでは行列式が正の上可逆行列のなす群である。
本節ではさらに、ユニタリ群、直交群、回転群の分類空間についても記述する。後述するように、、の分類空間は、実はそれぞれ、、の分類空間と等しい。
スティーフェル多様体とグラスマン多様体 の分類空間を記述する為、本節ではとを定義する。
後述するようにこれらはそれぞれ普遍-バンドルの全空間、分類空間になる。が次元の有限次元ベクトル空間の場合は、、、は集合として自然に
という同一視ができに対するこの同一視の詳細は下記の通り。、も同様。
の基底を1つfixすると、写像、の元との-フレーム（すなわちのの基底）が1対1に対応する。
写像-フレームの後ろ本のベクトルを「忘れる」写像により、-フレームに-フレームを対応させる事ができる。
この２つを合成したを考える事で、が-フレーム全体の集合に推移的に作用するが、この作用のkernelはであるので、はと同一視できる。、上式右辺には多様体としての構造が入る事がリー群の一般論一般に、リー群を閉部分リー群で割った等質空間にはから多様体としての構造が誘導される。から従うので、スティーフェル「多様体」と呼ぶ。が無限次元の場合は、、は有限次元多様体にはならないが、言葉を混用してこの場合もスティーフェル「多様体」と呼ぶ。スティーフェル多様体と同様、が次元の有限次元ベクトル空間であれば、
および
という同一視ができ、この同一視により、、に多様体としての構造が入る。
の分類空間の具体的記述 スティーフェル多様体の元である-フレームにそのフレームの貼る部分空間を対応させる事で商写像
を定義できる。、、も同様に定義できる。
上記の定理に関する留意点を述べる。に対するの分類空間はの分類空間と同一な空間である。
これはCW複体上の任意のベクトルバンドルには必ず内積が定義でき、グラム・シュミットの正規直交化法によりがに可縮である事が理由である#Mitchell pp.14,19.。
普遍-平面バンドル 分類定理で述べたように、上の主-バンドルに随伴する次元ベクトルバンドルは、任意のCW複体上の次元ベクトルバンドルを分類する上で有益である。このために随伴する次元ベクトルバンドルの事を普遍-平面バンドル（）#May pp.188-189.と呼ぶ。
バンドルの一般論から、普遍-平面バンドルはと表記できるが、より具体的に表記する事も可能である。
グラスマン多様体はの次元部分ベクトル空間全体のなす多様体なので、グラスマン多様体の元＝ベクトル空間上のファイバーとして、自身を取ったベクトルバンドルを定義でき、これをグラスマン多様体のと呼ぶが、のトートロジカル・バンドルが普遍-平面バンドルになっている。
具体的には
とし、第一成分への射影によりを上のベクトルバンドルとみなしたものがのトートロジカル・バンドルであり、に関する帰納的極限をとった
が普遍-平面バンドルになっている。
複素ベクトルバンドルの特性類：チャーン類 本章では、複素ベクトルバンドルの特性類であるチャーン類について述べる。これまでの議論からわかるように、複素ベクトルバンドルの整数係数の特性類とは分類空間
のコホモロジーの元と1対1対応するので、の具体的構成を調べる事で複素ベクトルバンドルの特性類を決定できる。チャーン類は、の生成元である。
の具体的記述 チャーン類について記述するため、まずの具体的構成を調べる。に対しては以下が成立する：
なお、上の補題においては偶数次のコホモロジーの元なので、上カップ積は可換であるため、が可換環であるという事実と矛盾しない。
一般のに対しての具体的構造を求めるため、連続準同型写像埋め込みの取り方はの基底の取り方に依存する。しかしこれらの埋め込みは上の内部自己同型で互いに移り合う関係にある（これは極大トーラスが内部自己同型を除いて一意だというリー群の一般論からも従う）ので、後述する補題により、どの埋め込みもコホモロジー間に同一の写像を誘導する。よって特に、後述するチャーン類の定義はの基底の取り方によらずwell-definedである。
を考える。ここではを行列の対角成分に配置したの元である。（なおリー群の観点からは、の極大トーラスである）。このとき以下が成立する。
なお、上式においてコホモロジー環における積はカップ積である。また上式の値域における同型は直積に対する分類空間の振る舞いと、および上記の補題から従う。
以上の事実から、後はのによる像がのどのような部分集合に落ちるかを決定すれば、を具体的に書きあらわす事ができる。
の像を決定するため、主バンドル一般に対して成立する以下の事実を利用する：
に対しを上の内部自己同型とすると、上述の命題より、がコホモロジー群に誘導する写像
は恒等写像である。単射によりをの部分群とみなし、の正規化群
をの中心化群
で割ったを考え、
と定義するのへの制限は上の（自己同型ではあるが）内部自己同型ではないので、がに誘導する写像
は恒等写像ではない事に注意されたい。とこの定義はWell-definedである。ここでは同値類を表す。
このとき次の事実が従う事が知られている：一般に連結なコンパクトリー群に対し、の極大トーラスをとするとき、の正規化群を中心化群で割った群
の事をのワイル群という。なお極大トーラスは共役を除いて一意に定まる事が知られているので、ワイル群は極大トーラスの取り方によらず同型になる。またの極大性から中心化群は実は自身に等しい。
明らかに前述のはのワイル群に相当する。後はのワイル群を決定しさえすれば、の構造が決定できる。
チャーン類 を第成分と第成分を入れ替える行列とすると、明らかにである。この事実を利用すると、以下の事実が示せる：
位相群に分類空間を対応させる関手と位相空間にコホモロジー環を対応させる関手が直積を保つので、上述の定理からはのを入れ替える形でに作用する。よって
は対称多項式全体の集合に一致する。よく知られているように、任意の対称多項式は基本対称式の多項式として書けるので、以上の事実からチャーン類を以下のように定義する：
分類空間の元と特性類は1対1でするので、第チャーン類に対応する特性類
をベクトルバンドルの第チャーン類という。分類空間の元をと区別したいときは、を第普遍チャーン類（）という。
なお、を「次の基本対象式」とみなし、を第チャーン類と呼ぶ。また次以上の基本対称式は存在しないので、に対しては、第チャーン類をと定義するすなわち、のときは基本対象式の定義における和が空和になるので、次の基本対象式をとみなすという事である。。
またチャーン類は埋め込みを使って定義されており、この埋め込みはの正規直交基底の取り方に依存している。しかし正規直交基底の取り替えにより、はの内部自己同型との合成に置き換わるだけなので、前述した命題から、チャーン類は正規直交基底の取り方によらずwell-definedである。
以上で見たように各は対称多項式の根に相当するものなので、の事をチャーン根（#Walton p.8.）という。
これまでの議論とチャーン類の定義から明らかに以下の事実が従う：
規約 チャーン類の定義において、の代わりに単元をこれらに掛けたをチャーン根とするようにチャーン類を定義する事もできるため、チャーン類の定義には単元の選び方だけ自由度がある事になる。
そこで何らかの規約を置くことでこの自由度を消す必要があるが、どのような規約を置くかは分野による。代数的位相幾何学では普遍1-平面バンドルに対し、がのcanonicalな生成元になるという規約を置く事が多いが#May p.199.、代数幾何学ではの双対ベクトルバンドルに対してがのcanonicalな生成元になるという規約を置く事が多い。
区別のため代数幾何学の方のチャーン類をと書くことにすると、代数的位相幾何学のチャーン類とは
という関係を満たす。本稿では以下、特に断りがない限り、代数的位相幾何学の規約を採用するものとする。
チャーン類の公理的特徴づけ
前節で定義したチャーン類が次元公理と正規化公理を満たすのは明らかである。ホイットニー和の公式の証明は下記のとおりである。
一方、上記の公理を満たす特性類の一意性は数学的帰納法により容易に示せる。
チャーン多項式
チャーン類を取り扱う上で、下記のチャーン多項式を考えると便利である：
なお、チャーン類の定義より、チャーン多項式はチャーン根を使って形式的に
と因数分解できる。
チャーン多項式を用いると、ホイットニー和の公式は以下のように言い換えられる：
チャーン多項式の性質 チャーン多項式は以下の性質を満たす。なお文献によっては以下の性質をチャーン類の公理として入れているものもあるが#Bruner p.33. #Behrens p.1.、実は他の公理から従うので#Walton p.6.、公理に入れる必要はない。
実ベクトルバンドルの特性類 本節以降、実ベクトルバンドルの特性類を記述していくが、その記述は複素ベクトルバンドルのそれと比べかなり複雑であるので、詳細は次節以降に譲り、本節では実ベクトルバンドルの特性類の概要を述べる。
実ベクトルバンドルの特性類が複雑になる理由は２つある：
実ベクトルバンドルの主バンドルの分類空間は複素ベクトルバンドルの主バンドルのと違い、-捩れ部分群を持つ。この捩れ部分群が「悪さ」をするため、を簡単に記述する事ができない。 実ベクトルバンドルの場合は複素ベクトルバンドルと違い、向き付けの概念がある。このため向き付けのない場合の分類空間と向き付けのある場合の分類空間の両方を考察しなければならない。
1つ目の問題を回避するために、以下ではを直接考察するのを諦め、との２つを別々に考察することにする。ここではの逆元を持つ任意の可換環例えばに対するや、有理数体など。なお、普遍係数定理があるので、の場合だけ考えれば十分である。である。を使う事でとからを計算できるので、実用上はこの２つに対する特性類が把握できていれば十分である。
2つ目の問題に関しては、ととは環構造が異なるので、この２つを両方とも考察する必要がある。
係数環がの場合 係数環がの場合の特性類の記述は比較的簡単であり、との差はさほど大きくなく、
という形で両者を記述できる。ここではスティーフェル・ホイットニー類と呼ばれる特性類で、このようなの存在はチャーン類の場合と類似した方法で証明できる。ただし第チャーン類が次のコホモロジー群に属するのに対し、第スティーフェル・ホイットニー類は次のコホモロジー群に属するので注意が必要である。
係数環がを満たすの場合 それに対し係数環がを満たすの場合はより複雑である。に関しては、
の形で記述でき、をポントリャーギン類という。（は次のコホモロジー群に属する）。ここでは床関数である。 具体的にはポントリャーギン類は実ベクトルバンドルを複素化する事で得られる複素ベクトルバンドルのチャーン類を使って
と書ける。（なお、実ベクトルバンドルの複素化の場合、奇数次のチャーン類はを満たし、よって係数環がの場合は必ずになる）。
一方、はが偶数か奇数で形が異なり、
と書ける。ここでは前述のポントリャーギン類であり、はオイラー類と呼ばれる特性類である。または多項式環においてをと同一視して得られる環を表す。すなわちを単項イデアルで割った環である。
以上をまとめると、実ベクトルバンドルの分類空間のコホモロジーは以下のように記述できる： +係数環分類空間コホモロジー、を満たすs.t. は奇数s.t. は偶数
スティーフェル・ホイットニー類
本節ではの構造を具体的に決定し、それをもとにスティーフェル・ホイットニー類を定義する。
の構造の決定方法やスティーフェル・ホイットニー類の定義は、基本的にはの構造の決定方法やチャーン類の定義と同様である。一点大きく違うのは、チャーン類の場合はを満たすが2次のコホモロジー群に属していたのに対し、スティーフェル・ホイットニー類の場合はそのような元が1次のコホモロジー群に属する事である：
この違いが原因でチャーン類は偶数次のコホモロジー群にしか登場しなかったが、スティーフェル・ホイットニー類は奇数次のコホモロジーにも登場する。
なお、コホモロジーの係数がなので、カップ積は奇数次のコホモロジーにおいても可換である。
の具体的記述
自然数に対しの具体的形を調べるため、チャーン類のときと同様、連続準同型写像
によりをの部分群とみなす。ここで「」は対角線上に行列を並べる演算である。
を内部自己同型とする。チャーン類の時と同様、の正規化群
をの中心化群
で割ったを考えはの極大トーラスではないので、チャーン類のときと違い、はワイル群ではない。、
と定義するとこの定義はWell-definedである。ここでは同値類を表す。このとき次の事実が従う：ここではの番目のの生成元である。
スティーフェル・ホイットニー類の定義 スティーフェル・ホイットニー類を以下のように定義する：
分類空間の元と特性類は1対1でするので、第スティーフェル・ホイットニー類に対応する特性類
をベクトルバンドルの第スティーフェル・ホイットニー類という。分類空間の元をと区別したいときは、を第普遍スティーフェル・ホイットニー類（）という。
チャーン類のときと同様、、 for と定義する。
明らかに以下の事実が従う#Cohen p.95.：
公理的特徴づけ チャーン類と同様スティーフェル・ホイットニー類も公理的に特徴づける事ができる：
性質 全チャーン類と同様、全スティーフェル・ホイットニー類を定義でき、全チャーン類と同様の性質を示す事ができるチャーン類の場合と同様、原理的には全スティーフェル・ホイットニー類のみならず、スティーフェル・ホイットニー多項式が定義できるはずだが、スティーフェル・ホイットニー多項式を定義している文献がほとんどなかったため、説明を省いた。：
自然な写像が誘導する写像は単射であり、の生成元の自乗がに移る事が知られている#Bruner p.47.。したがって はに移るが、上ではになので、以下が成立する：
逆に複素ベクトルバンドルから複素構造を実ベクトルバンドルとみなしたものをの脱複素化（、）と呼び、と書くと任意の非負整数に対して以下が成立する事が知られている：
ポントリャーギン類とオイラー類
本節ではを満たす可換環に対し、、の構造を決定し、これをもとにポントリャーギン類とオイラー類を定義する。
定義 本節ではコホモロジー環、の構造し、これをもとにポントリャーギン類とオイラー類を定義する。そのために利用するのは、チャーン類のときと同様、ワイル群に関する議論である。そこでの極大トーラスを記述するため、が偶数であるか奇数であるかに応じて、としてを
により定義する#Bruner pp.57-61.。ここで「」は対角線上に行列を並べる演算であり、は2次元の回転行列
である。によるの像はの極大トーラスである事が知られている。さらに自然な埋め込みを考える。
そしてこれら２つの写像が分類空間のコホモロジーに誘導する写像を考える：
上式の最後の同型「」は、リー群としてである事からチャーン類のときの議論により従う。ここで「」は環としての同型であり、の積はカップ積である。
またはの番目のの生成元であり、は次数のコホモロジーに属している。（これらもチャーン類のときの議論により従う）。
なお、の生成元の選び方は、の単元倍の自由度があるので、この自由度をなくす為、以下の規約を置く：
上で自然な同型を用いた。このように規約を決めると、チャーン類の定義からは整数係数のコホモロジーに属する事になるのが利点である。
本項の目標は、を用いる事でとの構造を特定し、これをもとにポントリャーギン類とオイラー類を定義する事である。
詳細は後回しにし、先に結論を述べる。
ポントリャーギン類とオイラー類を以下のように定義する：
紛れがなければ、、を単に、と書く。
分類空間やの元と特性類は1対1でするので、第ポントリャーギン類やオイラー類に対応する特性類 、 をそれぞれベクトルバンドルの第ポントリャーギン類、オイラー類という。分類空間の元、を、と区別したいときは、、をそれぞれ第普遍ポントリャーギン類（）、普遍オイラー類（）という。
なぜ上述の定理が成立するのかについては後述する。
定理の証明のアイデア
本節では、前述したとの構造を記述した定理がなぜ成立するかを次の３つの場合に分けて説明する： が偶数の場合のの構造 が奇数の場合のの構造 の構造
準備
定理を示すにはチャーン類の場合と同様、ワイル群を用いる事での構造を決定する。そのためにBorelによる以下の一般的な定義を用いる：
がのねじれ元を持たない事を利用して、以下の命題を示せる：
上述の命題ではBorelの定理で「」であったところが「」に代わっているが、普遍係数定理を用いる事で「」に代えてよい事が容易に示せる。
以上の事からのワイル群の具体的な形と
の具体的な形を決定すればの具体的な形が決定できる事になる。
が偶数の場合のの構造 とし、ワイル群の具体的な形を決定するため、実ベクトル空間としてという同一視をし、以下の２種類の行列を考える#Conrad pp.1-4.： ：の成分を置換に従って入れ替える置換行列。すなわちをに写す行列。 ：の符号を反転する写像。すなわちをに写す行列。ここではクロネッカーのデルタである。
の方はとがセットになって置換されるので上の空間の向きを保ち、に属するが、の方は空間の向きを反転するのでには属するもののには属さない。しかしを偶数個かけ合わせたものはに属する。
よって、が上に誘導する写像を特定すれば、の構造が決定できるが、これらの写像は以下の通りである：
よって、以下が成立する：
これらの事実を用いると、基本対称式とを用いて、
と書ける事がわかる。
が奇数の場合のの構造 とし、ワイル群を具体的に求めるため、実ベクトル空間としてという同一視をし、、をが偶数の場合と同様に取る。さらに以下の行列を考える： ：にを対応させる写像。 は明らかに位数の元であり、しかもと可換である。そして埋め込みの定義からによる共役は上恒等写像になる。
が偶数の場合と同様の議論により、ワイル群の任意の元はの偶数個の積ととの積により書ける事がわかるが、に着目するとさらに簡単な表現も得られる。
実際、による共役は上恒等写像なので、変換に影響するのは以外の（と）のみである。そしてこれらの積が偶数個の積であっても奇数個の積であっても、
とすると、は必ず偶数個の元の積である。よって以下が成立する：
が偶数の場合と同様、、が上に誘導する写像は、それぞれをに写す写像、をに代える写像である。またによる共役は恒等写像なので、が上に誘導する写像もをに代える写像である。よって以下が成立する。
これらの写像で不変な元はの対称式なので、基本対称式を用いて、
と書ける事がわかる。
の構造
である事から、部分群の分類空間に関する定理より、包含写像が誘導する写像
は-主バンドルである。
のへの作用は、のへの作用を誘導する。の作用により不変なの元の集合をとすると以下が成立する事が知られている：
上述の定理から特に、