تحت ترکیب توابع تشکیل گروه می دهند که به آن گروه تقارن روی
گویند، و به صورت
نوشته می شود.
قضیه کیلی با در نظر گرفتن هر گروه (شامل گروههای نامتناهی چون
هم می شود) به صورت گروه جایگشت یک زیرمجموعه زمینهای، تمام گروهها را بر روی یک شالوده قرار می دهد. از اینرو، قضایایی که برای زیرگروههایی از گروههای متقارن درست باشند، برای گروهها در حالت کلی تر هم صادق اند. با این وجود، آلپرین و بل این نکته را یادآوری می کنند که "در حالت کلی این حقیقت که گروههای متناهی در یک گروه متقارن نشانده می شوند، از روش های به کار رفته در گروه های متناهی الهام گرفته نشده است".
کنش منظم که در اثبات های استاندارد قضیه کیلی استفاده می شود، نمایش مینیمالی برای
تولید نمیکند. به عنوان مثال
، خود یک گروه متقارن از مرتبه 6 است و تحت کنش منظم به صورت زیرگروهی از
(گروهی از مرتبه 720) نمایش داده می شود. مسئله این که چگونه می توان یک گروه را به طور مینیمال در یک گروه متقارن نشاند، مسئله ای پیچیده می باشد.
یادداشتها
↑(Jacobson 2009، ص. 38)
↑(Jacobson 2009، ص. 72, ex. 1)
↑(Jacobson 2009، ص. 31)
↑J. L. Alperin; Rowen B. Bell (1995). Groups and representations. Springer. p. 29. ISBN978-0-387-94525-5.
↑Peter J. Cameron (2008). Introduction to Algebra, Second Edition. Oxford University Press. p. 134. ISBN978-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. JSTOR2373739.
↑Grechkoseeva, M. A. (2003). "On Minimal Permutation Representations of Classical Simple Groups". Siberian Mathematical Journal. 44 (3): 443–462. doi:10.1023/A:1023860730624.