در این پایان نامه, عمل های تحویل ناپذیر و به طور زیرمستقیم تحویل ناپذیر را دسته بندی می کنیم. در فصل اول نشان می دهیم که عمل های حذفی می توانند به عمل-گروه ها تبدیل شوند و عمل های زیر مقدماتی به عمل های مقدماتی. علاوه بر این, این ساختارها باوفایی, تحویل ناپذیری و تعدادی خاصیت دیگر را حفظ می کنند. در فصل دوم, شرایط لازم و کافی برای تحویل ناپذیری عمل های حذفی, پوچ توان و یا زیرمقدماتی که در تعداد...

فرض کنید j یک جبر تک توان با بعد متناهی روی میدان گالوا باشد. گروه 1 + j = {1 + x : x ? j}با قانون ضرب (1 + x)(1 + y) = 1 + x + y + xy یک گروه جبری است. در این پایان نامه یک فرآیند برای بررسی سرشت های گروه ماتریس های بالا مثلثی تک توان فرمول بندی می کنیم و نشان می دهیم این سرشتها به صورت چندجمله های با متغیر q می باشند.

گراف خوشه تخویل ناپذیر است اگر هر خوشه از اندازه خداقل دو یالی داشته باشد که در هیچ خوشه ی دیگری قرار نداشته باشد.گراف خوشه تخویل ناپذیر رأسی است اگر هر خوشه از اندازه رأسی داشته باشد که در هیچ خوشه ی دیگری قرار نداشته باشد.

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

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

چکیده فرض کنیم p یک چندجمله ای یک متغیّره با ضرایب مختلط باشد‎.‎ می گوییم ‎p یک چندجمله ای سندوف است‎،‎ هرگاه تکین بوده و ریشه های آن در قرص یکه بسته قرار داشته باشند‎.‎ پنداره ی سندوف می گوید‎:‎ اگر ‎$a$‎ یک ریشه ی دلخواه یک چندجمله ای سندوف ‎ باشد‎،‎ آنگاه قرص ‎شامل دست کم یک نقطه ی بحرانی p است‎.‎ ‎ جولیوس بورچیا پس از آن که نشان داد‎،‎ ادعای اثبات پنداره ی سندوف توسط ‎گرالد شمیدر نادرست است...

پایه های گربنر یکی از ابزارهای محاسباتی برای مطالعه ایدال های چندجمله ای است. مفهوم پایه گربنر فراگیر را میتوانیم توسیع پایه گربنر در حلقه چندجمله ایها با ضرایب پارامتری در نظر گرفت. در بسیاری کاربردها محاسبه این چنین ئایه ای ضروری است. به عنوان مثال در رباتیک، هندسه، شبکه الکتریکی و جبرخطی کاربردهای بارزی دارد. این مفهوم برای اولین بار توسط وایزفنینگ در سال 1992 معرفی شد و الگوریتم مناسب برای ...

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

پایه ی گروبنر یکی از ابزارهای محاسباتی برای مطالعه ی ایده آل های چندجمله ای است که توسط بوخبرگر در سال 1965 معرفی شد. کاربردهای فراوان پایه ی گروبنر در ریاضیات و صنعت، محققان را بر آن داشته تا به دنبال طراحی الگوریتم کارا و سریعی برای محاسبه ی آن باشند. در سال 2002، فوژر با طراحی و ارائه ی الگوریتم f_5 سریع ترین الگوریتم محاسبه ی پایه ی گروبنر را معرفی کرد. این الگوریتم از دو محک محاسباتی قوی ب...

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