We present an undecidability result for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebraic properties, several recent works relax this assumption, allowing the intruder to exploit these properties. We are interested in the Abelian groups theory in combination with the homomorphism axiom. We show th...

We show that in a triangulated category, the existence of a cluster tilting object often implies that the homomorphism groups are bounded in size. This holds for the stable module category of a selfinjective algebra, and as a corollary we recover a theorem of Erdmann and Holm. We then apply our result to Calabi-Yau triangulated categories, in particular stable categories of maximal Cohen-Macaul...

We consider four different models of process interactions that unify and generalise models introduced and studied by Angluin et al. [AAD04] and models introduced and studied by Mazurkiewicz [Maz04a,Maz04b]. We encode these models by labelled (hyper)graphs and relabelling rules on this labelled (hyper)graphs called negotiations. Then for these models, we give complete characterisations of labell...

In the group of (continuous) Jordan automorphisms, with the uniform topology, on a semisimple Banach algebra, we show that the connected component of the identity consists of automorphisms. P. Civin and B. Yood have shown that a Jordan homomorphism (that is, a homomorphism that preserves the product xoy = | (xy+yx)) from a Banach algebra onto a semisimple Banach algebra is continuous provided t...

Let X,Y be locally compact Hausdorff spaces and M,N be Banach algebras. Let θ : C0(X,M) → C0(Y,N ) be a zero-product preserving bounded linear map with dense range. We show that θ is given by a continuous field of algebra homomorphisms from M into N if N is irreducible. As corollaries, such a surjective θ arises from an algebra homomorphism, provided thatM is a W*-algebra and N is a semi-simple...

We present a notion of convergence for sequences of finite graphs {Gn} that can be seen as a generalization of the Benjamini-Schramm convergence notion for bounded degree graphs, regarding the distribution of r-neighbourhoods of the vertices, and the left-convergence notion for dense graphs, regarding, given any finite graph F , the limit of the probabilities that a random map from V (F ) to V ...

‎let $m$ be a non-zero finitely generated module over a commutative noetherian local ring $(r,mathfrak{m})$ with $dim_r(m)=t$‎. ‎let $i$ be an ideal of $r$ with $grade(i,m)=c$‎. ‎in this article we will investigate several natural homomorphisms of local cohomology modules‎. ‎the main purpose of this article is to investigate when the natural homomorphisms $gamma‎: ‎tor^{r}_c(k,h^c_i(m))to kotim...