شبه گروه
در ریاضیات، بهخصوص در جبر مجرد، شبه-گروه (Quasigroup)، ساختاری جبری مشابه با گروهها است، چرا که همیشه «تقسیم» امکانپذیر میباشد. تفاوت عمده شبه-گروهها با گروهها در این است که شبه-گروهها لزوماً شرکتپذیر نیستند.
شبه-گروهی که همانی داشته باشد را لوپ (Loop) گویند.
تعاریف
حداقل دو تعریف صوری معادل برای شبه-گروهها وجود دارند. یکی از این تعاریف شبه-گروهها را به عنوان مجموعهای مجهز به عمل دوتایی تعریف کرده و دیگری از جبر جهانی کمک گرفته و شبهگروه را به عنوان ساختاری با سه عملگر دوتایی در نظر میگیرد. تصویر همریختی شبه-گروهی که فقط با یک عملگر دوتایی تعریف شده باشد لزوماً شبه-گروه نخواهد بود.[۱]
جبر
شبه-گروه ، مجموعه ناتهی است که مجهز به یک عملگر دوتایی (یعنی ماگما) باشد به گونهای که در خاصیت مربع لاتین صدق کند. این خاصیت بیان میدارد که برای هر ، عناصری چون وجود دارند به طوری که در اتحادهای زیر صدق کنند: الگو:وسطچین الگو:پایان وسطچین به بیان دیگر هر عنصر مجموعه دقیقاً در هر سطر و هر ستون از جدول ضرب کیلی شبه-گروه پدیدار شود. این خاصیت تضمین میکند که جدول کیلی یک شبه-گروه متناهی، بهخصوص یک گروه متناهی، مربع لاتین خواهد بود. الزام به یکتا بودن را میتوان با شرط حذفپذیر بودن ماگما (یعنی ماگما خاصیت حذف شدن را داشته باشد) جایگزین کرد.[۲]
جواب یکتای این معادلات به صورت و نوشته میشوند. عملیات و را به ترتیب تقسیم چپ و تقسیم راست مینامند.
مجموعه تهی که مجهز به عمل دوتایی تهی باشد، در این تعریف از شبه-گروه صدق میکند. برخی از مؤلفان شبه-گروههای تهی را به رسمیت میشناسند، ولی سایر مؤلفان بهطور صریح آنها را مستثنا میکنند.[۳][۴]