مجموعة أبيليان الحرة

في الرياضيات ، المجموعة الإبيلية الحرة هي مجموعة إبيلية ذات أساس . إن كونها مجموعة إبيلية يعني أنها مجموعة ذات عملية جمع ترابطية ، وتبديلية ، وقابلة للعكس. الأساس، والذي يُسمى أيضًا أساسًا متكاملًا ، هو مجموعة جزئية بحيث يمكن التعبير عن كل عنصر من عناصر المجموعة بشكل فريد كتركيبة صحيحة لعدد محدود من عناصر الأساس. على سبيل المثال، تشكل الشبكة الصحيحة ثنائية الأبعاد مجموعة إبيلية حرة، مع إضافة إحداثيات كعملية لها، ومع النقطتين (1,0) و(0,1) كأساس لها. تتمتع المجموعات الإبيلية الحرة بخصائص تجعلها مشابهة لمساحات المتجهات ، ويمكن تسميتها بشكل مكافئ وحدات حرة ، الوحدات الحرة على الأعداد الصحيحة. تدرس نظرية الشبكة المجموعات الفرعية الإبيلية الحرة لمساحات المتجهات الحقيقية . في الطوبولوجيا الجبرية ، تُستخدم المجموعات الإبيلية الحرة لتحديد مجموعات السلسلة ، وفي الهندسة الجبرية تُستخدم لتحديد المقسومات . ${\displaystyle \mathbb {Z} }$

يمكن وصف عناصر المجموعة الإبيلية الحرة ذات الأساس بعدة طرق متكافئة. تتضمن هذه الطرق المجاميع الرسمية على ، والتي هي تعبيرات من النموذج حيث يكون كل منها عددًا صحيحًا غير صفري، وكل منها عنصر أساس مميز، والمجموع له عدد محدود من الحدود. بدلاً من ذلك، يمكن اعتبار عناصر المجموعة الإبيلية الحرة مجموعات متعددة موقعة تحتوي على عدد محدود من عناصر ، مع تعدد عنصر في المجموعة المتعددة يساوي معامله في المجموع الرسمي. طريقة أخرى لتمثيل عنصر من مجموعة إبيلية حرة هي كدالة من إلى الأعداد الصحيحة ذات القيم غير الصفرية المحدودة؛ بالنسبة لهذا التمثيل الوظيفي، تكون عملية المجموعة هي إضافة نقطية للوظائف. ${\displaystyle B}$ ${\displaystyle B}$${\textstyle \مجموع أ_{i}ب_{i}}$${\displaystyle a_{i}}$${\displaystyle b_{i}}$${\displaystyle B}$${\displaystyle B}$

تحتوي كل مجموعة على مجموعة أبيلية حرة مع كأساس لها. هذه المجموعة فريدة من نوعها بمعنى أن كل مجموعتين أبيلية حرتين لهما نفس الأساس تكونان متماثلتين . بدلاً من إنشائها من خلال وصف عناصرها الفردية، يمكن إنشاء مجموعة أبيلية حرة ذات أساس كمجموع مباشر لنسخ المجموعة المضافة للأعداد الصحيحة، مع نسخة واحدة لكل عضو من . بدلاً من ذلك، يمكن وصف المجموعة الأبلية الحرة ذات الأساس من خلال عرض مع عناصر كمولدات لها ومع مبدلات أزواج الأعضاء كمرتبطين بها. رتبة المجموعة الأبلية الحرة هي عددية الأساس؛ كل قاعدتين لنفس المجموعة تعطيان نفس الرتبة، وكل مجموعتين أبيلية حرتين لهما نفس الرتبة تكونان متماثلتين. كل مجموعة فرعية من المجموعة الأبلية الحرة هي نفسها أبيلية حرة؛ تسمح هذه الحقيقة بفهم المجموعة الإبيلية العامة باعتبارها حاصل قسمة المجموعة الإبيلية الحرة من خلال "العلاقات"، أو باعتبارها جوهرًا لتماثل حقني بين المجموعات الإبيلية الحرة. المجموعات الإبيلية الحرة الوحيدة التي تكون مجموعات حرة هي المجموعة التافهة والمجموعة الدورية اللانهائية . ${\displaystyle B}$${\displaystyle B}$${\displaystyle B}$${\displaystyle B}$${\displaystyle B}$${\displaystyle B}$

المجموعة الإبيلية الحرة هي مجموعة إبيلية لها أساس. ^[1] هنا، يعني كونها مجموعة إبيلية أنها موصوفة بمجموعة من عناصرها وعملية ثنائية عليها ، والتي يشار إليها تقليديًا كمجموعة مضافة بالرمز (على الرغم من أنه لا يلزم أن يكون الجمع المعتاد للأرقام) التي تخضع للخصائص التالية: ${\displaystyle S}$ ${\displaystyle S}$${\displaystyle +}$

• العملية تبادلية وترابطية ، أي لجميع العناصر ، ، و من ، و . لذلك، عند الجمع بين عنصرين أو أكثر من استخدام هذه العملية، فإن ترتيب وتجميع العناصر لا يؤثر على النتيجة.${\displaystyle +}$${\displaystyle x}$ ${\displaystyle y}$ ${\displaystyle z}$ ${\displaystyle S}$ ${\displaystyle x+y=y+x}$${\displaystyle (x+y)+z=x+(y+z)}$${\displaystyle S}$
• ${\displaystyle S}$يحتوي على عنصر هوية (يُشار إليه تقليديًا بـ ) مع الخاصية التي مفادها أنه بالنسبة لكل عنصر ، .${\displaystyle 0}$${\displaystyle x}$ ${\displaystyle x+0=0+x=x}$
• كل عنصر في لديه عنصر معاكس ، مثل أن .${\displaystyle x}$${\displaystyle S}$ ${\displaystyle -x}$${\displaystyle x+(-x)=0}$

