Modes are idempotent and entropic algebras. More precisely, an algebra (A,Ω) of type τ : Ω −→ Z is called a mode if it is idempotent and entropic, i.e. each singleton in A is a subalgebra and each operation ω ∈ Ω is actually a homomorphism from an appropriate power of the algebra. Both properties can also be expressed by the following identities: (I) ∀ω ∈ Ω, x . . . xω = x (E) ∀ω, φ ∈ Ω, with m...

Based on hyperbolic geometric considerations, Roger and Yang introduced an extension of the Kauffman bracket skein algebra that includes arcs. In particular, their is a deformation quantization certain commutative curve algebra, there Poisson homomorphism between smooth functions decorated Teichmu?ller space. this paper, we consider surfaces with punctures which are not 3-holed sphere have idea...

Given a topological group G, and a finitely generated group Γ, a homomorphism π : Γ→G is locally rigid if any nearby by homomorphism π is conjugate to π by a small element of G. In 1964, Weil gave a criterion for local rigidity of a homomorphism from a finitely generated group Γ to a finite dimensional Lie group G in terms of cohomology of Γ with coefficients in the Lie algebra of G. Here we ge...

The category k-BFAlg of all k-algebras with a bilinear form, whose objects are pairs (R,b) where R is k-algebra and b:R×R→k mapping, equivalent to the unital A for which canonical homomorphism (k,1)→(A,1A) splitting monomorphism in k-Mod. Call left inverses this “weak augmentations” algebra. There isomorphism between weak augmentation (A,bA) form bA compatible multiplication A, i.e., such that ...

An algebra is called corecursive if from every coalgebra a unique coalgebra-to-algebra homomorphism exists into it. We prove that free corecursive algebras are obtained as a coproduct of the final coalgebra (considered as an algebra) and free algebras. The monad of free corecursive algebras is proved to be the free corecursive monad, where the concept of corecursive monad is a generalization of...

Abstract. Let K be any unital commutative Q-algebra and z = (z1, z2, · · · , zn) commutative or noncommutative variables. Let t be a formal central parameter and K[[t]]〈〈z〉〉 the formal power series algebra of z over K[[t]]. In [Z6], for each automorphism Ft(z) = z−Ht(z) of K[[t]]〈〈z〉〉 with Ht=0(z) = 0 and o(H(z)) ≥ 1, a NCS (noncommutative symmetric) system ([Z5]) ΩFt has been constructed. Cons...

We define a homomorphism ζ from the algebra of quasi-symmetric functions to the reals which involves the Euler constant and multiple zeta values. Besides advancing the study of multiple zeta values, the homomorphism ζ appears in connection with two Hirzebruch genera of almost complex manifolds: the Γ-genus (related to mirror symmetry) and the Γ̂-genus (related to an S1-equivariant Euler class). ...

We characterize must testing equivalence on CSP in terms of the unique homomorphism from the Moore automaton of CSP processes to the final Moore automaton of partial formal power series over a certain semiring. The final automaton is then turned into a CSP-algebra: operators and fixpoints are defined, respectively, via behavioural differential equations and simulation relations. This structure ...

Several algebraic structures have been studied by many authors to discuss the relationships among them. This article aims study two structures, namely semigroup and BA-algebra, combining them in one form, BA-semigroup investigate some of its properties. paper BA-sub-semigroup, an ideal BA-homomorphism a with their Some examples are given illustrate results.

The dynamics of Vlasov kinetic moments is shown to be Lie-Poisson on the dual Lie algebra of symmetric contravariant tensor fields. The corresponding Lie bracket is identified with the symmetric Schouten bracket and the moment Lie algebra is related with a bundle of bosonic Fock spaces, where creation and annihilation operators are used to construct the cold plasma closure. Kinetic moments are ...