Related papers: Representation of Group Isomorphisms I

We develop an algebraic and operational framework for quantum isomorphisms of hypergraphs, using tools from compact quantum group theory. We introduce a new synchronous version of the hypergraph isomorphism game whose game algebra uniformly…

The purpose of this note is to define a graph whose vertex set is a finite group $G$, whose edge set is contained in that of the commuting graph of $G$ and contains the enhanced power graph of $G$. We call this graph the deep commuting…

Working jointly in the equivalent categories of MV-al\-ge\-bras and lattice-ordered abelian groups with strong order unit (for short, unital $\ell$-groups), we prove that isomorphism is a sufficient condition for a separating subalgebra $A$…

Let S be a subsemigroup of an abelian torsion-free group G. If S is a positive cone of G, then all C*-algebras generated by faithful isometrical non-unitary representations of S are canonically isomorphic. Proved by Murphy, this statement…

We give a geometric characterization of finite rational groups. In particular, we prove that a finite group is rational if and only if there exists a finite geometry $\Gamma$ of type $I$ and action of $G$ on $\Gamma$ as a group of…

A generating pair $x, y$ for a group $G$ is said to be \textbf{\textit{symmetric}} if there exists an automorphism $\varphi_{x,y}$ of $G$ inverting both $x$ and $y$, that is, $x^{\varphi_{x,y}}=x^{-1}$ and $y^{\varphi_{x,y}}=y^{-1}$.…

Let $A \subseteq E$ be a given extension of Hopf (respectively Lie) algebras. We answer the \emph{classifying complements problem} (CCP) which consists of describing and classifying all complements of $A$ in $E$. If $H$ is a given…

Let g be an analytic function on the open unit disc U such that g(U) is contained in U, and let h be an analytic function on U such that the weighted composition operator W_{h,g) defined by W_{h,g}f = h f(g) is bounded on the Hardy space…

Let $G$ be a finite group and $M,N$ be two normal subgroups of $G$. Let $Aut_N^M(G)$ denote the group of all automorphisms of $G$ which fix $N$ element wise and act trivially on $G/M$. Let $n$ be a positive integer. In this article we have…

Isomorphism is central to the structure of mathematics and has been formalized in various ways within dependent type theory. All previous treatments have done this by replacing quantification over sets with quantification over groupoids of…

Let $\Fth$ be a $\Bk$-graph on a single vertex. We show that every irreducible atomic $*$-representation is the minimal $*$-dilation of a group construction representation. It follows that every atomic representation decomposes as a direct…

Let $\mathcal P(S)$ be the semigroup obtained by equipping the family of all non-empty subsets of a (multiplicatively written) semigroup $S$ with the operation of setwise multiplication induced by $S$ itself. We call a subsemigroup $P$ of…

We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…

Given a group $G$ of automorphisms of a matroid $M$, we describe the representations of $G$ on the homology of the independence complex of the dual matroid $M^*$. These representations are related with the homology of the lattice of flats…

We prove that the word problem of a finitely generated group $G$ is in NP (solvable in polynomial time by a non-deterministic Turing machine) if and only if this group is a subgroup of a finitely presented group $H$ with polynomial…

Assume that there is a free group action of automorphisms on a bipartite graph. If there is a perfect matching on the factor graph, then obviously there is a perfect matching on the graph. Surprisingly, the reversed is also true for…

Soient donn\'es deux graphes $\Gamma_1$, $\Gamma_2$ \`a $n$ sommets. Sont-ils isomorphes? S'ils le sont, l'ensemble des isomorphismes de $\Gamma_1$ \`a $\Gamma_2$ peut \^etre identifi\'e avec une classe $H \pi$ du groupe sym\'etrique sur…

A well-known theorem of Paulsen says that if $\mathcal{A}$ is a unital operator algebra and $\phi:\mathcal{A}\to B(\mathcal{H})$ is a unital completely bounded homomorphism, then $\phi$ is similar to a completely contractive map $\phi'$.…

It is an important result of \v Semrl which states that every 2-local automorphism of the full operator algebra over a separable Hilbert space is necessarily an automorphism. In this paper we strengthen that result quite substantially for…

We deduce one-parameter group properties for pseudo-differential operators $\operatorname{Op} (a)$, where $a$ belongs to the class $\Gamma ^{(\omega _0)}_*$ of certain Gevrey symbols. We use this to show that there are pseudo-differential…