الأساس هو مجموعة فرعية من عناصر مع الخاصية التي يمكن من خلالها تكوين كل عنصر من عناصر بطريقة فريدة من خلال اختيار عدد محدود من عناصر الأساس لـ ، واختيار عدد صحيح غير صفري لكل من عناصر الأساس المختارة، وإضافة نسخ من عناصر الأساس التي تكون موجبة، ونسخ من لكل عنصر أساس يكون سالبًا. ^[2] كحالة خاصة، يمكن دائمًا تكوين عنصر الهوية بهذه الطريقة كتركيبة من عناصر الأساس الصفرية، وفقًا للاتفاقية المعتادة لمجموع فارغ ، ويجب ألا يكون من الممكن العثور على أي تركيبة أخرى تمثل الهوية. ^[3]${\displaystyle B}$${\displaystyle S}$${\displaystyle S}$${\displaystyle b_{i}}$ ${\displaystyle B}$${\displaystyle k_{i}}$${\displaystyle k_{i}}$${\displaystyle b_{i}}$${\displaystyle k_{i}}$${\displaystyle -k_{i}}$${\displaystyle -b_{i}}$${\displaystyle k_{i}}$

تشكل الأعداد الصحيحة ،${\displaystyle \mathbb {Z} }$ تحت عملية الجمع المعتادة، مجموعة أبيلية حرة ذات أساس .${\displaystyle \{1\}}$ الأعداد الصحيحة تبادلية وترابطية، حيث يكون 0 هو الهوية الجمعية ولكل عدد صحيح معكوس جمعي ، وهو نفيه. كل عدد غير سلبي هو مجموع نسخ من ، وكل عدد صحيح سلبي هو مجموع نسخ من ، وبالتالي فإن خاصية الأساس تكون مرضية أيضًا. ^[1]${\displaystyle x}$${\displaystyle x}$${\displaystyle 1}$${\displaystyle x}$${\displaystyle -x}$${\displaystyle -1}$

مثال حيث تكون عملية المجموعة مختلفة عن الجمع المعتاد للأعداد هو الأعداد النسبية الموجبة ، والتي تشكل مجموعة أبيلية حرة مع عملية الضرب المعتادة على الأعداد ومع الأعداد الأولية كأساس لها. الضرب تبادلي وترابطي، مع العدد باعتباره هويته و مع باعتباره العنصر العكسي لكل عدد نسبي موجب . حقيقة أن الأعداد الأولية تشكل أساسًا لضرب هذه الأعداد تنبع من النظرية الأساسية للحساب ، والتي وفقًا لها يمكن تحليل كل عدد صحيح موجب بشكل فريد إلى حاصل ضرب عدد محدود من الأعداد الأولية أو معكوسها. إذا كان عددًا نسبيًا موجبًا معبرًا عنه بأبسط العبارات، فيمكن التعبير عنه كتركيبة محدودة من الأعداد الأولية التي تظهر في تحليل العوامل لـ و . عدد نسخ كل عدد أولي لاستخدامها في هذه التركيبة هو أسه في تحليل العوامل لـ ، أو نفي أسه في تحليل العوامل لـ . ^[4]${\displaystyle \mathbb {س} ^{+}}$${\displaystyle 1}$${\displaystyle 1/x}$${\displaystyle x}$${\displaystyle q=a/b}$${\displaystyle q}$${\displaystyle أ}$ ${\displaystyle b}$${\displaystyle أ}$${\displaystyle b}$

تشكل كثيرات الحدود لمتغير${\displaystyle x}$ واحد ، مع معاملات عددية صحيحة، مجموعة أبيلية حرة تحت إضافة كثيرات الحدود، مع قوى كأساس. كمجموعة مجردة، هذا هو نفس ( مجموعة متماثلة ل) المجموعة الضربية للأعداد النسبية الموجبة. إحدى الطرق لربط هاتين المجموعتين ببعضهما البعض، وإظهار أنهما متماثلتان، هي إعادة تفسير أس العدد الأولي في المجموعة الضربية للأعداد النسبية لإعطاء معامل في كثير الحدود المقابل، أو العكس. على سبيل المثال، يحتوي العدد النسبي على أسس للأعداد الأولية الثلاثة الأولى وسيتوافق بهذه الطريقة مع كثير الحدود الذي له نفس المعاملات لحدوده الثابتة والخطية والتربيعية. نظرًا لأن هذه التعيينات تعيد تفسير نفس الأرقام فحسب، فإنها تحدد تطابقًا بين عناصر المجموعتين. ولأن عملية المجموعة لضرب الأعداد الكسرية الموجبة تعمل بشكل إضافي على أسس الأعداد الأولية، بنفس الطريقة التي تعمل بها عملية المجموعة لجمع كثيرات الحدود على معاملات كثيرات الحدود، فإن هذه الخرائط تحافظ على بنية المجموعة؛ فهي متماثلات . يُطلق على المتماثل الثنائي اسم متماثل الشكل، ويثبت وجوده أن هاتين المجموعتين لهما نفس الخصائص. ^[5]${\displaystyle x}$${\displaystyle i}$${\displaystyle x^{i-1}}$${\displaystyle 5/27}$${\displaystyle 0,-3,1}$${\displaystyle 2,3,5}$${\displaystyle -3x+x^{2}}$${\displaystyle 0,-3,1}$

