![]() | This article is rated Stub-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
|
@ XOR'easter: This article now says:
[ . . . ] if is a primitive permutation group on a finite set , denotes the stabilizer of the point in , and is the length of any orbit of in the set , then there exists an integer-valued function such that .
It seems rather odd to say that "if d is etc. etc. then there exists a function ƒ such that something-about ƒ(d)," because if you say if d is etc. etc. then the exists ƒ, that seems as if which function ƒ is depends on d. Just what the nature of ƒ depends on should be made clear and explicit. Michael Hardy ( talk) 17:25, 9 April 2019 (UTC)
{{u|
Mark viking}} {
Talk}
19:33, 9 April 2019 (UTC)
Shouldn't the "there exists f" be before everything else in the statement ?
152.77.213.109 (
talk)
12:36, 8 December 2021 (UTC)
"for all ell there exists N such that if G is a primitive permutation group with stabilizers of order larger than N, the non-trivial orbits of the stabilizers have length larger than ell."
(Sims implies this by taking N = f(ell) -1, and it imples Sims by setting f(ell)= max{ |H| , H has an orbit of size less than ell} ) Well they must have their reasons. But to my eyes, the fact that f is integer valued is irrelevant. 152.77.213.109 ( talk) 15:32, 10 December 2021 (UTC)
References
![]() | This article is rated Stub-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
|
@ XOR'easter: This article now says:
[ . . . ] if is a primitive permutation group on a finite set , denotes the stabilizer of the point in , and is the length of any orbit of in the set , then there exists an integer-valued function such that .
It seems rather odd to say that "if d is etc. etc. then there exists a function ƒ such that something-about ƒ(d)," because if you say if d is etc. etc. then the exists ƒ, that seems as if which function ƒ is depends on d. Just what the nature of ƒ depends on should be made clear and explicit. Michael Hardy ( talk) 17:25, 9 April 2019 (UTC)
{{u|
Mark viking}} {
Talk}
19:33, 9 April 2019 (UTC)
Shouldn't the "there exists f" be before everything else in the statement ?
152.77.213.109 (
talk)
12:36, 8 December 2021 (UTC)
"for all ell there exists N such that if G is a primitive permutation group with stabilizers of order larger than N, the non-trivial orbits of the stabilizers have length larger than ell."
(Sims implies this by taking N = f(ell) -1, and it imples Sims by setting f(ell)= max{ |H| , H has an orbit of size less than ell} ) Well they must have their reasons. But to my eyes, the fact that f is integer valued is irrelevant. 152.77.213.109 ( talk) 15:32, 10 December 2021 (UTC)
References