相关论文: Quotients of CI-groups are CI-groups

We explicitly determine all CI-groups with respect to ternary relational structures that have the form $C \times D$, where $C$ is cyclic and $D$ is either a dicyclic group whose order is not divisible by $3$ or a dihedral group. Such groups…

Groupoid $(Q, \cdot)$ in which equality $(xy)Jx = y$ is true for all $x, y \in Q$, where $J$ is a map of the set $Q$, is a CI-quasigroup.

We prove that the group $C_p^4\times C_q$ is a DCI-group for distinct primes $p$ and $q$, that is, two Cayley digraphs over $C_p^4 \times C_q$ are isomorphic if and only if their connection sets are conjugate by a group automorphism.

A finite group R is a CI-group if, whenever S and T are subsets of R with the Cayley graphs Cay(R,S) and Cay(R,T) isomorphic, there exists an automorphism x of R with S^x=T. The classification of CI-groups is an open problem in the theory…

In this paper, we define the quotinet graphs. In particular, we introduce the boundary quotient graphs, admissible boundary quotient graphs and subgraph boundary qoutient graphs. By the property of the quotient spaces, the boundary…

A finite group $G$ is a called a DCI-group if any two isomorphic Cayley digraphs of $G$ are also isomorphic via an automorphism of $G$. If $G$ is a non-abelian generalised dihedral DCI-group, then Dobson, Muzychuk, and Spiga proved that $G$…

We prove that graph products of sofic groups are sofic, as are graphs of groups for which vertex groups are sofic and edge groups are amenable.

A Cayley graph Cay$(G;S)$ has the CI (Cayley Isomorphism) property if for every isomorphic graph Cay$(G;T)$, there is a group automorphism $\alpha$ of $G$ such that $S^\alpha=T$. The DCI (Directed Cayley Isomorphism) property is defined…

This paper develops a basic theory of H-groups. We introduce a special quotient of H-groups and extend some algebraic constructions of topological groups to the category of H-groups and H-maps. We use these constructions to prove some…

We say that a group G is a cube group if it is generated by a set S of involutions such that the corresponding Cayley graph Cay(G,S) is isomorphic to a cube. Equivalently, G is a cube group if it acts on a cube such that the action is…

Let $C$ be a smooth projective curve over the field of complex numbers $\mathbb{C}$ of genus $g(C)>0$. Let $E$ be a locally free sheaf on $C$ of rank $r$ and degree $e$. Let $\mathcal{Q}:={\rm Quot}_{C/\mathbb{C}}(E,k,d)$ denote the Quot…

A circulant (di)graph is a (di)graph on n vertices that admits a cyclic automorphism of order n. This paper provides a survey of the work that has been done on finding the automorphism groups of circulant (di)graphs, including the…

A finite group $G$ is a DCI-group if, whenever $S$ and $S'$ are subsets of $G$ with the Cayley graphs Cay$(G,S)$ and Cay$(G,S')$ isomorphic, there exists an automorphism $\varphi$ of $G$ with $\varphi(S)=S'$. It is a CI-group if this…

The isomorphism problem of Cayley graphs has been well studied in the literature, such as characterizations of CI (DCI)-graphs and CI (DCI)-groups. In this paper, we generalize these to vertex-transitive graphs and establish parallel…

We show that semigroup C*-algebras are groupoid C*-algebras.

This note answers a question posed by Levine in arkiv:math.CO/0906.2809. The main result is Theorem 1 which shows that under certain circumstances a critical group of a directed graph is the quotient of a critical group of its directed line…

In this paper, we introduce quotients of \'etale groupoids. Using the notion of quotients, we describe the abelianizations of groupoid C*-algebras. As another application, we obtain a simple proof that effectiveness of an \'etale groupoid…

A finite group $G$ is called a DCI-group if two Cayley digraphs over $G$ are isomorphic if and only if their connection sets are conjugate by a group automorphism. We prove that the group $C_4\times C_p^2$, where $p$ is a prime, is a…

A Cayley digraph $\rm{Cay}(G,S)$ of a group $G$ with respect to a subset $S$ of $G$ is called a CI-digraph if for any Cayley digraph $\rm{Cay}(G,T)$ isomorphic to $\rm{Cay}(G,S)$, there is an $\alpha\in \rm{Aut}(G)$ such that $S^\alpha=T$.…

We show that if a flat group scheme acts properly, with finite stabilizers, on an algebraic space, then a quotient exists as a separated algebraic space. More generally we show any flat groupid for which the family of stabilizers is finite…