على الرغم من أن تمثيل كل عنصر من عناصر المجموعة من حيث أساس معين فريد من نوعه، فإن المجموعة الإبيلية الحرة تحتوي عمومًا على أكثر من أساس واحد، وستؤدي القواعد المختلفة عمومًا إلى تمثيلات مختلفة لعناصرها. على سبيل المثال، إذا استبدل المرء أي عنصر من عناصر الأساس بمعكوسه، فسيحصل على أساس آخر. كمثال أكثر تفصيلاً، تشكل الشبكة الصحيحة ثنائية الأبعاد ، التي تتكون من النقاط في المستوى بإحداثيات ديكارتية صحيحة ، مجموعة إبيليانية حرة تحت إضافة متجه مع الأساس . ^[1] بالنسبة لهذا الأساس، يمكن كتابة العنصر ، حيث يتم تعريف "الضرب" بحيث، على سبيل المثال، . لا توجد طريقة أخرى للكتابة في نفس الأساس. ومع ذلك، مع أساس مختلف مثل ، يمكن كتابته على أنه . وبتعميم هذا المثال، تشكل كل شبكة مجموعة إبيليانية حرة متولدة بشكل محدود . ^[6] تحتوي الشبكة الصحيحة ثنائية الأبعاد على أساس طبيعي يتكون من متجهات وحدات صحيحة موجبة ، ولكنها تحتوي أيضًا على العديد من القواعد الأخرى: إذا كانت مصفوفة عدد صحيح ذات محدد ، فإن صفوف تشكل أساسًا، وعلى العكس من ذلك فإن كل أساس للشبكة الصحيحة له هذا الشكل. ^[7] لمزيد من المعلومات حول الحالة ثنائية الأبعاد، راجع الزوج الأساسي من الفترات . ${\displaystyle \mathbb {Z} ^{2}}$${\displaystyle \{(1,0),(0,1)\}}$${\displaystyle (4,3)}$${\displaystyle (4,3)=4\cdot (1,0)+3\cdot (0,1)}$${\displaystyle \ 4\cdot (1,0):=(1,0)+(1,0)+(1,0)+(1,0)}$${\displaystyle (4,3)}$${\displaystyle \{(1,0),(1,1)\}}$${\displaystyle (4,3)=(1,0)+3\cdot (1,1)}$${\displaystyle د}$${\displaystyle \mathbb {Z} ^{d}}$${\displaystyle M}$${\displaystyle d\times d}$ ${\displaystyle \pm 1}$${\displaystyle M}$

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

يتكون المنتج المباشر للمجموعات من أزواج من عنصر من كل مجموعة في المنتج، مع إضافة مكونة. المنتج المباشر لمجموعتين أبيلية حرتين هو نفسه أبيلي حر، مع أساس الاتحاد المنفصل لقواعد المجموعتين. ^[8] بشكل عام، المنتج المباشر لأي عدد محدود من المجموعات الإبيلية الحرة هو أبيلي حر. على سبيل المثال، تكون الشبكة الصحيحة ذات الأبعاد متماثلة مع المنتج المباشر لنسخ المجموعة الصحيحة . تعتبر المجموعة التافهة أيضًا أبيلية حرة، مع أساس المجموعة الفارغة . ^[9] يمكن تفسيرها على أنها منتج فارغ ، وهو المنتج المباشر لعدد صفر من النسخ من . ^[10]${\displaystyle د}$${\displaystyle د}$${\displaystyle \mathbb {Z} }$${\displaystyle \{0\}}$${\displaystyle \mathbb {Z} }$

بالنسبة للعائلات اللانهائية من المجموعات الإبيلية الحرة، فإن الحاصل المباشر ليس بالضرورة إبيليًا حرًا. ^[8] على سبيل المثال، أظهر راينهولد باير في عام 1937 أن مجموعة باير-سبيكر ، وهي مجموعة غير قابلة للعد تشكلت كحاصل ضرب مباشر لعدد لا يحصى من نسخ ، ليست إبيلية حرة، ^[11] على الرغم من أن إرنست سبيكر أثبت في عام 1950 أن جميع مجموعاتها الفرعية القابلة للعد إبيلية حرة. ^[12] بدلاً من ذلك، للحصول على مجموعة إبيلية حرة من عائلة لا نهائية من المجموعات، يجب استخدام المجموع المباشر بدلاً من الحاصل المباشر. المجموع المباشر والحاصل المباشر هما نفس الشيء عند تطبيقهما على عدد محدود من المجموعات، لكنهما يختلفان في العائلات اللانهائية من المجموعات. في المجموع المباشر، تكون العناصر مرة أخرى مجموعات من العناصر من كل مجموعة، ولكن مع القيد الذي ينص على أن جميع هذه العناصر باستثناء عدد محدود من هذه العناصر هي الهوية لمجموعتها. يظل المجموع المباشر لعدد لا نهائي من المجموعات الإبيلية الحرة إبيليًا حرًا. إنها تتكون من أساس يتكون من مجموعات يكون كل عنصر فيها هو الهوية، باستثناء عنصر واحد، مع كون العنصر المتبقي جزءًا من الأساس لمجموعتها. ^[8]${\displaystyle \mathbb {Z} ^{\mathbb {N} }}$${\displaystyle \mathbb {Z} }$

