ブルバキ，リー群とリー環３

Tits system (BN-pair) の定義は実によくできている．が，唐突な感じは否めない．

は群， はその部分群．

• は によって生成される．
• は の正規部分群．
• 剰余群 は によって生成される．
• の各元の位数は 2．
• とおくとき， に対し，
  • 
  • 

これに対して 次が成立：

1. 
2. は Coxeter system．
3. { の部分集合} と { をふくむ の部分群} の間の自然な全単射がある．
4. は によって一意に決まる．