نظرية البنية للوحدات المولدة نهائيًا على مجال مثالي رئيسي

لكل وحدة نمطية مولدة بشكل نهائي M على مجال مثالي رئيسي R ، يوجد تسلسل تناقصي فريد من المثاليات المناسبة.${\displaystyle (d_{1})\supseteq (d_{2})\supseteq \cdots \supseteq (d_{n})}$بحيث يكون M متماثلاً مع مجموع الوحدات الدورية :

${\displaystyle M\cong \bigoplus _{i}R/(d_{i})=R/(d_{1})\oplus R/(d_{2})\oplus \cdots \oplus R/(d_{n}).}$

المولدات${\displaystyle d_{i}}$تكون بعض المُثُل فريدةً حتى الضرب في وحدة ، وتُسمى عوامل ثابتة لـ M. ولأن المُثُل يجب أن تكون فعلية، فلا بد أن هذه العوامل نفسها غير قابلة للعكس (وهذا يمنع وجود عوامل تافهة في المجموع)، وإدراج المُثُل يعني أن لدينا قابلية القسمة.${\displaystyle d_{1}\,|\,d_{2}\,|\,\cdots \,|\,d_{n}}$الجزء الحر مرئي في جزء التفكيك المقابل للعوامل${\displaystyle d_{i}=0}$. تحدث هذه العوامل، إن وجدت، في نهاية التسلسل.

بينما يُحدد المجموع المباشر بشكل فريد بواسطة M ، فإن التشاكل الذي يُعطي التفكيك نفسه ليس فريدًا بشكل عام. على سبيل المثال، إذا كان R حقلًا بالفعل، فإن جميع المُثُل الظاهرة يجب أن تكون صفرًا، ونحصل على تفكيك فضاء متجهي محدود الأبعاد إلى مجموع مباشر لفضاءات جزئية أحادية البعد ؛ عدد هذه العوامل ثابت، أي بُعد الفضاء، ولكن هناك حرية كبيرة في اختيار الفضاءات الجزئية نفسها (إذا كان بُعد M أكبر من 1 ).

غير الصفري${\displaystyle d_{i}}$العناصر، بالإضافة إلى عدد${\displaystyle d_{i}}$والتي تساوي صفرًا، تُشكّل مجموعة كاملة من الثوابت للوحدة. وهذا يعني صراحةً أن أي وحدتين تشتركان في نفس مجموعة الثوابت تكونان متماثلتين بالضرورة.

يفضل البعض كتابة الجزء الحر من M بشكل منفصل:

${\displaystyle R^{f}\oplus \bigoplus _{i}R/(d_{i})=R^{f}\oplus R/(d_{1})\oplus R/(d_{2})\oplus \cdots \oplus R/(d_{nf})\;,}$

حيث المرئي${\displaystyle d_{i}}$وهي غير صفرية، و f هو عدد${\displaystyle d_{i}}$'s في التسلسل الأصلي والتي تساوي 0.

كل وحدة نمطية مولدة نهائياً M على مجال مثالي رئيسي R متماثلة مع واحدة من الشكل

${\displaystyle \bigoplus _{i}R/(q_{i})\;,}$

أين${\displaystyle (q_{i})\neq R}$و${\displaystyle (q_{i})}$هي مُثُل أساسية .${\displaystyle q_{i}}$فريدة (حتى الضرب في الوحدات).

العناصر${\displaystyle q_{i}}$تُسمى هذه القواسم الأولية لـ M. في نظام مثالي أولي، تكون المُثُل الأولية غير الصفرية قوى للأعداد الأولية، وبالتالي${\displaystyle (q_{i})=(p_{i}^{r_{i}})=(p_{i})^{r_{i}}}$. متى${\displaystyle q_{i}=0}$، والوحدة غير القابلة للتحليل الناتجة هي${\displaystyle R}$نفسها، وهذا موجود داخل جزء من M الذي يمثل وحدة نمطية حرة.

الأوامر${\displaystyle R/(q_{i})}$بما أن هذه العناصر غير قابلة للتحليل ، فإن التحليل الأساسي هو تحليل إلى وحدات غير قابلة للتحليل، وبالتالي فإن كل وحدة مولدة نهائيًا على حلقة PID هي وحدة قابلة للتحليل تمامًا . ولأن حلقات PID هي حلقات نوثرية ، يمكن اعتبار ذلك تجليًا لنظرية لاسكر-نوثر .

كما في السابق، من الممكن كتابة الجزء الحر (حيث${\displaystyle q_{i}=0}$) بشكل منفصل، وعبّر عن M على النحو التالي:

${\displaystyle R^{f}\oplus (\bigoplus _{i}R/(q_{i}))\;,}$

حيث المرئي${\displaystyle q_{i}}$هي غير صفرية.

