قانون تركيب داخلي

في الرياضيات، وبشكل أدق في علم الجبر التجريدي، **قانون التركيب الداخلي** هو تطبيقً يربط عنصرين من المجموعة *E*، بعنصر من نفس المجموعة. بمعنى آخر، هو عملية ثنائية  تكون فيها المجموعة *E* مستقرة.

يعد الجمع والضرب في مجموعة الأعداد الطبيعية أمثلة كلاسيكية لقوانين التركيبات الداخلية.

تُستخدم قوانين التركيبات الداخلية والخارجية لتحديد البنيات الجبرية التي تشغل مكانًا متميزًا في الجبر التجريدي.

## الأمثلة

في مجموعة الأعداد الصحيحة النسبية، يعد الجمع *قانونًا للتركيبات الداخلية* يتضمن عدة خصائص نذكر من بينها:

* 0 هو عنصر '''محايد''' لهذا القانون: لأن إضافته إلى أي رقم يعطي الرقم نفسه: مثلا، &nbsp; 5 + 0 = 5 &nbsp; و &nbsp; 0 + 8 = 8.
* لكل عدد صحيح، يوجد عدد آخر، **[[معكوس جمعي|يعاكسه]]** (المصطلح العام هو *[[عنصر معاكس|العنصر المعاكس]]*)، حيث جمعهما، يعطي العنصر المحايد 0. نلاحظ المعاكس *من خلال* تغيير إشارة العدد الصحيح الأول. وهكذا: &nbsp; 3 + (–3) = 0.
* يمكننا تبديل عنصرين حول علامة " + " : &nbsp; 3 + 5 = 5 + 3 = 8 &nbsp; . ونقول أن العملية **[[عملية تبديلية|تبديلية]].**
* يمكننا تجميع العناصر عندما نرغب بجمع أكثر من عددين: &nbsp; 3 + 5 + 4 &nbsp; يمكن حسابها بطريقتين:
** عن طريق حساب&nbsp; 3 + 5 = 8 ثم نضيف &nbsp; 4 &nbsp; للنتيجة،
** أو عن طريق حساب &nbsp; 5 + 4 = 9 &nbsp; وبعدها حساب &nbsp;3 + 9.

: هاتين الطريقتين تُؤديان إلى نفس النتيجة، والتي نلاحظها من خلال: &nbsp; (3 + 5) + 4 = 3 + (5 + 4) &nbsp; . ونقول أن العملية **[[عملية تجميعية|تجميعية]]**.

## التعريف الرسمي

نسمي **قانون تركيب داخلي** في مجموعة *E* كل تطبيق *\, للجداء الديكارتي *E* × *E* ضمن *E.*

مجموعة *E* مع قانون **تركيب** داخلي *\, يشكلان بنية جبرية تسمى ماغما ويرمز لها ب "( *E* ، *\, ) ".

بعض الأمثلة البديهية، لمجموعة E ليست فارغة.

* التطبيقات الثابتة: إذا كان ***c*** ينتمي إلى *E* :  \forall x \in E , \forall y \in E \colon x*y\ = c 
* تطبيق اختيار التعبير على اليسار:   \forall x \in E , \forall y \in E \colon x*y\ = x  ؛
* تطبيق اختيار التعبير على اليمين:   \forall x \in E , \forall y \in E \colon x*y\ = y .

## عناصر خاصة
### المربعات

* يسمى عنصر  c \, **[[مربع]]** إذا كان: &nbsp; \exists\ x \in E ,\ x * x = c \,

: على العكس، كل عنصر x لديه مربع واحد، وعادة ما يشار إليه بـ " x2 "
: إذا كان القانون يرمز له بالجمع، سيُستخدم المصطلح " **مزدوج"** عوضاً عن المصطلح "مربع*"* .
:: مثال : في المجموعة ℤ، مزدوج العدد 3 (للجمع) هو 6، *ومربعه* (للضرب) هو 9.

* يسمى عنصر  s \, **[[تساوي القوى|بلا تأثير]]** (من الرتبة 2) أو **مسقط** إذا كان: &nbsp; s * s = s \,

: وفي تعبيرات أخرى، هذا العنصر له *مربع* خاص *به.*
:: أمثلة:
::* كل عنصر محايد في قانون ما فهو بلا تأثير بالنسبة لهذا القانون؛
::* في كل مجموعة عددية تحتوي على العنصرين 0 و 1 فهما الوحيدين اللذين بلا ثأثير بالنسبة للضرب.

### العناصر المحايدة

يسمى العنصر e:

* *محايد على اليسار* إذا كان\forall x\in E\quad e*x=x .
* *محايد* على اليمين إذا كان\forall x\in E\quad x*e=x .
* *[[عنصر محايد|محايد]]* عندما يكون محايدًا على اليمين وعلى اليسار.

; أمثلة
:* في ℝ، العنصر المحايد للجمع هو 0، وللضرب هو 1.
:* في مجموعة المجموعات الجزئية *X*، تكون المجموعة الفارغة محايدة بالنسبة للاتحاد والمجموعة *X* محايدة للتقاطع.

كل عنصر محايد على اليسار أو على اليمين فهو بلا تأثير.

إذا وُجِدَ عنصر محايد على اليسار وعنصر محايد على اليمين، فإن القانون يعترف بعنصر محايد واحد، وكل عنصر محايد على اليسار أو على اليمين يساويه.

عندما يوجد عنصر محايد e:

* يسمي العنصر s *[[دالة ارتدادية|ذاتي الانعكاس]]* إذا كانs*s=e.
*: العنصر الوحيد *[[دالة ارتدادية|ذاتي الانعكاس]]* وبلا تأثير هو العنصر المحايد؛
* يسمي عنصر a *[[عنصر معاكس|مماثل]]* العنصر b على اليسار إذا كان a*b=e. ومنه فإن العنصر b مماثل العنصر a على اليمين.

### الامتصاصية

يسمي عنصر a:

* **ممتص على اليسار** إذا كان: \forall x\in E\quad a*x=a .
* **ممتص على اليمين** إذا كان: \forall x\in E\quad x*a=a .
* **[[عنصر ماص|ممتص]]** إذا **ممتص** على اليمين وعلى اليسار.

; أمثلة
:* في ℝ، العدد 0 ممتص بالنسبة للضرب.
:* في مجموعة المجموعات الجزئية *X،* تكون المجموعة الفارغة ممتصة بالنسبة للتقاطع بينما تكون المجموعة *X* ممتصة بالنسبة للاتحاد.

كل عنصر ممتص على اليسار أو على اليمين فهو بلا تأثير.

إذا وُجِدَ عنصر ممتص على اليسار وعنصر ممتص على اليمين، فإن القانون له عنصر ممتص واحد، وأي عنصر ممتص على اليسار أو اليمين يساويه.

عندما يكون للقانون عنصر ممتص 0، يسمي عنصر x **عديم القوى** (من الرتبة 2) إذا كانx*x=0.

## انظر أيضا

* الجبر الشامل
* تطبيق محافظ على الشكل

## مراجع

تصنيف:بنى جبرية