تصنيف جبر لي الحقيقي منخفض الأبعاد

توفر هذه القائمة المتعلقة بالرياضيات تصنيف مباركزيانوف لجبر لي الحقيقي منخفض الأبعاد ، والذي نُشر باللغة الروسية عام 1963. [ 1 ] وهي تُكمل المقالة المتعلقة بجبر لي في مجال الجبر المجرد .

تم نشر نسخة إنجليزية ومراجعة لهذا التصنيف بواسطة بوبوفيتش وآخرون [ 2 ] في عام 2003.

تصنيف مباركزيانوف

يتركزن{\displaystyle {\mathfrak {g}}_{n}}يكونن{\displaystyle n}جبر لي ذو الأبعاد n على حقل الأعداد الحقيقية مع مولداتهـ1،...،هـن{\displaystyle e_{1},\dots ,e_{n}}،ن4{\displaystyle n\leq 4}لكل جبرز{\displaystyle {\mathfrak {g}}}نستنتج فقط المبدلات غير الصفرية بين عناصر الأساس.

أحادي البعد

  • ز1{\displaystyle {\mathfrak {g}}_{1}}، أبيلي .

ثنائي الأبعاد

  • 2ز1{\displaystyle 2{\mathfrak {g}}_{1}}أبيليةR2{\displaystyle \mathbb {R} ^{2}}؛
  • ز2.1{\displaystyle {\mathfrak {g}}_{2.1}}قابل للحلأوو(1)={(أب00):أ،بR}{\displaystyle {\mathfrak {aff}}(1)=\left\{{\begin{pmatrix}a&b\\0&0\end{pmatrix}}\,:\,a,b\in \mathbb {R} \right\}}،
[هـ1،هـ2]=هـ1.{\displaystyle [e_{1},e_{2}]=e_{1}.}

ثلاثي الأبعاد

  • 3ز1{\displaystyle 3{\mathfrak {g}}_{1}}، أبيليان، بيانكي الأول ؛
  • ز2.1ز1{\displaystyle {\mathfrak {g}}_{2.1}\oplus {\mathfrak {g}}_{1}}، قابلة للتحلل وقابلة للحل، بيانكي الثالث؛
  • ز3.1{\displaystyle {\mathfrak {g}}_{3.1}}، جبر هايزنبرغ-ويل، جبر عديم القوة، بيانكي الثاني،
[هـ2،هـ3]=هـ1؛{\displaystyle [e_{2},e_{3}]=e_{1};}
  • ز3.2{\displaystyle {\mathfrak {g}}_{3.2}}، قابلة للحل، بيانكي الرابع،
[هـ1،هـ3]=هـ1،[هـ2،هـ3]=هـ1+هـ2؛{\displaystyle [e_{1},e_{3}]=e_{1},\quad [e_{2},e_{3}]=e_{1}+e_{2};}
  • ز3.3{\displaystyle {\mathfrak {g}}_{3.3}}، قابلة للحل، بيانكي الخامس،
[هـ1،هـ3]=هـ1،[هـ2،هـ3]=هـ2؛{\displaystyle [e_{1},e_{3}]=e_{1},\quad [e_{2},e_{3}]=e_{2};}
  • ز3.4{\displaystyle {\mathfrak {g}}_{3.4}}, قابلة للحل، بيانكي السادس، جبر بوانكاريهص(1،1){\displaystyle {\mathfrak {p}}(1,1)}متىα=-1{\displaystyle \alpha =-1}،
[هـ1،هـ3]=هـ1،[هـ2،هـ3]=αهـ2،-1α<1،α0؛{\displaystyle [e_{1},e_{3}]=e_{1},\quad [e_{2},e_{3}]=\alpha e_{2},\quad -1\leq \alpha <1,\quad \alpha \neq 0;}
  • ز3.5{\displaystyle {\mathfrak {g}}_{3.5}}، قابلة للحل، بيانكي السابع،
