scholarly journals Automorphism Groups of Wreath Product Digraphs

10.37236/106 ◽  
2009 ◽  
Vol 16 (1) ◽  
Author(s):  
Edward Dobson ◽  
Joy Morris

We generalize a classical result of Sabidussi that was improved by Hemminger, to the case of directed color graphs. The original results give a necessary and sufficient condition on two graphs, $C$ and $D$, for the automorphsim group of the wreath product of the graphs, ${\rm Aut}(C\wr D)$ to be the wreath product of the automorphism groups ${\rm Aut}(C)\wr {\rm Aut}(D)$. Their characterization generalizes directly to the case of color graphs, but we show that there are additional exceptional cases in which either $C$ or $D$ is an infinite directed graph. Also, we determine what ${\rm Aut}(C \wr D)$ is if ${\rm Aut}(C \wr D) \neq {\rm Aut} (C) \wr {\rm Aut} (D)$, and in particular, show that in this case there exist vertex-transitive graphs $C'$ and $D'$ such that $C' \wr D' = C \wr D$ and ${\rm Aut} (C\wr D) = {\rm Aut} (C') \wr {\rm Aut}(D')$.

2001 ◽  
Vol 33 (6) ◽  
pp. 653-661 ◽  
Author(s):  
CAI HENG LI ◽  
CHERYL E. PRAEGER

A construction is given of an infinite family of finite self-complementary, vertex-transitive graphs which are not Cayley graphs. To the authors' knowledge, these are the first known examples of such graphs. The nature of the construction was suggested by a general study of the structure of self-complementary, vertex-transitive graphs. It involves the product action of a wreath product of permutation groups.


10.37236/7499 ◽  
2018 ◽  
Vol 25 (2) ◽  
Author(s):  
Dragan Marušič

It has been conjectured that automorphism groups of vertex-transitive (di)graphs, and more generally $2$-closures of transitive permutation groups, must necessarily possess a fixed-point-free element of prime order, and thus a non-identity element with all orbits of the same length, in other words, a semiregular element. It is the purpose of this paper to prove that vertex-transitive graphs of order $3p^2$, where $p$ is a prime, contain semiregular automorphisms.


Author(s):  
Vika Yugi Kurniawan

A directed graph is also called as a quiver  where  is a finite set of vertices,  is a set of arrows, and  are two maps from  to . A representation  of a quiver  is an assignment of a vector space  to each vertex  of  and a linear mapping  to each arrow.  We denote by  the direct sum of representasions  and  of a quiver  . A representation  is called indecomposable if  is not ishomorphic to a direct sum of non-zero representations. This paper study about the properties of indecomposable representations. These properties will be used to investigate the necessary and sufficient condition of indecomposable representations.


1972 ◽  
Vol 24 (6) ◽  
pp. 1065-1069 ◽  
Author(s):  
Matthew Gould

By “algebra” we shall mean a finitary universal algebra, that is, a pair 〈A; F〉 where A and F are nonvoid sets and every element of F is a function, defined on A, of some finite number of variables. Armbrust and Schmidt showed in [1] that for any finite nonvoid set A, every group G of permutations of A is the automorphism group of an algebra defined on A and having only one operation, whose rank is the cardinality of A. In [6], Jónsson gave a necessary and sufficient condition for a given permutation group to be the automorphism group of an algebra, whereupon Plonka [8] modified Jonsson's condition to characterize the automorphism groups of algebras whose operations have ranks not exceeding a prescribed bound.


2015 ◽  
Vol 93 (2) ◽  
pp. 238-247
Author(s):  
ZHAOHONG HUANG ◽  
JIANGMIN PAN ◽  
SUYUN DING ◽  
ZHE LIU

Li et al. [‘On finite self-complementary metacirculants’, J. Algebraic Combin.40 (2014), 1135–1144] proved that the automorphism group of a self-complementary metacirculant is either soluble or has $\text{A}_{5}$ as the only insoluble composition factor, and gave a construction of such graphs with insoluble automorphism groups (which are the first examples of self-complementary graphs with this property). In this paper, we will prove that each simple group is a subgroup (so is a section) of the automorphism groups of infinitely many self-complementary vertex-transitive graphs. The proof involves a construction of such graphs. We will also determine all simple sections of the automorphism groups of self-complementary vertex-transitive graphs of $4$-power-free order.


2021 ◽  
Author(s):  
Jinxing Zhang ◽  
Jiandong Zhu ◽  
Xiaodi Li

Abstract In this paper, a generalized high-dimensional Kuramoto model with directed graphs is investigated. A necessary and sufficient condition for equilibria is given and the synchronization is proved under weaker directed graph conditions and more general initial state constrains. Finally, an example is given to validate the theoretical results.


Filomat ◽  
2019 ◽  
Vol 33 (18) ◽  
pp. 5935-5948
Author(s):  
Shuang Zhao ◽  
Jixiang Meng

The double-orbit graph is a generalization of vertex transitive graphs, which contains many classic network models. Conditional edge-connectivity is an important index to measure the fault-tolerance and reliability of the networks. In this paper, we characterize the super-?(2) double-orbit graphs with two orbits of the same size. Moreover, we give a sufficient condition for regular double-orbit graphs to be ?(3)-optimal, and characterize super- ?(3) regular double-orbit graphs.


1986 ◽  
Vol 102 (1-2) ◽  
pp. 103-115 ◽  
Author(s):  
J. Renshaw

SynopsisIt is proved that if a ring R has the extension property in containing ringSi, then the amalgam [R; Si,] is strongly embeddable. Using a result of P. M. Cohn, a necessary and sufficient condition for a ring to be an amalgamation base is then given. It is also shown that R is a level subring of a ring S if and only if S/R is flat. From this, a classical result of P. M. Cohn on flat amalgams is proved.


1993 ◽  
Vol 45 (2) ◽  
pp. 284-294 ◽  
Author(s):  
M. El-Zahar ◽  
N. W. Sauer

AbstractLet be a finite set of finite tournaments. We will give a necessary and sufficient condition for the -free homogeneous directed graph to be divisible. That is, that there is a partition of into two classes such that neither of them contains an isomorphic copy of .


Sign in / Sign up

Export Citation Format

Share Document