یک‌ریختی

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

در جبر مجرد، هر یک‌ریختی یا ایزومورفیسم، یک تابع دوسویی هم‌ریختی است. دو ساختار ریاضی را یک‌ریخت (ایزومورف) نامیم هرگاه یک یک‌ریختی بینشان باشد.

تعریف[ویرایش]

فرض کنید و گروه باشند، تابع 'φ:  G → G را یک‌ریختی (ایزومورفیسم) گوییم هرگاه دوسویی (یک به یک و پوشا) باشد و

عبارت بالا را اغلب به صورت ساده شدهٔ می‌نویسند. باید توجه داشت که در این تعریف، حاصل‌ضرب سمت چپ (یعنی ab در ) در G است ولی حاصل‌ضرب در 'G می‌باشد.

مثال‌ها[ویرایش]

  • فرض کنید (×,+R) گروه تمام اعداد حقیقی مثبت تحت ضرب و (+,R) گروه تمام اعداد حقیقی تحت جمع باشد. تابع لگاریتم را با هر پایه ثابت b از +R بروی (یعنی تابع پوشا است) R در نظر بگیرید. از آنجایی که برای هر x و y عضو R داریم: پس لگاریتم یک هم‌ریختی است و از آنجایی که یک به یک و پوشا نیز هست پس یک یک‌ریختی می‌باشد.
  • Z تحت جمع و R تحت جمع یک‌ریخت نیستند، زیرا هیچ تابع یک‌به‌یکی از Z بروی R وجود ندارد.

قضیه‌ها[ویرایش]

منابع[ویرایش]