[هـ1،هـ3]=βهـ1-هـ2،[هـ2،هـ3]=هـ1+βهـ2،β0؛{\displaystyle [e_{1},e_{3}]=\beta e_{1}-e_{2},\quad [e_{2},e_{3}]=e_{1}+\beta e_{2},\quad \beta \geq 0;}
  • ز3.6{\displaystyle {\mathfrak {g}}_{3.6}}، بسيط، بيانكي الثامن،sل(2،R)،{\displaystyle {\mathfrak {sl}}(2,\mathbb {R} ),}
[هـ1،هـ2]=هـ1،[هـ2،هـ3]=هـ3،[هـ1،هـ3]=2هـ2؛{\displaystyle [e_{1},e_{2}]=e_{1},\quad [e_{2},e_{3}]=e_{3},\quad [e_{1},e_{3}]=2e_{2};}
  • ز3.7{\displaystyle {\mathfrak {g}}_{3.7}}، بسيط، بيانكي التاسع،so(3)،{\displaystyle {\mathfrak {so}}(3)،}
[هـ2،هـ3]=هـ1،[هـ3،هـ1]=هـ2،[هـ1،هـ2]=هـ3.{\displaystyle [e_{2},e_{3}]=e_{1},\quad [e_{3},e_{1}]=e_{2},\quad [e_{1},e_{2}]=e_{3}.}

الجبرز3.3{\displaystyle {\mathfrak {g}}_{3.3}}يمكن اعتبارها حالة متطرفة منز3.5{\displaystyle {\mathfrak {g}}_{3.5}}، متىβ{\displaystyle \beta \rightarrow \infty }، مما يشكل انكماشًا لجبر لي.

في الملعبج{\displaystyle {\mathbb {C} }}الجبرز3.5{\displaystyle {\mathfrak {g}}_{3.5}}،ز3.7{\displaystyle {\mathfrak {g}}_{3.7}}متماثلة معز3.4{\displaystyle {\mathfrak {g}}_{3.4}}وز3.6{\displaystyle {\mathfrak {g}}_{3.6}}، على التوالى.

رباعي الأبعاد

  • 4ز1{\displaystyle 4{\mathfrak {g}}_{1}}، أبيلي؛
  • ز2.12ز1{\displaystyle {\mathfrak {g}}_{2.1}\oplus 2{\mathfrak {g}}_{1}}، قابلة للتحلل، قابلة للذوبان،
[هـ1،هـ2]=هـ1؛{\displaystyle [e_{1},e_{2}]=e_{1};}
  • 2ز2.1{\displaystyle 2{\mathfrak {g}}_{2.1}}، قابلة للتحلل، قابلة للذوبان،
[هـ1،هـ2]=هـ1[هـ3،هـ4]=هـ3؛{\displaystyle [e_{1},e_{2}]=e_{1}\quad [e_{3},e_{4}]=e_{3};}
  • ز3.1ز1{\displaystyle {\mathfrak {g}}_{3.1}\oplus {\mathfrak {g}}_{1}}، قابل للتحلل عديم القدرة،
[هـ2،هـ3]=هـ1؛{\displaystyle [e_{2},e_{3}]=e_{1};}
  • ز3.2ز1{\displaystyle {\mathfrak {g}}_{3.2}\oplus {\mathfrak {g}}_{1}}، قابلة للتحلل، قابلة للذوبان،
[هـ1،هـ3]=هـ1،[هـ2،هـ3]=هـ1+هـ2؛{\displaystyle [e_{1},e_{3}]=e_{1},\quad [e_{2},e_{3}]=e_{1}+e_{2};}
  • ز3.3ز1{\displaystyle {\mathfrak {g}}_{3.3}\oplus {\mathfrak {g}}_{1}}، قابلة للتحلل، قابلة للذوبان،
[هـ1،هـ3]=هـ1،[هـ2،هـ3]=هـ2؛{\displaystyle [e_{1},e_{3}]=e_{1},\quad [e_{2},e_{3}]=e_{2};}
  • ز3.4ز1{\displaystyle {\mathfrak {g}}_{3.4}\oplus {\mathfrak {g}}_{1}}، قابلة للتحلل، قابلة للذوبان،
