قضیه کیلی
در نظریه گروهها، قضیه کیلی، که به افتخار آرتور کیلی نامگذاری شدست، بیان می دارد که هر گروه یکریخت با زیرگروهی از یک گروه متقارن است که بر روی کنش می کند.[1] این قضیه را می توان توسط مثالی از کنش بر روی عناصر گروه فهمید.[2]
هر تابع دو سویه از به روی ، جایگشتی از مجموعه است. مجموعه تمام جایگشتهای تحت ترکیب توابع تشکیل گروه می دهند که به آن گروه تقارن روی گویند، و به صورت نوشته می شود.[3]
قضیه کیلی با در نظر گرفتن هر گروه (شامل گروههای نامتناهی چون هم می شود) به صورت گروه جایگشت یک زیرمجموعه زمینهای، تمام گروهها را بر روی یک شالوده قرار می دهد. از اینرو، قضایایی که برای زیرگروههایی از گروههای متقارن درست باشند، برای گروهها در حالت کلی تر هم صادق اند. با این وجود، آلپرین و بل این نکته را یادآوری می کنند که "در حالت کلی این حقیقت که گروههای متناهی در یک گروه متقارن نشانده می شوند، از روش های به کار رفته در گروه های متناهی الهام گرفته نشده است".[4]
کنش منظم که در اثبات های استاندارد قضیه کیلی استفاده می شود، نمایش مینیمالی برای تولید نمیکند. به عنوان مثال ، خود یک گروه متقارن از مرتبه 6 است و تحت کنش منظم به صورت زیرگروهی از (گروهی از مرتبه 720) نمایش داده می شود.[5] مسئله این که چگونه می توان یک گروه را به طور مینیمال در یک گروه متقارن نشاند، مسئله ای پیچیده می باشد.[6][7]
یادداشتها
- Jacobson (2009, p. 38)
- Jacobson (2009, p. 72, ex. 1)
- Jacobson (2009, p. 31)
- J. L. Alperin; Rowen B. Bell (1995). Groups and representations. Springer. p. 29. ISBN 978-0-387-94525-5.
- Peter J. Cameron (2008). Introduction to Algebra, Second Edition. Oxford University Press. p. 134. ISBN 978-0-19-852793-0.
- Johnson, D. L. (1971). "Minimal Permutation Representations of Finite Groups". American Journal of Mathematics. 93 (4): 857. doi:10.2307/2373739. JSTOR 2373739.
- Grechkoseeva, M. A. (2003). "On Minimal Permutation Representations of Classical Simple Groups". Siberian Mathematical Journal. 44 (3): 443–462. doi:10.1023/A:1023860730624.
- مشارکتکنندگان ویکیپدیا. «Cayley's Theorem». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۱۳ اوت ۲۰۱۹.
منابع
- Jacobson, Nathan (2009), Basic algebra (2nd ed.), Dover, ISBN 978-0-486-47189-1.