{"title":"无偏差排列群的轨道","authors":"David Ellis, Scott Harper","doi":"arxiv-2408.16064","DOIUrl":null,"url":null,"abstract":"Let $G$ be a nontrivial finite permutation group of degree $n$. If $G$ is\ntransitive, then a theorem of Jordan states that $G$ has a derangement.\nEquivalently, a finite group is never the union of conjugates of a proper\nsubgroup. If $G$ is intransitive, then $G$ may fail to have a derangement, and\nthis can happen even if $G$ has only two orbits, both of which have size\n$(1/2+o(1))n$. However, we conjecture that if $G$ has two orbits of size\nexactly $n/2$ then $G$ does have a derangement, and we prove this conjecture\nwhen $G$ acts primitively on at least one of the orbits. Equivalently, we\nconjecture that a finite group is never the union of conjugates of two proper\nsubgroups of the same order, and we prove this conjecture when at least one of\nthe subgroups is maximal. We prove other cases of the conjecture, and we\nhighlight connections our results have with intersecting families of\npermutations and roots of polynomials modulo primes. Along the way, we also\nprove a linear variant on Isbell's conjecture regarding derangements of\nprime-power order.","PeriodicalId":501037,"journal":{"name":"arXiv - MATH - Group Theory","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2024-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Orbits of permutation groups with no derangements\",\"authors\":\"David Ellis, Scott Harper\",\"doi\":\"arxiv-2408.16064\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let $G$ be a nontrivial finite permutation group of degree $n$. If $G$ is\\ntransitive, then a theorem of Jordan states that $G$ has a derangement.\\nEquivalently, a finite group is never the union of conjugates of a proper\\nsubgroup. If $G$ is intransitive, then $G$ may fail to have a derangement, and\\nthis can happen even if $G$ has only two orbits, both of which have size\\n$(1/2+o(1))n$. However, we conjecture that if $G$ has two orbits of size\\nexactly $n/2$ then $G$ does have a derangement, and we prove this conjecture\\nwhen $G$ acts primitively on at least one of the orbits. Equivalently, we\\nconjecture that a finite group is never the union of conjugates of two proper\\nsubgroups of the same order, and we prove this conjecture when at least one of\\nthe subgroups is maximal. We prove other cases of the conjecture, and we\\nhighlight connections our results have with intersecting families of\\npermutations and roots of polynomials modulo primes. Along the way, we also\\nprove a linear variant on Isbell's conjecture regarding derangements of\\nprime-power order.\",\"PeriodicalId\":501037,\"journal\":{\"name\":\"arXiv - MATH - Group Theory\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-08-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - Group Theory\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2408.16064\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Group Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2408.16064","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Let $G$ be a nontrivial finite permutation group of degree $n$. If $G$ is
transitive, then a theorem of Jordan states that $G$ has a derangement.
Equivalently, a finite group is never the union of conjugates of a proper
subgroup. If $G$ is intransitive, then $G$ may fail to have a derangement, and
this can happen even if $G$ has only two orbits, both of which have size
$(1/2+o(1))n$. However, we conjecture that if $G$ has two orbits of size
exactly $n/2$ then $G$ does have a derangement, and we prove this conjecture
when $G$ acts primitively on at least one of the orbits. Equivalently, we
conjecture that a finite group is never the union of conjugates of two proper
subgroups of the same order, and we prove this conjecture when at least one of
the subgroups is maximal. We prove other cases of the conjecture, and we
highlight connections our results have with intersecting families of
permutations and roots of polynomials modulo primes. Along the way, we also
prove a linear variant on Isbell's conjecture regarding derangements of
prime-power order.