[هـ1،هـ3]=هـ1،[هـ2،هـ3]=αهـ2،-1α<1،α0؛{\displaystyle [e_{1},e_{3}]=e_{1},\quad [e_{2},e_{3}]=\alpha e_{2},\quad -1\leq \alpha <1,\quad \alpha \neq 0;}
  • ز3.5ز1{\displaystyle {\mathfrak {g}}_{3.5}\oplus {\mathfrak {g}}_{1}}، قابلة للتحلل، قابلة للذوبان،
[هـ1،هـ3]=βهـ1-هـ2[هـ2،هـ3]=هـ1+βهـ2،β0؛{\displaystyle [e_{1},e_{3}]=\beta e_{1}-e_{2}\quad [e_{2},e_{3}]=e_{1}+\beta e_{2},\quad \beta \geq 0;}
  • ز3.6ز1{\displaystyle {\mathfrak {g}}_{3.6}\oplus {\mathfrak {g}}_{1}}غير قابلة للحل،
[هـ1،هـ2]=هـ1،[هـ2،هـ3]=هـ3،[هـ1،هـ3]=2هـ2؛{\displaystyle [e_{1},e_{2}]=e_{1},\quad [e_{2},e_{3}]=e_{3},\quad [e_{1},e_{3}]=2e_{2};}
  • ز3.7ز1{\displaystyle {\mathfrak {g}}_{3.7}\oplus {\mathfrak {g}}_{1}}غير قابلة للحل،
[هـ1،هـ2]=هـ3،[هـ2،هـ3]=هـ1،[هـ3،هـ1]=هـ2؛{\displaystyle [e_{1},e_{2}]=e_{3},\quad [e_{2},e_{3}]=e_{1},\quad [e_{3},e_{1}]=e_{2};}
  • ز4.1{\displaystyle {\mathfrak {g}}_{4.1}}، غير قابل للتحلل، عديم القدرة،
[هـ2،هـ4]=هـ1،[هـ3،هـ4]=هـ2؛{\displaystyle [e_{2},e_{4}]=e_{1},\quad [e_{3},e_{4}]=e_{2};}
  • ز4.2{\displaystyle {\mathfrak {g}}_{4.2}}، غير قابل للتحليل، قابل للحل،
[هـ1،هـ4]=βهـ1،[هـ2،هـ4]=هـ2،[هـ3،هـ4]=هـ2+هـ3،β0؛{\displaystyle [e_{1},e_{4}]=\beta e_{1},\quad [e_{2},e_{4}]=e_{2},\quad [e_{3},e_{4}]=e_{2}+e_{3},\quad \beta \neq 0;}
  • ز4.3{\displaystyle {\mathfrak {g}}_{4.3}}، غير قابل للتحليل، قابل للحل،
[هـ1،هـ4]=هـ1،[هـ3،هـ4]=هـ2؛{\displaystyle [e_{1},e_{4}]=e_{1},\quad [e_{3},e_{4}]=e_{2};}
  • ز4.4{\displaystyle {\mathfrak {g}}_{4.4}}، غير قابل للتحليل، قابل للحل،
[هـ1،هـ4]=هـ1،[هـ2،هـ4]=هـ1+هـ2،[هـ3،هـ4]=هـ2+هـ3؛{\displaystyle [e_{1},e_{4}]=e_{1},\quad [e_{2},e_{4}]=e_{1}+e_{2},\quad [e_{3},e_{4}]=e_{2}+e_{3};}
  • ز4.5{\displaystyle {\mathfrak {g}}_{4.5}}، غير قابل للتحليل، قابل للحل،
[هـ1،هـ4]=αهـ1،[هـ2،هـ4]=βهـ2،[هـ3،هـ4]=γهـ3،αβγ0؛{\displaystyle [e_{1},e_{4}]=\alpha e_{1},\quad [e_{2},e_{4}]=\beta e_{2},\quad [e_{3},e_{4}]=\gamma e_{3},\quad \alpha \beta \gamma \neq 0;}
  • ز4.6{\displaystyle {\mathfrak {g}}_{4.6}}، غير قابل للتحليل، قابل للحل،
