full text (.pdf)
... in algebras of binary relations, in general the set fp 2 K j p 1g may not extend to a Boolean algebra. For example, p 1 for all p in the (min,+) Kleene algebra of the theory of algorithms (see 13]), but the multiplicative idempotence law pp = p fails. Even over algebras of binary relations, we ...
... in algebras of binary relations, in general the set fp 2 K j p 1g may not extend to a Boolean algebra. For example, p 1 for all p in the (min,+) Kleene algebra of the theory of algorithms (see 13]), but the multiplicative idempotence law pp = p fails. Even over algebras of binary relations, we ...
Quantum Groups - International Mathematical Union
... of all, it is known that for given A, m, A the counit e : A —>fcis unique and is a homomorphism. The antipode S : A —• A is also unique and it is an antihomomorphism (with respect to both multiplication and comultiplication). Secondly, in the noncommutative case one also requires the existence of th ...
... of all, it is known that for given A, m, A the counit e : A —>fcis unique and is a homomorphism. The antipode S : A —• A is also unique and it is an antihomomorphism (with respect to both multiplication and comultiplication). Secondly, in the noncommutative case one also requires the existence of th ...
full text (.pdf)
... Let K be the set of binary relations generated b y 6, the zero relation O, the identity relation 2~, and the total relation S 2 = S x S u n d e r the standard o p e r a t i o n s u (set union), ; (relational composition), and (reverse). Lemma2.1. ...
... Let K be the set of binary relations generated b y 6, the zero relation O, the identity relation 2~, and the total relation S 2 = S x S u n d e r the standard o p e r a t i o n s u (set union), ; (relational composition), and (reverse). Lemma2.1. ...
von Neumann Algebras - International Mathematical Union
... right regular representation generates the von Neumann algebra R(G) of left invariant operators in L2(G). The natural weight (pG(f)=f(e) (e the unit of G) on the convolution algebra R(G) is a trace iff G is unimodular. J. Dixmier obtained the above result also for nonunimodular G9 and it was Tornita ...
... right regular representation generates the von Neumann algebra R(G) of left invariant operators in L2(G). The natural weight (pG(f)=f(e) (e the unit of G) on the convolution algebra R(G) is a trace iff G is unimodular. J. Dixmier obtained the above result also for nonunimodular G9 and it was Tornita ...
Representations with Iwahori-fixed vectors
... where we computed Tt2 by the defining relation. Thus, the right-handed versions follow from the left-handed. Next, suppose that `(sw) < `(w) and prove that Ts Tw = as Tw + bs Tsw If `(w) = 1, then w = s, and the desired equality is the assumed equality Ts2 = as Ts + bs T1 Generally, from `(s(sw)) = ...
... where we computed Tt2 by the defining relation. Thus, the right-handed versions follow from the left-handed. Next, suppose that `(sw) < `(w) and prove that Ts Tw = as Tw + bs Tsw If `(w) = 1, then w = s, and the desired equality is the assumed equality Ts2 = as Ts + bs T1 Generally, from `(s(sw)) = ...
Representation of Game Algebras
... We call g and h equivalent if they are equivalent on every game board. An obvious problem is to find a complete axiomatization for this semantic notion of equivalence. A proposal for such an axiomatization was made by van Benthem, cf. our discussion in the next section. It was proved in Goranko [1] ...
... We call g and h equivalent if they are equivalent on every game board. An obvious problem is to find a complete axiomatization for this semantic notion of equivalence. A proposal for such an axiomatization was made by van Benthem, cf. our discussion in the next section. It was proved in Goranko [1] ...
Quadratic Functions
... The Five Types of Problems That I Have to Solve in Quadratic Applications The equation y =-11.5x2 + 1009.825 x – 9095 describes the profit, y, that a company makes when it sells its product for a price of x dollars. Answer the following questions. 1. How should the company set its price in order to ...
... The Five Types of Problems That I Have to Solve in Quadratic Applications The equation y =-11.5x2 + 1009.825 x – 9095 describes the profit, y, that a company makes when it sells its product for a price of x dollars. Answer the following questions. 1. How should the company set its price in order to ...
Universal enveloping algebras and some applications in physics
... definitions are reviewed. Indeed, physicists may be unfamiliar with the dailylife terminology of mathematicians and translation rules might prove to be useful in order to have access to the mathematical literature. Each definition is particularized to the finite-dimensional case to gain some intuiti ...
... definitions are reviewed. Indeed, physicists may be unfamiliar with the dailylife terminology of mathematicians and translation rules might prove to be useful in order to have access to the mathematical literature. Each definition is particularized to the finite-dimensional case to gain some intuiti ...
9.3 The Natural Base, e
... where A is the amount, P is the principal, r is the annual interest, n is the number of times the interest is compounded per year and t is the time in years. Suppose that $1 is invested at 100% interest (r = 1) compounded n times for one year as represented by the function f(n) = P(1 + 1n )n. ...
... where A is the amount, P is the principal, r is the annual interest, n is the number of times the interest is compounded per year and t is the time in years. Suppose that $1 is invested at 100% interest (r = 1) compounded n times for one year as represented by the function f(n) = P(1 + 1n )n. ...
A NOTE ON DIVIDED POWERS IN A HOPF ALGEBRA 547
... the injections u—>\®u, and the horizontal maps are induced by inclusions. By Theorem A, k is an algebra isomorphism; hence j is a monomorphism and the sequence J is a special system of pseudogenerators for H. Theorem 2.2 thus follows from Theorem C. We have the following application to ii-spaces: ...
... the injections u—>\®u, and the horizontal maps are induced by inclusions. By Theorem A, k is an algebra isomorphism; hence j is a monomorphism and the sequence J is a special system of pseudogenerators for H. Theorem 2.2 thus follows from Theorem C. We have the following application to ii-spaces: ...
On the topology of the exceptional Lie group G2
... Let M and N be two G-spaces. A map F : M → N is called equivariant with respect to the given G-actions (or a G-morphism) if for each g ∈ G, F (g · p) = g · F (p) . Equivalently, if θ and ϕ are the given actions on M and N respectively, F is equivariant if the following diagram commutes for each g ∈ ...
... Let M and N be two G-spaces. A map F : M → N is called equivariant with respect to the given G-actions (or a G-morphism) if for each g ∈ G, F (g · p) = g · F (p) . Equivalently, if θ and ϕ are the given actions on M and N respectively, F is equivariant if the following diagram commutes for each g ∈ ...