يمكن وصف كل مجموعة أبيلية حرة بأنها مجموع مباشر لنسخ من ،${\displaystyle \mathbb {Z} }$ مع نسخة واحدة لكل عضو من أساسها. ^{[13] [14]} يسمح هذا البناء لأي مجموعة بأن تصبح أساسًا لمجموعة أبيلية حرة. ^[15]${\displaystyle B}$

بالنظر إلى مجموعة ،${\displaystyle B}$ يمكن للمرء أن يحدد مجموعة تكون عناصرها عبارة عن دوال من إلى الأعداد الصحيحة، حيث تشير الأقواس في الأعلى إلى أن الدوال التي تحتوي على عدد محدود من القيم غير الصفرية فقط هي المضمنة. إذا كانت و دالتين من هذا القبيل، فإن الدالة التي تكون قيمها عبارة عن مجموع القيم في و : أي، . تعطي عملية الجمع النقطية هذه بنية المجموعة الإبيلية. ^[16]${\displaystyle \mathbb {Z} ^{(B)}}$${\displaystyle B}$${\displaystyle f(x)}$${\displaystyle g(x)}$${\displaystyle f+g}$${\displaystyle f}$ ${\displaystyle g}$${\displaystyle (f+g)(x)=f(x)+g(x)}$${\displaystyle \mathbb {Z} ^{(B)}}$

كل عنصر من المجموعة المعطاة يتوافق مع عضو في ، الدالة التي و التي لكل . كل دالة في هي تركيبة خطية فريدة من نوعها لعدد محدود من العناصر الأساسية: وبالتالي، تشكل هذه العناصر أساسًا لـ ، و هي مجموعة أبيلية حرة. وبهذه الطريقة، يمكن تحويل كل مجموعة إلى أساس لمجموعة أبيلية حرة. ^[16 ]${\displaystyle x}$${\displaystyle B}$${\displaystyle \mathbb {Z} ^{(B)}}$${\displaystyle e_{x}}$${\displaystyle e_{x}(x)=1}$${\displaystyle e_{x}(y)=0}$${\displaystyle y\neq x}$${\displaystyle f}$${\displaystyle \mathbb {Z} ^{(B)}}$$${\displaystyle f=\sum _{\{x\mid f(x)\neq 0\}}f(x)e_{x}.}$$${\displaystyle e_{x}}$${\displaystyle \mathbb {Z} ^{(B)}}$${\displaystyle \mathbb {Z} ^{(B)}}$${\displaystyle B}$

يمكن أيضًا كتابة عناصر من كمجاميع رسمية ، وهي تعبيرات في شكل مجموع عدد محدود من الحدود، حيث يُكتب كل حد على أنه حاصل ضرب عدد صحيح غير صفري مع عضو مميز من . تعتبر هذه التعبيرات متكافئة عندما يكون لها نفس الحدود، بغض النظر عن ترتيب الحدود، ويمكن إضافتها عن طريق تكوين اتحاد الحدود، وإضافة معاملات الأعداد الصحيحة لدمج الحدود مع نفس عنصر الأساس، وإزالة الحدود التي ينتج عن هذا الجمع معامل صفري لها. ^[4] يمكن أيضًا تفسيرها على أنها مجموعات متعددة موقعة من عناصر محدودة من . ^[17]${\displaystyle \mathbb {Z} ^{(B)}}$${\displaystyle B}$${\displaystyle B}$

إن عرض المجموعة هو مجموعة من العناصر التي تولد المجموعة (وهذا يعني أنه يمكن التعبير عن جميع عناصر المجموعة كمنتجات لعدد محدود من المولدات)، جنبًا إلى جنب مع "المرتبطين"، وهي منتجات المولدات التي تعطي عنصر الهوية. إن عناصر المجموعة المحددة بهذه الطريقة هي فئات تكافؤ لتسلسلات المولدات ومعكوساتها، بموجب علاقة تكافؤ تسمح بإدراج أو إزالة أي زوج مرتبط أو مولد-معكوس كمتتالية فرعية متجاورة. المجموعة الإبيلية الحرة ذات الأساس لها عرض حيث تكون المولدات هي عناصر ، والمرتبطون هم مبدلات أزواج عناصر . هنا ، مبدل عنصرين و هو حاصل الضرب ؛ يؤدي ضبط هذا الحاصل على الهوية إلى تساوي ، بحيث و يتبادلان. وبشكل عام، إذا تبادلت جميع أزواج المولدات، فإن جميع أزواج منتجات المولدات تتبادل أيضًا. لذلك، فإن المجموعة التي تم إنشاؤها بواسطة هذا العرض هي أبيلية، وتشكل روابط العرض مجموعة دنيا من الروابط اللازمة لضمان كونها أبيلية. ^[18]${\displaystyle B}$${\displaystyle B}$${\displaystyle B}$${\displaystyle x}$${\displaystyle y}$${\displaystyle x^{-1}y^{-1}xy}$${\displaystyle xy}$${\displaystyle yx}$${\displaystyle x}$${\displaystyle y}$

