نیمگروه
From Wikipedia, the free encyclopedia
در ریاضیات نیمگروه (به انگلیسی: semigroup) ساختاری جبریست که یک مجموعه مجهز به عمل دوتایی شرکتپذیر است.
عملیات دوتایی یک نیمگروه اغلب به صورت ضربی: یا نوشته شده که نتیجه اعمال عمل نیمگروه به زوج مرتب می باشد. شرکتپذیری را برای تمام درون نیمگروه به صورت صوری بیان می کنند.
نیمگروهها را می توان به عنوان حالت خاصی از ماگماها در نظر گرفت، که در آن عمل دوتایی شرکت پذیر است. یا می توان آن ها را به صورت تعمیمی از گروه ها بدون الزام به وجود عنصر معکوس پذیر در نظر گرفت.[یادداشت 1]
همچون گروه ها و ماگماها، عمل نیمگروه ها نیز لزوماً جابجایی نیستند، بنابر این لزوماً برابر با نیست؛ یک مثال شناخته شده از عملیاتی که شرکتپذیر است اما ناجابجایی است، عمل ضرب ماتریسی است. اگر عمل نیمگروه جابجایی باشد، آنگاه به نیم گروه مورد نظر، نیمگروه جابجایی گویند.