ماگما (جبر)

ساختارهای جبری بین ماگماها و گروه‌ها.

در جبر مجرد، ماگما (Magma)، باینار (Binar)،الگو:رچ (به ندرت به آن گروهواره «Groupoid» نیز گفته می‌شود)، ساختار جبری بنیادینی است. ماگماها مجموعه‌هایی مجهز به یک عملگر دوتایی اند که براساس تعریف باید بسته باشند. هیچ خاصیت دیگری برایشان الزامی نیست.

تاریخچه و واژه‌شناسی

اصطلاح گروهواره (Groupoid) در ۱۹۲۷ میلادی توسط هاینریش براندت، هنگام توصیف گروهواره براندت معرفی شد (از واژه آلمانی Gruppoid گرفته شده‌است). سپس این اصطلاح توسط بی.ای. هاوسمان و اویستین اوره (۱۹۳۷ میلادی) مناسب سازی شد، (یعنی همان تعریف از طریق مجموعه مجهز به عمل دوتایی که در این مقاله نیز به کار رفته‌است). طی چند بازبینی که در مقالات بعدی زنترالبلات (Zentralblatt) منتشر شد، براندت قویاً مخالفت خود را با این نحوه از واژه‌گذاری ابراز نمود. گروه‌واره براندت، گروه‌واره‌ای در معنای مورد استفاده در نظریه رسته‌ها است، نه براساس معنایی که توسط هاوسمان و اور به کار برده شده‌است. با این وجود، کتاب‌های اثرگذاری در زمینه نظریه نیم-گروه‌ها شامل کتاب کلیفورد و پرِستون (۱۹۶۱ میلادی) و هوی (Howie) (1995 میلادی) از گروهواره‌ها در معنای به کار رفته توسط هاسمان و اور استفاده می‌کنند. هولینگز (Hollings) (در ۲۰۱۴ میلادی) می‌نویسد که اصطلاح گروهواره «احتمالاً اغلب در ریاضیات مدرن استفاده می‌شود»، براساس معنایی که اکنون در نظریه رسته‌ها به آن‌ها نسبت داده می‌شود.

براساس گفته برگمان و هاوسکنکت (Bergman & Hausknecht) (در ۱۹۹۶ میلادی): «کلمه‌ای برای عملگر دوتایی که لزوماً شرکت‌پذیر نباشد وجود ندارد که همگان برسر آن توافق داشته باشند. کلمه گروه‌وار توسط بسیاری از متخصصان جبر جهانی استفاده شده، اما کسانی که در نظریه رسته‌ها و شاخه‌های مرتبط با آن کار می‌کنند، نسبت به استفاده از گروهواره برای این مفهوم قویاً مخالفت می‌ورزند، چرا که نظریه رسته‌دانان از همین کلمه جهت اشاره به "رسته‌ای که تمام ریخت‌ها در آن معکوس‌پذیرند" استفاده می‌کنند. اصطلاح ماگما توسط ژان-پی‌یر سر در کتاب جبرهای لی و گروه‌های لی (در ۱۹۶۵ میلادی) به کار رفته‌است.» همچنین اصطلاح ماگما در کتاب Éléments de mathématique از نیکلا بورباکی نیز ظاهر شده‌است.

تعریف

ماگما، مجموعه‌ای چون $M$ مجهز به عمل دوتایی چونالگو:• است که هر دو عنصر $a,b\in M$ را به عنصر $a\cdot b$ می‌فرستد. برای این که $(M,\cdot )$ ماگما شود، باید در شرط زیر صدق کند:

برای تمام $a,b\in M$، نتیجه عمل $a\cdot b$ نیز باید در $M$ باشد.

عبارت فوق را برحسب نمادگذاری ریاضیاتی می‌توان به صورت زیر نوشت: الگو:وسط‌چین $\mathrm{\forall }a,b(a,b\in M⟹a\cdot b\in M)$ الگو:پایان وسط‌چین اگر عملگر دوتایی ماگما جزئی باشد (یعنی برای تمام a و bها لزوماً تعریف شده نباشد)، به ماگمای حاصل ماگمای جزئی یا اصطلاح رایج‌تر آن «گروه‌واره جزئی» گفته می‌شود.

منابع

• الگو:Citation