عندما تكون مجموعة المولدات منتهية، فإن عرض المجموعة الإبيلية الحرة يكون منتهيًا أيضًا، لأنه لا يوجد سوى عدد محدود من المبدلات المختلفة التي يجب تضمينها في العرض. يمكن استخدام هذه الحقيقة، جنبًا إلى جنب مع حقيقة أن كل مجموعة فرعية من المجموعة الإبيلية الحرة هي أبيلية حرة (أدناه) لإظهار أن كل مجموعة أبيلية متولدة بشكل محدود يتم تقديمها بشكل محدود. بالنسبة إلى، إذا تم توليدها بشكل محدود بواسطة مجموعة ، فهي حاصل قسمة المجموعة الإبيلية الحرة على بواسطة مجموعة فرعية أبيلية حرة، المجموعة الفرعية التي تم إنشاؤها بواسطة المبدلات لعرض . ولكن نظرًا لأن هذه المجموعة الفرعية هي نفسها أبيلية حرة، فهي أيضًا متولدة بشكل محدود، وأساسها (جنبًا إلى جنب مع المبدلات على ) يشكل مجموعة محدودة من المبدلات لعرض . [ ^19]${\displaystyle G}$${\displaystyle B}$${\displaystyle B}$${\displaystyle G}$${\displaystyle B}$${\displaystyle G}$

يتم تعريف الوحدات النمطية على الأعداد الصحيحة على نحو مماثل لمساحات المتجهات على الأعداد الحقيقية أو الأعداد النسبية : فهي تتكون من أنظمة من العناصر التي يمكن إضافتها إلى بعضها البعض، مع عملية للضرب القياسي بالأعداد الصحيحة متوافقة مع عملية الإضافة هذه. يمكن اعتبار كل مجموعة أبيلية وحدة نمطية على الأعداد الصحيحة، مع عملية ضرب قياسي محددة على النحو التالي: ^[20]

${\displaystyle 0\,x=0}$
${\displaystyle 1\,x=x}$
${\displaystyle n\,x=x+(n-1)\,x,\quad }$	لو${\displaystyle n>1}$
${\displaystyle n\,x=-((-n)\,x),}$	لو${\displaystyle n<0}$

ومع ذلك، على عكس فضاءات المتجهات، لا تحتوي جميع المجموعات الإبيلية على أساس، ومن هنا جاء الاسم الخاص "حرة" لتلك التي تحتوي على أساس. الوحدة النمطية الحرة هي وحدة نمطية يمكن تمثيلها كمجموع مباشر على حلقتها الأساسية ، لذا فإن المجموعات الإبيلية الحرة والوحدات النمطية الحرة مفاهيم متكافئة: كل مجموعة إبيلية حرة هي (باستخدام عملية الضرب أعلاه) وحدة نمطية حرة، وكل وحدة نمطية حرة تأتي من مجموعة إبيلية حرة بهذه الطريقة. ^[21] بالإضافة إلى المجموع المباشر، هناك طريقة أخرى لدمج المجموعات الإبيلية الحرة وهي استخدام حاصل ضرب الموتر للوحدات النمطية. يكون حاصل ضرب الموتر لمجموعتين إبيليتين حرتين دائمًا إبيليًا حرًا، مع وجود أساس هو حاصل ضرب ديكارت للقواعد للمجموعتين في الحاصل. ^[22]${\displaystyle \mathbb {Z} }$${\displaystyle \mathbb {Z} }$${\displaystyle \mathbb {Z} }$${\displaystyle \mathbb {Z} }$

يمكن تعميم العديد من الخصائص المهمة للمجموعات الإبلية الحرة على وحدات حرة على نطاق مثالي رئيسي . على سبيل المثال، الوحدات الفرعية للوحدات الحرة على النطاقات المثالية الرئيسية تكون حرة، وهي حقيقة كتبها هاتشر (2002) تسمح بـ "التعميم التلقائي" للآلية المتجانسة لهذه الوحدات. ^[23] بالإضافة إلى ذلك، فإن النظرية القائلة بأن كل وحدة إسقاطية حرة تعمم بنفس الطريقة. ^[24]${\displaystyle \mathbb {Z} }$

تتمتع المجموعة الإبيلية الحرة ذات الأساس بالخاصية العالمية التالية : لكل دالة من إلى مجموعة إبيلية ، يوجد تماثل فريد للمجموعة من إلى يمتد . ^{[4] [9]} هنا، تماثل المجموعة هو تعيين من مجموعة إلى أخرى يتوافق مع قانون حاصل المجموعة: إجراء حاصل قبل أو بعد التعيين ينتج نفس النتيجة. من خلال خاصية عامة للخصائص العالمية، يوضح هذا أن "المجموعة الإبيلية" للقاعدة فريدة حتى التماثل. لذلك، يمكن استخدام الخاصية العالمية كتعريف للمجموعة الإبيلية الحرة للقاعدة . يوضح تفرد المجموعة المحددة بهذه الخاصية أن جميع التعريفات الأخرى متكافئة. ^[15]${\displaystyle F}$${\displaystyle B}$${\displaystyle f}$${\displaystyle B}$${\displaystyle A}$${\displaystyle F}$${\displaystyle A}$${\displaystyle f}$${\displaystyle B}$${\displaystyle B}$

