Search results for "homomorphism"
showing 10 items of 28 documents
The proof of Birman’s conjecture on singular braid monoids
2003
Let B_n be the Artin braid group on n strings with standard generators sigma_1, ..., sigma_{n-1}, and let SB_n be the singular braid monoid with generators sigma_1^{+-1}, ..., sigma_{n-1}^{+-1}, tau_1, ..., tau_{n-1}. The desingularization map is the multiplicative homomorphism eta: SB_n --> Z[B_n] defined by eta(sigma_i^{+-1}) =_i^{+-1} and eta(tau_i) = sigma_i - sigma_i^{-1}, for 1 <= i <= n-1. The purpose of the present paper is to prove Birman's conjecture, namely, that the desingularization map eta is injective.
Continuous *-homomorphisms of Banach Partial *-algebras
2007
We continue the study of Banach partial *-algebras, in particular the question of the interplay between *-homomorphisms and biweights. Two special types of objects are introduced, namely, relatively bounded biweights and Banach partial *-algebras satisfying a certain Condition (S), which behave in a more regular way. We also present a systematic construction of Banach partial *-algebras of this type and exhibit several examples.
Some Problems on Homomorphisms and Real Function Algebras
2001
In this paper we solve a problem about the representation of all homomorphisms on a real function algebra as point evaluations and another two about function algebras in which homomorphisms are point evaluations on sequences in the algebra.
Generalized Braid Groups and Mapping Class Gropus
1997
Given a chord system of D2, we associate a generalized braid group, a surface and a homomorphism from this braid group to the mapping class group of the surface. We disprove a conjecture stated in an article by Perron and Vannier by showing that generally this homomorphism is not injective.
When can an equational simple graph be generated by hyperedge replacement?
1998
Infinite hypergraphs with sources arise as the canonical solutions of certain systems of recursive equations written with operations on hypergraphs. There are basically two different sets of such operations known from the literature, HR and VR. VR is strictly more powerful than HR on simple hypergraphs. Necessary conditions are known ensuring that a VR-equational simple hypergraph is also HR-equational. We prove that two of them, namely having finite tree-width or not containing the infinite bipartite graph, are also sufficient. This shows that equational hypergraphs behave like context-free sets of finite hypergraphs.
An exact method for graph coloring
2006
International audience; We are interested in the graph coloring problem. We propose an exact method based on a linear-decomposition of the graph. The complexity of this method is exponential according to the linearwidth of the entry graph, but linear according to its number of vertices. We present some experiments performed on literature instances, among which COLOR02 library instances. Our method is useful to solve more quickly than other exact algorithms instances with small linearwidth, such as mug graphs. Moreover, our algorithms are the first to our knowledge to solve the COLOR02 instance 4-Inser_3 with an exact method.
The Spectrum of Analytic Mappings of Bounded Type
2000
Abstract A Banach space E is said to be (symmetrically) regular if every continuous (symmetric) linear mapping from E to E ′ is weakly compact. For a complex Banach space E and a complex Banach algebra F , let H b ( E , F ) denote the algebra of holomorphic mappings from E to F which are bounded on bounded sets. We endow H b ( E , F ) with the usual Frechet topology. M ( H b ( E , F ), F ) denotes the set of all non-null continuous homomorphisms from H b ( E , F ) to F . A subset of G EF on which the extension of Zalduendo is multiplicative is presented and it is shown that, in general, the sets G EF and M ( H b ( E , F ), F ) do not coincide. We prove that if E is symmetrically regu…
On the symbol homomorphism of a certain Frechet algebra of singular integral operators
1985
We prove the surjectivity of the symbol map of the Frechet algebra obtained by completing an algebra of convolution and multiplication operators in the topology generated by all L2-Sobolev norms. The proof is based on an ℝn of Egorov's theorem valid for non-homogeneous principal symbols, discussed in [5], [6]. We use the hyperbolic equation ∂u/∂t=i|D|ηu, 0<η<1, which has its characteristic flow constant at infinity, so that no differentiability of the symbol is required there.
On block pumpable languages
2016
Ehrenfeucht, Parikh and Rozenberg gave an interesting characterisation of the regular languages called the block pumping property. When requiring this property only with respect to members of the language but not with respect to nonmembers, one gets the notion of block pumpable languages. It is shown that these block pumpable are a more general concept than regular languages and that they are an interesting notion of their own: they are closed under intersection, union and homomorphism by transducers; they admit multiple pumping; they have either polynomial or exponential growth.
Homomorphisms and composition operators on algebras of analytic functions of bounded type
2005
Abstract Let U and V be convex and balanced open subsets of the Banach spaces X and Y, respectively. In this paper we study the following question: given two Frechet algebras of holomorphic functions of bounded type on U and V, respectively, that are algebra isomorphic, can we deduce that X and Y (or X * and Y * ) are isomorphic? We prove that if X * or Y * has the approximation property and H wu ( U ) and H wu ( V ) are topologically algebra isomorphic, then X * and Y * are isomorphic (the converse being true when U and V are the whole space). We get analogous results for H b ( U ) and H b ( V ) , giving conditions under which an algebra isomorphism between H b ( X ) and H b ( Y ) is equiv…