نام پژوهشگر: مجید بابا نظری
«نمایش های استوار از نیم شبکه ها و نیم گروههای معکوس
thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز - دانشکده علوم
1390
مجید بابا نظری بهمن طباطبایی شوریجه
مجید بابا نظری بهمن طباطبایی شوریجه
منظور از یک نیم گروه بولی معکوس، یک نیم گروه معکوس است که نیمه شبکه ی عناصر خود توان آن یک جبر بولی است. ما در این پایان نامه، نمایش هایی روی نیم گروههای معکوس را بررسی می کنیم که استوار هستند. سپس نمایش مهمی از نیم گروههای معکوس بولی بنام نمایش vagner – preston ارائه می کنیم که هرگز استوار نیست. سپس نمایش استواری بنام نمایش کانونی منظم روی نیم گروه های معکوس ارائه می کنیم و به بررسی وفاداری آن می پردازیم. در نهایت مفهوم پیوستگی یک نیم گروه معکوس را بیان می کنیم و با ذکر یک مثال نقض نشان می دهیم که همه ی نیم گروههای معکوس پیوسته نیستند.