در این رساله، ابتدا برخی تعاریف و قضایای مقدماتی (نیم)ابرگروه ها را بیان سپس مفهوم (نیم)ابرگروه های مرتب جزیی را تعریف می کنیم. در ادامه ?-نیم ابرگروه ها را که تعمیمی از ?-نیم گروه ها و نیم ابرگروه ها است را معرفی کرده و رابطه اساسی روی ?-نیم ابرگروه ها را به عنوان کوچک ترین رابطه هم ارزی منظم قوی، مطالعه می کنیم. همچنین ایده آل های اول و نیم اول یک ?-نیم ابرگروه را بررسی می کنیم. ?-نیم ابرگروه...

فرض کنید x مجموعه ای ناتهی ، g یک نیمگروه جابجایی و a=x×gبا اعضایی به شکل (x,g) باشد. نگاشت ?:x×g?x با ضابطه ی ?(x,g)=x.g را به عنوان عمل راستg بر x تصور می کنیم. رابطه ی هم ارزی ~ را روی a به صورت زیر تعریف می کنیم : ت (x,g)~(y,f) ? ?(x,f)=?(y,g) مجموعه ی کلاس های هم ارزی حاصل از رابطه ی ~ بر a را با b ، (b=a/~) نمایش می دهیم و آن را فضای خارج قسمتی تعمیم یافته می نامیم. در ادامه مساله ی فش...

در این پایان نامه، الگوریتم های جدید و موثری برای تجزیه چندجمله ای های چندمتغیره از درجه دلخواه ارائه می دهیم.مفهومی از تجزیه که در اینجا مورد نظر ماست عکس عمل ترکیب می باشدکه ایده اصلی آن از کاربرد هایش در علم رمزنگاری نشأت گرفته است. در حقیقت، ما روش هایی موثر برای حل مسئله معروف تجزیه تابعی(fdp) شرح می دهیم.این الگوریتم ها اولین روش کلی برای تجزیه چندجمله ای ها(از هر درجه و هر تعداد چندجمله ...

برای هر ‎x,y ?r ِِ d،یک مشتق ژردان نامیده می شود هرگاه ‎d(x^2)=d(x)x+xd(x) ‎ برای هر ‎x? r‎ . نگاشت ‎f‎ از حلقه ی ‎r‎ به خودش جابه جایی نامیده می شود هرگاه ‎ [f(x),x]=0‎ برای هر ‎x?r. هرمشتق یک مشتق ژردان است ولی عکس این مطلب صحیح نیست. یک نتیجه ی مشهور از هرشتاین ‎بیان می کند که هر مشتق ژردان در هر حلقه ی اول با مشخصه ی مخالف ‎2‎ یک مشتق است. برسار و واکمن ‎اثبات کوتاهی برای این نتیجه ارائه ک...

تلاش برای حل معادله دیفرانسیل پاره ای مربوط به مساله فیزیکی ارتعاش فنر، منجر به ابداع سریهای فوریه و شروع آنالیز همساز شد. در قرن نوزدهم گسترش وسیع سریهای فوریه روی گروه دایره و گروه جمعی اعداد حقیقی متمرکز شد. در آنالیز همساز مدرن، به جای این دو گروه، یک گروه توپولوژیک قرار می گیرد و فضایی از تابع ها بر این گروه مورد بحث واقع می شود. در این مقاله سیر مطالعه آنالیز همساز بر روی گروههای توپولوژی...

در سال 2001 برای اولین بار مفهوم پیکربندی یک گروه معرفی شد و ثابت شد که یک گروه میانگین پذیر است اگر و تنها اگر، هر دستگاه معادلات همگن پیکربندی، دارای جواب ناصفر و نامنفی باشد؛ ثابت می کنیم که اگر دو گروه دارای پیکربندی یکسان باشند آنگاه میانگین پذیری یکی، میانگین پذیری دیگری را نتیجه می دهد و عدد تارسکی دو گروه هم پیکر نیز مساوی خواهند بود. از آن زمان تاکنون این مفهوم بیشتر در حوزه نظریه گروه...

مفهوم تحدب و توابع محدب یکی از مفاهیم مهم در آنالیز ریاضی است که بسیاری از جنبه های آن بررسی و تعمیم داده شده است. ‏در‎ این پایان نامه به بررسی برخی تعمیم های مفهوم تحدب روی گروه های توپولوژیک می پردازیم. به ویژه توابع محدب میانی روی گروه های ریشه ای تقریب پذیر و توابع محدب روی گروه های توپولوژیک آبلی در حالت کلی را بررسی می کنیم‏. و برخی قضایای کلاسیک مانند برنشتاین - دوش و استراوسکی را برای آ...

می خواهیم وجود یک سیستم هار پیوسته روی یک گروپوئید موضعاً فشرده، شمارای نوع دوم و با مدارهای باز (به عنوان زیر مجموعه هایی از فضای همانی ) را ثابت کنیم. با استفاده از یک نتیجه وستمن (اگر یک گروپوئید موضعاً فشرده، سیستم هار پیوسته داشته باشد، آنگاه نگاشت برد باز است) نتیجه می گیریم که نگاشت برد از هر گروپوئید موضعاً فشرده ی شمارای نوع دوم با مدارهای باز، باز است. آنتونی کارل سدا ثابت کرده که اگر ...

در ‎‎نخستین فصل این پایان‎ ‎‎‎نامه ‎‎پس از بیان مفاهیم ابتدایی و پایه، فضای دیجیتال معرفی می‎‎ شود. سپس توپولوژی روی خط دیجیتال و به طور خاص توپولوژی خالیمسکی و روند ایجاد این توپولوژی مورد مطالعه قرار می گیرد.‎‎ در فصل دوم به معرفی‎ مجاور های مختلف یک نقطه در فضای دیجیتال می‎‎ پردازیم و پس از مطالعه توپولوژی دو بعدی خالیمسکی‏، یک توپولوژی جدید روی فضای دیجیتال به‎‎ نام ? معرفی می شود‏، که ساخت...

فضاهای lp(?>p?1)وc0 یکی از مهمترین فضاهای باناخ نامتناهی البعد می باشند.در این تحقیق به این فضاها به عنوان زیر فضاهایی از سایر فضاهای باناخ می پردازیم.نشان می دهیم که اگر x یک فضای باناخ باشد و یک فضای خارج قسمتی از x که مجانبا طولپا با l1 موجود باشد،آن گاه x حاوی نسخه ای مجانباطولپااز l1 است.هرزیرفضای بسته با بعد نامتناهی از l1 حاوی یک زیرفضای متمم داراز l1 است که مجانباطولپا با l1 است. فرض کن...