[هـ1،هـ4]=αهـ1،[هـ2،هـ4]=βهـ2-هـ3،[هـ3،هـ4]=هـ2+βهـ3،α>0؛{\displaystyle [e_{1},e_{4}]=\alpha e_{1},\quad [e_{2},e_{4}]=\beta e_{2}-e_{3},\quad [e_{3},e_{4}]=e_{2}+\beta e_{3},\quad \alpha >0;}
  • ز4.7{\displaystyle {\mathfrak {g}}_{4.7}}، غير قابل للتحليل، قابل للحل،
[هـ2،هـ3]=هـ1،[هـ1،هـ4]=2هـ1،[هـ2،هـ4]=هـ2،[هـ3،هـ4]=هـ2+هـ3؛{\displaystyle [e_{2},e_{3}]=e_{1},\quad [e_{1},e_{4}]=2e_{1},\quad [e_{2},e_{4}]=e_{2},\quad [e_{3},e_{4}]=e_{2}+e_{3};}
  • ز4.8{\displaystyle {\mathfrak {g}}_{4.8}}، غير قابل للتحليل، قابل للحل،
[هـ2،هـ3]=هـ1،[هـ1،هـ4]=(1+β)هـ1،[هـ2،هـ4]=هـ2،[هـ3،هـ4]=βهـ3،-1β1؛{\displaystyle [e_{2},e_{3}]=e_{1},\quad [e_{1},e_{4}]=(1+\beta )e_{1},\quad [e_{2},e_{4}]=e_{2},\quad [e_{3},e_{4}]=\beta e_{3},\quad -1\leq \beta \leq 1;}
  • ز4.9{\displaystyle {\mathfrak {g}}_{4.9}}، غير قابل للتحليل، قابل للحل،
[هـ2،هـ3]=هـ1،[هـ1،هـ4]=2αهـ1،[هـ2،هـ4]=αهـ2-هـ3،[هـ3،هـ4]=هـ2+αهـ3،α0؛{\displaystyle [e_{2},e_{3}]=e_{1},\quad [e_{1},e_{4}]=2\alpha e_{1},\quad [e_{2},e_{4}]=\alpha e_{2}-e_{3},\quad [e_{3},e_{4}]=e_{2}+\alpha e_{3},\quad \alpha \geq 0;}
  • ز4.10{\displaystyle {\mathfrak {g}}_{4.10}}، غير قابل للتحليل، قابل للحل،
[هـ1،هـ3]=هـ1،[هـ2،هـ3]=هـ2،[هـ1،هـ4]=-هـ2،[هـ2،هـ4]=هـ1.{\displaystyle [e_{1},e_{3}]=e_{1},\quad [e_{2},e_{3}]=e_{2},\quad [e_{1},e_{4}]=-e_{2},\quad [e_{2},e_{4}]=e_{1}.}

الجبرز4.3{\displaystyle {\mathfrak {g}}_{4.3}}يمكن اعتبارها حالة متطرفة منز4.2{\displaystyle {\mathfrak {g}}_{4.2}}، متىβ0{\displaystyle \beta \rightarrow 0}، مما يشكل انكماشًا لجبر لي.

في الملعبج{\displaystyle {\mathbb {C} }}الجبرز3.5ز1{\displaystyle {\mathfrak {g}}_{3.5}\oplus {\mathfrak {g}}_{1}}،ز3.7ز1{\displaystyle {\mathfrak {g}}_{3.7}\oplus {\mathfrak {g}}_{1}}،ز4.6{\displaystyle {\mathfrak {g}}_{4.6}}،ز4.9{\displaystyle {\mathfrak {g}}_{4.9}}،ز4.10{\displaystyle {\mathfrak {g}}_{4.10}}متماثلة معز3.4ز1{\displaystyle {\mathfrak {g}}_{3.4}\oplus {\mathfrak {g}}_{1}}،ز3.6ز1{\displaystyle {\mathfrak {g}}_{3.6}\oplus {\mathfrak {g}}_{1}}،ز4.5{\displaystyle {\mathfrak {g}}_{4.5}}،ز4.8{\displaystyle {\mathfrak {g}}_{4.8}}،2ز2.1{\displaystyle {2{\mathfrak {g}}}_{2.1}}، على التوالى.

انظر أيضاً

ملحوظات

مراجع