ریاضیات

درخت براوئر: هندسهٔ همبند در بلوک‌های با نقص دوری

هرگاه گروه نقص یک بلوک دوری باشد، تیپ نمایش متناهی شده و ساختار جبر به شکلی بی‌نهایت زیبا و شهودی بر یک درخت گرافیکی به نام «درخت براوئر» متناظر می‌گردد.

1. 
   ۱. رأس‌ها و یال‌های درخت:
   
   الف) یال‌های درخت: هر یال متناظر با یک رده از مدول‌های سادهٔ پیمانه‌ای در آن بلوک است.
   
   ب) رأس‌های درخت: هر رأس نمایانگر یک کاراکتر معمولیِ تحویل‌ناپذیر (مشخصه صفر) در بلوک است.
   
   ج) رأس استثنایی: دقیقاً یک رأس در درخت ممکن است خانواده‌ای از کاراکترهای مزدوجِ موضعی با مرتبهٔ نقص معین را نمایندگی کند (رأس با چندگانگی بیش از یک).
   
2. 
   ۲. بازخوانی ماتریس کارتن از روی گراف:
   
   ماتریس کارتن بلوک مستقیماً از روی هندسهٔ درخت خوانده می‌شود: درایه‌های روی قطر اصلی برابر با تعداد رأس‌های متصل به آن یال است، و درایه‌های غیرقطری دقیقاً نشان می‌دهند که آیا دو یال در یک رأس مشترک هستند یا خیر.
   
3. 
   ۳. ساختار پوشش‌های تصویری:
   
   پوشش تصویری متناظر با هر یال، ساختاری شبیه به «لوزی» یا دو زنجیره دارد که ترکیب فاکتورهای آن مستقیماً با یال‌های همسایه در دو سرِ رأس‌ها پیوند خورده است.
   
4. 
   ۴. شهود حاکم بر درخت:
   
   درخت براوئر به ما می‌گوید که چگونه کاراکترهای مشخصه صفر در رأس‌ها به هم می‌رسند و چسبندگی آن‌ها، مدول‌های سادهٔ مشخصه پی را در قالب یال‌ها به وجود می‌آورد.