موضوع مقاله: همریختی | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # همریختی | مقدمه: در جبر مجرد، همریختی یا همومورفیسم ، نگاشتی محافظت‌کننده-از-ساختار بین دو ساختار جبری (مانند دو گروه، حلقه یا فضای برداری) است. | ## بخش 1: همریختی | مفهوم هم‌ریختی تحت عنوان ریخت، به ساختارهای بسیار دیگری که بنیان مجموعه ای ندارند یا حتی جبری نیستند نیز تعمیم یافته‌است. هر کدام از این‌ها را می‌توان به گونه‌ای تعریف کرد که به هر کلاس از ریخت‌ها نیز تعمیم یابد. تعریف یک هم‌ریختی، نگاشتی بین دو ساختار جبری از یک سنخ می‌باشد که عملیات ساختارها را حفظ می‌کند؛ یعنی نگاشتی چون بین دو مجموعه که هردو به یک ساختار و در نتیجه به یک عملگر مجهز باشند، چنان‌که اگر عملی روی این ساختار باشد (در اینجا برای ساده‌سازی فرض می‌کنیم که عملگر مد نظر یک عملگر دوتاییست)، آنگاه برای هر در اغلب، اما نه همیشه، حتی زمانی که دو مجموعه مجهز به دو ساختار متفاوت، و در نتیجه دو عمل متفاوت باشند، عملیات مربوط به هر دو مجموعه مذکور را با یک نماد نمایش می‌دهند. به‌طور صوری، نگاشتی چون یک عملیات -تایی چون را که بر روی هردوی و تعریف شده‌است، حافظ ساختار است اگر برای تمام در داشته باشیم: عملیاتی که باید تحت هم‌ریختی‌ها حفظ شوند شامل عملیات ۰-تایی، یعنی ثوابت نیز می‌شود. زمانی که ساختارهای مذکور عنصر همانی داشته باشند، عنصر همانی دامنه باید به عنصر همانی متناظر با آن در هم‌دامنه نگاشته شود. به عنوان مثال: یک هم‌ریختی نیم‌گروهی نگاشتی بین نیم‌گروه‌هاست که عمل نیم‌گروه را حفظ می‌کند. یک هم‌ریختی مونوئیدی نگاشتی بین مونوئیدهاست که عمل مونوئید را حفظ کرده و عنصر همانی مونوئید اول را به عمل دوتایی مونوئید دومو می‌نگارد (درینجا عنصر همانی عمل ۰-تاییست). این هم‌ریختی منجر به این می‌شود که عنصر همانی گروه اول به عنصر همانی گروه دوم نگاشته شده و عنصر معکوس یک عضو از گروه اول به معکوس تصویر آن عضو نگاشته می‌شود؛ لذا هم‌ریختی نیم‌گروهی بین گروه‌ها لزوماً یک هم‌ریختی گروهیست. یک هم‌ریختی حلقه ای نگاشتی بین حلقه‌هاست که جمع حلقه ای، ضرب حلقه ای و عنصر همانی ضربی حلقه را حفظ می‌کند. نگاشت خطی هم‌ریختی ای از فضاهای برداریست؛ یعنی هم‌ریختی گروهی بین فضاهای برداری که ساختار گروه آبلی و ضرب اسکالر را حفظ می‌کند. یک هم‌ریختی مدولی که به آن نگاشت خطی بین مدول‌ها نیز گفته می‌شود به‌طور مشابه تعریف می‌شود. ممکن است یک ساختار جبری بیش از یک عمل داشته باشد و برای حفظ هر کدام از آن عمل‌ها نیاز به یک هم‌ریختیست؛ لذا نگاشتی که فقط برخی از آن عمل‌ها را حفظ کند هم‌ریختی ساخار نیست، بلکه صرفاً هم ریختی آن ساختار تحت عمل‌های حفظ شده می‌باشد. به عنوان مثال، نگاشتی بین مونوئیدها که عمل مونوئید را حفظ کرده اما عنصر همانی را حفظ نکند یک هم‌ریختی مونوئیدی نیست، بلکه صرفاً یک هم‌ریختی نیم‌گروهیست. اگر ما تابعی بین این دو حلقه (اعداد حقیقی و ماتریس‌های ) به صورت زیر تعریف کنیم: که در آن یک عدد حقیقیست، آنگاه هم‌ریختی بین حلقه‌ها خواهد بود، چرا که هم جمع را حفظ می‌کند: هم ضرب را: به عنوان مثالی دیگر، اعداد مختلط ناصفر را در نظر بگیرید، این اعداد مانند اعداد حقیقی ناصفر تحت عمل ضرب تشکیل یک گروه می‌دهند (صفر از هردوی این گروه‌ها باید حذف شود چرا که معکوس ضربی ندارد، که از شرایط ضروری گروه‌هاست). تابعی مثل از اعداد مختلط ناصفر به اعداد حقیقی ناصفر به صورت زیر تعریف می‌کنیم: یعنی قدرمطلق عدد مختلط است. آنگاه هم‌ریختی گروه‌هاست، چرا که ضرب را حفظ می‌کند: توجه کنید که را نمی‌توان به هم‌ریختی حلقه ای بسط داد (هم‌ریختی حلقه ای از اعداد مختلط به اعداد حقیقی)، چرا که جمع را حفظ نمی‌کند: به عنوان مثالی دیگر، درون تصویر نمودار هم‌ریختی ی از مونوئید به نشان داده شده. به علت مختلف بودن اعمال دوتایی این دو ساختار، خاصیت هم‌ریختی به صورت نشان داده می‌شود و داریم . یک جبر ترکیبیاتی روی میدان که به فرم مربعی باشد را نرم نامیده که به صورت است و یک هم‌ریختی گروهی از گروه ضربی به گروه ضربی می‌باشد. هم‌ریختی‌های خاص انواع هم‌ریختی‌ها برای خود نام‌های خاصی دارند، که در تعمیم‌شان به ریخت‌های نظریه رسته‌ها نیز از همین نام‌ها بهره می‌برند. یک‌ریختی یک یک‌ریختی بین دو ساختار جبری هم‌سنخ را اغلب به صورت هم‌ریختی دوسویه تعریف می‌کنند. در بستر عام‌تر، در نظریه رسته‌ها، یک‌ریختی به صورت ریخت تعریف می‌شود، ریختی که دارای معکوسیست که خود آن هم ریخت باشد. در مورد ساختارهای جبری خاص، این دو تعریف معادل هستند، اگرچه که ممکن است برای ساختارهای غیر جبری که دارای مجموعه زیرین باشند این دو تعریف متفاوت باشد. به‌طور دقیق تر اگر: یک (هم) ریخت باشد، دارای معکوس است اگر وجود داشته باشد: چنان‌که: اگر و دارای مجموعه زیرین باشند و دارای معکوس باشد، آنگاه دوسویه است. | ## بخش 2: همریختی | در حقیقت یک به یک است، چرا که نتیجه می‌دهد و پوشاست چرا که برای هر در داریم و تصویر عنصری از است. برعکس، اگر یک هم‌ریختی دو سویه بین ساختارهای جبری باشد، فرض کنید نگاشتی باشد چنان‌که عنصر منحصر به فردی چون از بوده چنان‌که . در نتیجه داریم و ، و تنها چیزی که باقی می‌ماند این است که نشان دهیم یک هم‌ریختی است. اگر یک عمل دوتایی این ساختار باشد، برای هر جفت از عناصر داریم: و لذا با سازگار خواهد بود. اثبات آن برای هر عمل چندتایی دیگر هم مشابه عمل دوتایی است، و از آن نتیجه می‌گیریم که یک هم‌ریختی است. به عنوان مثال، برای فضاهای توپولوژیکی، ریخت را نگاشت پیوسته می‌گویند، و معکوس نگاشت پیوسته دو سویه لزوماً پیوسته نیست. یک‌ریختی در فضاهای توپولوژی را همسان‌ریختی یا نگاشت دوپیوسته (نگاشتی که هم خودش و هم معکوسش پیوسته باشند) گویند. درون‌ریختی یک درون‌ریختی، هم‌ریختی است که دامنه اش برابر با هم دامنه‌اش باشد، یا به‌طور کلی تر ریختی که منبع آن با هدفش برابر باشد. درون‌ریختی‌های یک ساختار جبری، یا شی‌ از یک رسته تحت عمل ترکیب تشکیل مونوئید می‌دهد. در حالتی که در بستر فضاهای برداری یا مدول‌های آزاد متناهی بعد کار می‌کنیم، انتخاب پایه، یکریختی حلقه‌ای بین حلقه درون‌ریختی‌ها و حلقه ماتریس‌های مربعی هم بعد القاء می‌کند. خودریختی یک خودریختی، درون‌ریختی است که علاوه بر درون‌ریختی، یک‌ریختی نیز می‌باشد. خودریختی‌های یک ساختار جبری یا یک شیء از یک رسته، تحت عمل ترکیب، تشکیل گروه می‌دهد که به آن گروه خودریختی‌های آن ساختار می‌گوییم. بسیاری از گروه‌هایی که بر روی آن‌ها نامی قرار داده شده، خود گروه خودریختی از یک ساختار جبری اند. به عنوان مثال، گروه خطی عمومی گروه خودریختی فضاهای برداری بعدی روی یک میدان می‌باشد. گروه‌های خودریختی میدان‌ها توسط اواریسته گالوا به منظور مطالعه ریشه چند جمله‌ای‌ها معرفی شدند و اکنون پایه نظریه گالوا می‌باشند. تک‌ریختی برای ساختارهای جبری، تک‌ریختی‌ها عمدتاً به صورت هم‌ریختی‌های یک به یک تعریف می‌شوند. در حالت کلی تر، در نظریه رسته‌ها، یک تک‌ریختی به صورت ریختی تعریف می‌شود که خاصیت چپ حذف شدنی دارد. این بدین معناست که (هم) ریختی تک ریختی است اگر برای هر جفت از ریخت‌ها از هر شیء درون رسته به شیء از نتیجه بگیریم که است. به صورت دقیق‌تر، آن‌ها برای میدان‌ها، که در آن هر همریختی یک تکریختی است، و برای واریته‌های جبر جهانی، که ساختارهای جبری هستند که در آن عمل‌ها و اصول (اتحادها) بدون هیچ محدودیتی تعریف شده‌اند، معادل اند (میدان‌ها واریته نمی‌سازند، زیرا وارون ضربی یا به صورت عمل یگانی یا به صورت یک ویژگی از ضرب تعریف شده‌است، که در هر دو حالت، تنها برای عناصر غیرصفر تعریف شده‌است). بخصوص، این دو تعریف همریختی برای مجموعه‌ها، ماگماها، نیم‌گروه‌ها، مونویدها، گروه‌ها، حلقه‌ها، میدان‌ها، فضاهای برداری و مدول‌ها معادل هستند. یک تکریختی مجزا یک همریختی است که یک وارون چپ دارد، و از این‌رو خودش یک وارون راست برای همریختی دیگری است؛ یعنی، یک همریختی یک هوموریختی مجزا است اگر یک همریختی موجود باشد به اینصورت که باشد. برای مجموعه‌ها و فضاهای برداری، هر تکریختی یک تکریختی مجزا است، اما این ویژگی برای بیشتر ساختارهای جبری معمول برقرار نیست. از جهت دیگر، در نظریه رسته‌ها، اپی‌ریختارها را به صورت ریختارهای راست قابل‌لغو تعریف می‌کنند. | ## بخش 3: همریختی | این یعنی یک (هم) ریختی وقتی یک اپی‌ریختار است که، برای هر جفت ، از ریختارها از به هر شیء دیگر ، تساوی پیامد بدهد که است. یک همریختی پوشا همیشه راست لغوپذیر است، اما برعکس آن همیشه برای ساختارهای جبری درست نیست. با این حال، این دو تعریف اپی‌ریختار برای مجموعه‌ها، فضاهای برداری، گروه‌های آبلی، مدول‌ها (زیر را برای اثبات ببینید) و گروه‌ها معادل می‌باشد.Linderholm, C. اهمیت این دو ساختار در ریاضیات، و مخصوصاً در جبر خطی و جبر هومولوژی می‌تواند وجود همزمان دو تعریف غیرمعادل را توضیح دهد. ساختارهای جبری که برای آن اپی‌ریختارهای غیرپوشا وجود دارد شامل نیم‌گروه‌ها و حلقه‌ها می‌شود. اصلی‌ترین مثال همان شمول اعداد صحیح در اعداد گویا است، که یک همریختی حلقه‌ها و نیم‌گروه‌های ضربی است. برای هر دو ساختار، این یک تکریختی و یک اپی‌ریختار غیرپوشا است ولی یک ایزوریختار نیست. به این دلیل که محلی‌سازی در جبر جابجایی و هندسه جبری مبنایی نیست، این موضوع توضیح می‌دهد که چرا در این زمینه‌ها، تعریف اپی‌ریختارها به صورت هوموریختارهای راست لغوپذیر به صورت معمول ارجح‌تر است. یک اپی‌ریختار مجزا یک همریختی است که یک وارون راست دارد، و ازاین‌رو خودش یک وارون چپ از همریختی دیگر است؛ یعنی، یک همریختی وقتی یک اپی‌ریختار مجزا است که یک همریختی موجود باشد که در آن برقرار باشد. برای مجموعه‌ها و فضاهای برداری، هر اپی‌ریختار یک اپی‌ریختار مجزا است، اما این ویژگی برای بیشتر ساختارهای جبری معمول برقرار نیست. به صورت خلاصه، این رابطه را داریم پیامد آخر برای مجموعه‌ها، فضاهای برداری، ماژول‌ها، و گروه‌های آبلی یک هم‌ارزی است؛ پیامد اول برای مجموعه‌ها و فضاهای برداری یک هم‌ارزی است. به صورت طبیعی، به مجموعه خارج‌قسمتی می‌توان یک ساختار با نوع مشابه با داد، این کار با تعریف عمل‌های مجموعه خارج‌قسمتی توسط انجام می‌شود، که برای هر عمل از برقرار است. در آن حالت، تصویر در تحت همریختی لزوماً با ایزوریختار است؛ این واقعیت یکی از قضیه‌های ایزوریختی است. وقتیکه ساختار جبری برای یک عمل یک گروه است، کلاس هم‌ارزی از عنصر همانی این عمل برای مشخص‌کردن رابطه هم‌ارزی کافی است. در این‌حالت، خارج‌قسمت بر رابطه هم‌ارزی توسط نشان داده می‌شود (که معمولاً به صورت به پیمانه خوانده می‌شود). هسته‌های همریختی‌های یک نوع بخصوص از ساختارهای جبری به صورت طبیعی مجهر به یک ساختار هستند. در حالت گروه‌های آبلی، فضاهای برداری و مدول‌ها، این نوع ساختاری هسته‌ها مشابه ساختار مدنظر است. اما در حالت‌های دیگر، متفاوت اند و نام دیگری هم گرفته‌اند، مثل زیرگروه نرمال برای هسته‌های همریختی‌های گروهی و ایده‌آل‌ها برای هسته‌های همریختی‌های حلقه‌ای (در حالت حلقه‌های غیرجابجایی، کرنل‌ها همان ایده‌آل‌های دوجهته هستند). ساختارهای رابطه‌ای در نظریه مدل‌ها، مفهوم ساختار جبری به ساختارهای شامل هم عمل و هم رابطه تعمیم می‌یابد. اگر یک همریختی روی باشد و نشان‌دهنده رشته خالی باشد، آنوقت را یک همریختی فاقد- می‌نامند وقتیکه برای همه در برقرار باشد. یک همریختی روی که را برای همه برآورده می‌کند، یک همریختی -هم‌حالت نامیده می‌شود. 287 اگر برای همه برقرار باشد، (یعنی یک ۱-هم‌حالت باشد)، آنوقت را کدینگ هم می‌نامند. | ## جمع‌بندی | مجموعه از کلمه‌های تشکیل شده از الفبای را می‌توان به صورت مونوید آزاد تولید شده توسط تصور کرد.