تُعدّ نظرية جوردان -هولدر نتيجةً أكثر عموميةً للمجموعات المنتهية (أو الوحدات النمطية على حلقة عشوائية). في هذه العمومية، نحصل على متسلسلة تركيبية ، بدلاً من مجموع مباشر .

تُعطي نظرية كرول -شميدت والنتائج ذات الصلة الشروط التي بموجبها يكون للوحدة النمطية ما يشبه التفكيك الأولي، وهو تفكيك كمجموع مباشر لوحدات نمطية غير قابلة للتفكيك تكون فيها الحدود فريدة حتى الترتيب.

يتم تعميم التفكيك الأساسي إلى وحدات مولدة بشكل محدود على حلقات نوثرية تبادلية ، وتسمى هذه النتيجة نظرية لاسكر-نوثر .

وعلى النقيض من ذلك، فإن التفكيك الفريد إلى وحدات فرعية غير قابلة للتفكيك لا يعمم إلى هذا الحد، ويتم قياس الفشل بواسطة مجموعة الفئة المثالية ، والتي تختفي بالنسبة للوحدات المتطابقة.

بالنسبة للحلقات التي لا تُمثل مجالات مثالية رئيسية، لا يشترط أن يكون التفكيك الفريد صحيحًا حتى بالنسبة للوحدات النمطية على حلقة مُولَّدة بعنصرين. بالنسبة للحلقة R  = Z [√−5]، فإن كلًا من الوحدة النمطية R ووحدتها النمطية الفرعية M المُولَّدة بالعددين 2 و 1 + √−5 غير قابلة للتفكيك. في حين أن R ليست متماثلة مع M ، فإن R ⊕ R متماثلة مع M ⊕ M ؛ وبالتالي _فإن صور حدود M تُعطي وحدات نمطية فرعية غير قابلة للتفكيك L1 _، L2 < R ⊕ R، والتي تُعطي تفكيكًا مختلفًا لـ R ⊕ R. يرتبط فشل التفكيك الفريد لـ R ⊕ R إلى مجموع مباشر من الوحدات النمطية غير القابلة للتفكيك ارتباطًا مباشرًا (عبر زمرة فئات المثاليات) بفشل التفكيك الفريد لعناصر R إلى عناصر غير قابلة للاختزال في R.                

مع ذلك، في مجال ديديكيند، تُعدّ زمرة الفئات المثالية العائق الوحيد، وتُعمّم نظرية البنية لتشمل الوحدات المولدة نهائيًا في مجال ديديكيند مع تعديلات طفيفة. لا يزال هناك جزء التواء فريد، مع مكمل خالٍ من الالتواء (فريد حتى التشاكل)، لكن الوحدة الخالية من الالتواء في مجال ديديكيند لم تعد بالضرورة حرة. تُحدد الوحدات الخالية من الالتواء في مجال ديديكيند (حتى التشاكل) بواسطة الرتبة وفئة شتاينيتز (التي تأخذ قيمة في زمرة الفئات المثالية)، ويُستبدل التفكيك إلى مجموع مباشر لنسخ من R (وحدات حرة من الرتبة الأولى) بمجموع مباشر إلى وحدات إسقاطية من الرتبة الأولى: لا تُحدد الحدود الفردية بشكل فريد، لكن فئة شتاينيتز (للمجموع) تُحدد بشكل فريد.

وبالمثل، بالنسبة للوحدات غير المولدة نهائيًا، لا يمكن توقع مثل هذا التفكيك الجيد: حتى عدد العوامل قد يختلف. توجد وحدات فرعية من Z لـ Q ⁴ وهي في آن واحد مجموع مباشر لوحدتين غير قابلتين للتفكيك ومجموع مباشر لثلاث وحدات غير قابلة للتفكيك، مما يدل على أن نظير التفكيك الأساسي لا يمكن أن ينطبق على الوحدات المولدة بلا حدود، حتى على الأعداد الصحيحة Z.

من المشكلات الأخرى التي تظهر مع الوحدات غير المولدة نهائيًا وجود وحدات خالية من الالتواء ليست حرة. على سبيل المثال، لنأخذ حلقة الأعداد الصحيحة Z. عندئذٍ ، Q هي وحدة Z خالية من الالتواء وليست حرة. مثال كلاسيكي آخر على هذه الوحدات هو زمرة باير-سبيكر ، وهي زمرة جميع متواليات الأعداد الصحيحة الخاضعة للجمع الحدّي. بشكل عام، يعتمد تحديد أي من الزمر الأبيلية الخالية من الالتواء والمولدة نهائيًا حرة على الأعداد الأصلية الكبيرة الموجودة. ونتيجة لذلك، فإن أي نظرية بنية للوحدات المولدة نهائيًا تعتمد على اختيار بديهيات نظرية المجموعات ، وقد تكون غير صالحة في حال اختيار بديهيات مختلفة.