Group not leaving subset invariant - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T21:26:59Z http://mathoverflow.net/feeds/question/60217 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/60217/group-not-leaving-subset-invariant Group not leaving subset invariant Klim Efremenko 2011-03-31T17:46:58Z 2011-03-31T18:59:47Z <p>Let $Y,X$ be two sets of size n,m. Let $Y\subset X$. What is the maximal group(in size) $G&lt; Sym(X)$ such that gY=Y imply that $g=1$? Here I mean that the only permutation which permutes elements of $Y$ between themselves is identity. </p> http://mathoverflow.net/questions/60217/group-not-leaving-subset-invariant/60222#60222 Answer by Erik P. for Group not leaving subset invariant Erik P. 2011-03-31T18:59:47Z 2011-03-31T18:59:47Z <p>For the property $P$ discussed, the usual argument that $P(G_1) \wedge P(G_2) \Rightarrow P(\langle G_1, G_2\rangle)$, where $G_1$ and $G_2$ are groups and $\langle G_1, G_2\rangle$ is the group generated by both, doesn't work. The addition of the parenthetical "in size" indicates that @Klim is aware of this, but is there a different argument that says that there is only one maximal-cardinality group having $P$? The question seems to claim that there is, but I don't see it.</p> <p>(I'd leave this as a comment if I had the rep, but I don't. Admins, please feel free to convert it into one.)</p>