Every semisymmetric graph X is necessarily bipartite,the two parts having equal size,and the automorphism group Aut(X) acting transitively on each of these parts.
每一个半对称图X必定是两部分点数相等的二部图,并且它的自同构群Aut(X)在每一部分上是传递的。