بسبب هذه الخاصية العالمية تسمى المجموعات الإبيلية الحرة "حرة": فهي الأشياء الحرة في فئة المجموعات الإبيلية ، وهي الفئة التي تحتوي على المجموعات الإبيلية كأشياء لها والتماثلات كسهام لها. الخريطة من الأساس إلى مجموعتها الإبيلية الحرة هي دالة ، وهي تعيين يحافظ على البنية للفئات، من المجموعات إلى المجموعات الإبيلية، وهي مجاورة للدالة النسيان من المجموعات الإبيلية إلى المجموعات. ^[25] ومع ذلك، فإن المجموعة الإبيلية الحرة ليست مجموعة حرة إلا في حالتين: مجموعة إبيلية حرة لها أساس فارغ (الرتبة صفر، مما يعطي المجموعة التافهة ) أو تحتوي على عنصر واحد فقط في الأساس (الرتبة الأولى، مما يعطي المجموعة الدورية اللانهائية ). ^{[9] [26]} المجموعات الإبيلية الأخرى ليست مجموعات حرة لأنه في المجموعات الحرة يجب أن تكون مختلفة عن إذا و عنصران مختلفان للأساس، بينما في المجموعات الإبيلية الحرة يجب أن يكون حاصل الضرب متطابقًا لجميع أزواج العناصر. في الفئة العامة للمجموعات ، يعد المطالبة بـ ، في حين أن هذه خاصية ضرورية في فئة المجموعات الإبيلية، قيدًا إضافيًا. ^[27]${\displaystyle ab}$${\displaystyle ba}$${\displaystyle أ}$${\displaystyle b}$${\displaystyle ab=ba}$

كل قاعدتين من نفس المجموعة الإبيلية الحرة لهما نفس العدد الأساسي ، وبالتالي فإن عدد الأساس يشكل ثابتًا للمجموعة يُعرف باسم رتبتها. ^{[28] [29]} تكون مجموعتان إبيليتان حرتان متماثلتين إذا وفقط إذا كان لهما نفس الرتبة. ^[4] يتم إنشاء المجموعة الإبيلية الحرة بشكل نهائي إذا وفقط إذا كانت رتبتها عددًا منتهيًا ، وفي هذه الحالة تكون المجموعة متماثلة مع . ^[30]${\displaystyle n}$${\displaystyle \mathbb {Z} ^{n}}$

يمكن تعميم مفهوم الرتبة هذا، من المجموعات الإبيلية الحرة إلى المجموعات الإبيلية التي ليست حرة بالضرورة. تُعرَّف رتبة المجموعة الإبيلية بأنها رتبة مجموعة فرعية إبيلية حرة حيث تكون مجموعة الحاصل مجموعة التواء . وعلى نحو مكافئ، فإن عدد مجموعات فرعية قصوى من هو الذي يولد مجموعة فرعية حرة. الرتبة هي مجموعة ثابتة: فهي لا تعتمد على اختيار المجموعة الفرعية. ^[31]${\displaystyle G}$${\displaystyle F}$${\displaystyle G}$ ${\displaystyle G/F}$${\displaystyle G}$

كل مجموعة فرعية من مجموعة أبيلية حرة هي في حد ذاتها مجموعة أبيلية حرة. كانت نتيجة ريتشارد ديدكيند ^[32] هذه مقدمة لنظرية نيلسن-شراير التناظرية التي تنص على أن كل مجموعة فرعية من مجموعة حرة حرة، وهي تعميم لحقيقة مفادها أن كل مجموعة فرعية غير تافهة من المجموعة الدورية اللانهائية هي دورية لا نهائية . يحتاج الإثبات إلى بديهية الاختيار . ^[25] يمكن العثور على إثبات باستخدام مبرهنة زورن (أحد العديد من الافتراضات المكافئة لبديهية الاختيار) في كتاب الجبر لسيرج لانج . [ ^{33] يزعم} سولومون ليفشيتز وإيرفينج كابلانسكي أن استخدام مبدأ الترتيب الجيد بدلاً من مبرهنة زورن يؤدي إلى إثبات أكثر بديهية. ^[14]

في حالة المجموعات الإبيلية الحرة المولدة بشكل محدود، يكون الإثبات أسهل، ولا يحتاج إلى بديهية الاختيار، ويؤدي إلى نتيجة أكثر دقة. إذا كانت مجموعة فرعية من مجموعة إبيلية حرة مولدة بشكل محدود ، إذن تكون حرة ويوجد أساس و عدد صحيح موجب (أي أن كل واحد يقسم العدد التالي) بحيث يكون أساس وعلاوة على ذلك، يعتمد التسلسل فقط على و وليس على الأساس. ^[34] يتم توفير دليل بناء على جزء الوجود من النظرية من خلال أي خوارزمية تحسب الشكل الطبيعي لسميث لمصفوفة من الأعداد الصحيحة. ^[35] تنبع التفرد من حقيقة أنه بالنسبة لأي ، فإن القاسم المشترك الأكبر للأقل من رتبة المصفوفة لا يتغير أثناء حساب الشكل الطبيعي لسميث ويكون حاصل الضرب في نهاية الحساب. ^[36]${\displaystyle G}$${\displaystyle F}$${\displaystyle G}$${\displaystyle (e_{1},\ldots ,e_{n})}$${\displaystyle F}$${\displaystyle d_{1}|d_{2}|\ldots |d_{k}}$${\displaystyle (d_{1}e_{1},\ldots ,d_{k}e_{k})}$${\displaystyle G.}$${\displaystyle d_{1},d_{2},\ldots ,d_{k}}$${\displaystyle F}$${\displaystyle G}$${\displaystyle r\leq k}$${\displaystyle r}$${\displaystyle d_{1}\cdots d_{r}}$

جميع المجموعات الإيبيلية الحرة خالية من الالتواء ، مما يعني أنه لا يوجد عنصر مجموعة غير متماثل وعدد صحيح غير صفري بحيث . وعلى العكس من ذلك، فإن جميع المجموعات الإيبيلية الخالية من الالتواء المولدة بشكل محدود هي مجموعات إيبيلية حرة. ^{[9] [37]}${\displaystyle x}$${\displaystyle n}$${\displaystyle nx=0}$

