Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

As J.D.Dixon noted in his great book; Permutations Group, we can speak about Strong Primitivity of a group acting on a set $\Omega$ by means of orbital graphs. The way he paved employes digraphs prove if such a group is strong primitive or not. I referred to another reference came from P.J.Cameron (Toplogy in permutation groups) to find additional information. He cited that Wielandt observed that primitivity is not strong enough. Cameron continues by illustrating an example:

Let $G$ is a primitive group on a finite set $\Omega$ and let $\Delta$ be a non-empty proper subset of $\Omega$. then the following seperation property holds: for any distinct $\alpha$, $\beta$ $\in$ $\Omega$, there exists $g\in G$ with $\alpha^g$ $\in \Delta$ and $\beta^g$ $\notin \Delta$. This fails for infinite primitive groups.

and that is why Wielandt proposed the property of Strong Primitivity. Honestly, I didn't get much of what Cameron noted and need someone to elaborate. Why such a condition's named separate property? Thanks.

share|improve this question
add comment

1 Answer

up vote 2 down vote accepted

The smallest $G$-invariant topology in $\Omega$ containing $\Delta$ is the topology generated by the translated sets $\Delta^g$ for all $g\in G$. Its basis consists of finite intersections of such sets. A point $\alpha$ in $\Omega$ has a neighborhood not containing a point $\beta$ if and only if $\alpha\in\Delta^g$ but $\beta\not\in\Delta^g$ for some $g\in G$. The existence of such a neighborhood for each pair $(\alpha,\beta)$ of distinct points of $\Omega$ is the separation property T1 of topology. The weaker property T0 means that this only holds for either $(\alpha,\beta)$ or $(\beta,\alpha)$ but not necessarily for both pairs.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.