توفر المجموعة المضافة للأعداد النسبية مثالاً لمجموعة أبيلية خالية من الالتواء (ولكن ليست متولدة بشكل نهائي) ليست أبيلية حرة. ^[38] أحد الأسباب التي تجعلها ليست أبيلية حرة هو أنها قابلة للقسمة ، مما يعني أنه بالنسبة لكل عنصر وكل عدد صحيح غير صفري ، من الممكن التعبير عنه كمضاعف قياسي لعنصر آخر  . على النقيض من ذلك، فإن المجموعات الأبلية الحرة غير التافهة لا تكون قابلة للقسمة أبدًا، لأنه في المجموعة الأبلية الحرة لا يمكن التعبير عن العناصر الأساسية كمضاعفات لعناصر أخرى. ^[39]${\displaystyle \mathbb {س} }$${\displaystyle \mathbb {س} }$${\displaystyle x\in \mathbb {Q} }$${\displaystyle n}$${\displaystyle x}$${\displaystyle ny}$${\displaystyle y=x/n}$

يمكن وصف تناظرات أي مجموعة بأنها تماثلات ذاتية للمجموعة ، وهي التماثلات القابلة للعكس من المجموعة إلى نفسها. وفي المجموعات غير الإبيلية تنقسم هذه التماثلات إلى تماثلات ذاتية داخلية وخارجية ، ولكن في المجموعات الإبيلية تكون جميع التماثلات الذاتية غير المتماثلة خارجية. وهي تشكل مجموعة أخرى، وهي مجموعة التماثل الذاتي للمجموعة المعطاة، تحت تأثير التركيب . إن مجموعة التماثل الذاتي للمجموعة الإبيلية الحرة ذات الرتبة المحدودة هي المجموعة الخطية العامة ، والتي يمكن وصفها بشكل ملموس (على أساس محدد لمجموعة التماثل الذاتي الحرة) بأنها مجموعة مصفوفات الأعداد الصحيحة القابلة للعكس تحت تأثير ضرب المصفوفات . إن عملها كتماثلات على المجموعة الإبيلية الحرة هو مجرد ضرب مصفوفة-متجه. ^[40]${\displaystyle n}$ ${\displaystyle \operatorname {GL} (n,\mathbb {Z} )}$${\displaystyle n\times n}$${\displaystyle \mathbb {Z} ^{n}}$

إن مجموعات التشكل الذاتي لمجموعتين أبيليانيتين حرتين لا نهائيتي الرتبة لها نفس النظريات من الدرجة الأولى ، إذا وفقط إذا كانت رتبهما كاردينالات متكافئة من وجهة نظر منطق الدرجة الثانية . تعتمد هذه النتيجة على بنية الضمائر للمجموعات الأبيليانية الحرة، والضمائر الذاتية التي هي معكوسها. مع الأخذ في الاعتبار أساس المجموعة الأبيليانية الحرة، يمكن للمرء أن يجد ضمائر تربط أي مجموعة من الأزواج المنفصلة من عناصر الأساس ببعضها البعض، أو تنفي أي مجموعة فرعية مختارة من عناصر الأساس، وتترك عناصر الأساس الأخرى ثابتة. وعلى العكس من ذلك، لكل ضمائر لمجموعة أبيلية حرة، يمكن للمرء أن يجد أساسًا للمجموعة حيث يتم تبديل جميع عناصر الأساس في أزواج، أو نفيها، أو تركها دون تغيير من خلال الضمائر. ^[41]

إذا كانت المجموعة الإبيلية الحرة هي حاصل قسمة مجموعتين ، فإن المجموع المباشر هو . ^[4]${\displaystyle A/B}$${\displaystyle A}$${\displaystyle B\oplus A/B}$

نظرًا لمجموعة أبيلية تعسفية ، يوجد دائمًا مجموعة أبيلية حرة وتماثل مجموعة تماثلية من إلى . إحدى طرق إنشاء تماثل تماثلي لمجموعة معينة هي أن نجعل المجموعة الإبيلية الحرة على ، ممثلةً بمجموعات رسمية. بعد ذلك، يمكن تعريف التماثل التماثلي عن طريق تعيين مجموعات رسمية في إلى مجموعات مقابلة لأعضاء . أي أن التماثل التماثلي يطابق حيث هو معامل العدد الصحيح لعنصر الأساس في مجموع رسمي معين، والمجموع الأول في ، والمجموع الثاني في . ^{[29] [42]} هذا التماثل التماثلي هو تماثل المجموعة الفريد الذي يمتد الدالة ، وبالتالي يمكن اعتبار إنشائه مثالًا للخاصية العالمية. ${\displaystyle A}$${\displaystyle F}$${\displaystyle F}$${\displaystyle A}$${\displaystyle A}$${\displaystyle F=\mathbb {Z} ^{(A)}}$${\displaystyle A}$${\displaystyle F}$${\displaystyle A}$$${\displaystyle \sum _{\{x\mid a_{x}\neq 0\}}a_{x}e_{x}\mapsto \sum _{\{x\mid a_{x}\neq 0\}}a_{x}x,}$$${\displaystyle a_{x}}$${\displaystyle e_{x}}$${\displaystyle F}$${\displaystyle A}$${\displaystyle e_{x}\mapsto x}$

عندما يكون و كما هو موضح أعلاه، فإن نواة الإسقاط من إلى تكون أيضًا أبيلية حرة، لأنها مجموعة فرعية من (المجموعة الفرعية من العناصر المتطابقة مع الهوية). لذلك، تشكل هذه المجموعات تسلسلًا دقيقًا قصيرًا حيث يكون و كلاهما أبيلية حرة و متماثلة لمجموعة العوامل . هذا حل حر لـ . ^[2] وعلاوة على ذلك، بافتراض بديهية الاختيار، ^[43] فإن المجموعات الإيبيلية الحرة هي على وجه التحديد الأشياء الإسقاطية في فئة المجموعات الإيبيلية . ^{[4] [44]}${\displaystyle F}$${\displaystyle A}$ ${\displaystyle G}$${\displaystyle F}$${\displaystyle A}$${\displaystyle F}$ $${\displaystyle 0\to G\to F\to A\to 0}$$${\displaystyle F}$${\displaystyle G}$${\displaystyle A}$ ${\displaystyle F/G}$${\displaystyle A}$

في الطوبولوجيا الجبرية ، يُطلق على المجموع الرسمي للبسيطات ذات الأبعاد - اسم السلسلة، وتُسمى المجموعة الإبيلية الحرة التي تحتوي على مجموعة من البسيطات ذات الأبعاد - كأساس لها مجموعة سلسلة. ^[45] تؤخذ البسيطات عمومًا من بعض الفضاءات الطوبولوجية ، على سبيل المثال كمجموعة من البسيطات ذات الأبعاد - في مركب بسيط ، أو مجموعة من البسيطات ذات الأبعاد - المفردة في متعدد الشعب . أي بسيط ذو أبعاد - له حدود يمكن تمثيلها كمجموع رسمي للبسيطات ذات الأبعاد -، وتسمح الخاصية العالمية للمجموعات الإبيلية الحرة بتمديد عامل الحدود هذا إلى تماثل المجموعة من السلاسل - إلى السلاسل -. يشكل نظام المجموعات السلسلة المرتبطة بمشغلات الحدود بهذه الطريقة مركبًا سلسلة ، وتشكل دراسة معقدات السلسلة أساس نظرية التماثل . ^[46]${\displaystyle k}$${\displaystyle k}$${\displaystyle k}$${\displaystyle k}$ ${\displaystyle k}$${\displaystyle k}$${\displaystyle (k-1)}$${\displaystyle k}$${\displaystyle (k-1)}$

يمكن ربط كل دالة نسبية على الأعداد المركبة بمجموعة متعددة موقعة من الأعداد المركبة ، وهي أصفار وأقطاب الدالة (النقاط التي تكون قيمتها فيها صفرًا أو لانهائيًا). إن تعدد النقاط في هذه المجموعة المتعددة هو ترتيبها كصفر للدالة، أو نفي ترتيبها كقطب. ثم يمكن استرداد الدالة نفسها من هذه البيانات، حتى عامل قياسي ، كما إذا تم تفسير هذه المجموعات المتعددة كأعضاء في مجموعة أبيلية حرة على الأعداد المركبة، فإن حاصل ضرب أو حاصل قسمة دالتين نسبيتين يتوافق مع مجموع أو فرق عضوين في المجموعة. وبالتالي، يمكن تقسيم المجموعة المضاعفة للدوال النسبية إلى المجموعة المضاعفة للأعداد المركبة (العوامل القياسية المرتبطة بكل دالة) والمجموعة الأبلية الحرة على الأعداد المركبة. تشكل الدوال النسبية التي لها قيمة حدية غير صفرية عند اللانهاية (الدوال الميرومورفية على كرة ريمان ) مجموعة فرعية من هذه المجموعة يكون فيها مجموع المضاعفات صفرًا. ^[47]${\displaystyle c_{i}}$${\displaystyle m_{i}}$$${\displaystyle f(q)=\prod (q-c_{i})^{m_{i}}.}$$

تم تعميم هذا البناء، في الهندسة الجبرية ، إلى مفهوم المقسوم . هناك تعريفات مختلفة للمقسومات، لكنها بشكل عام تشكل تجريدًا لمجموعة فرعية ذات بعد مشترك لمجموعة جبرية ، وهي مجموعة نقاط حل نظام معادلات متعددة الحدود . في الحالة التي يكون فيها لنظام المعادلات درجة حرية واحدة (تشكل حلولها منحنى جبريًا أو سطح ريمان )، يكون للمجموعة الفرعية بعد مشترك واحد عندما تتكون من نقاط معزولة، وفي هذه الحالة يكون المقسوم مرة أخرى مجموعة متعددة موقعة من النقاط من المجموعة. ^[48] تحتوي الدوال الميرومورفية على سطح ريمان مضغوط على عدد محدود من الأصفار والأقطاب، وتشكل قواسمها مجموعة فرعية من مجموعة أبيلية حرة على نقاط السطح، مع ضرب أو قسمة الدوال المقابلة لإضافة أو طرح عناصر المجموعة. لكي يكون عنصر المجموعة الأبيلية الحرة مقسومًا، يجب أن يكون له مضاعفات مجموعها يساوي الصفر، وأن يلبي بعض القيود الإضافية اعتمادًا على السطح. ^[47]

حلقة المجموعة التكاملية ، لأي مجموعة ، هي حلقة مجموعتها المضافة هي المجموعة الإبيلية الحرة على . ^[49] عندما تكون منتهية وإبيلية، فإن المجموعة الضربية للوحدات في لها بنية حاصل ضرب مباشر لمجموعة منتهية ومجموعة إبيلية حرة متولدة بشكل محدود. ^{[50] [51]} ${\displaystyle \mathbb {Z} [G]}$${\displaystyle G}$${\displaystyle G}$${\displaystyle G}$${\displaystyle \mathbb {Z} [G]}$