PROJECTIVITY AND FLATNESS OVER THE
... k be a commutative ring, H a Hopf algebra over k, and Λ a left H-module algebra. Then we can consider the smash product Λ#H and the subring of invariants ΛH . Then we can give necessary and sufficient conditions for the projectivity and flatness over ΛH of a left Λ#H-module P . The results from [9] ...
... k be a commutative ring, H a Hopf algebra over k, and Λ a left H-module algebra. Then we can consider the smash product Λ#H and the subring of invariants ΛH . Then we can give necessary and sufficient conditions for the projectivity and flatness over ΛH of a left Λ#H-module P . The results from [9] ...
weakly almost periodic functions and almost convergent functions
... that / G C(G) is w.a.p. if the set {lxf: x G G} is relatively compact in the weak topology of C(G). It is well known that W(G), the set of all w.a.p. functions in C(G), is a closed subalgebra of UC(G) and it is closed under translations. Furthermore, there is a unique invariant mean m (or mG if ther ...
... that / G C(G) is w.a.p. if the set {lxf: x G G} is relatively compact in the weak topology of C(G). It is well known that W(G), the set of all w.a.p. functions in C(G), is a closed subalgebra of UC(G) and it is closed under translations. Furthermore, there is a unique invariant mean m (or mG if ther ...
CUT ELIMINATION AND STRONG SEPARATION FOR
... yields the FEP. By modifying the construction of D, Kowalski and Ono [28] obtain the FEP for certain fuzzy logics. Also, Buszkowski [10, 11, 12] obtains the FMP for BCI logics and action logic. In connection to residuated lattices (models of FL), Bernadineli, Jipsen and Ono [2], introduce quasi-resi ...
... yields the FEP. By modifying the construction of D, Kowalski and Ono [28] obtain the FEP for certain fuzzy logics. Also, Buszkowski [10, 11, 12] obtains the FMP for BCI logics and action logic. In connection to residuated lattices (models of FL), Bernadineli, Jipsen and Ono [2], introduce quasi-resi ...
Introduction to Algebraic Number Theory
... subgroup of G. Then H is a free abelian group generated by at most n elements. The key reason that this is true is that G is a finitely generated module over the principal ideal domain Z. We will give a complete proof of a beautiful generalization of this result in the context of Noetherian rings ne ...
... subgroup of G. Then H is a free abelian group generated by at most n elements. The key reason that this is true is that G is a finitely generated module over the principal ideal domain Z. We will give a complete proof of a beautiful generalization of this result in the context of Noetherian rings ne ...
THE COHOMOLOGY RING OF FREE LOOP SPACES 1. Introduction
... AW : S∗ (X×Y ) → S∗ (X)⊗S∗ (Y ) and EZ : S∗ (X)⊗S∗ (Y ) → S∗ (X×Y ) are reserved for the standard normalized Alexander-Whitney map and to the standard normalized Eilenberg-Zilber map concerning singular ...
... AW : S∗ (X×Y ) → S∗ (X)⊗S∗ (Y ) and EZ : S∗ (X)⊗S∗ (Y ) → S∗ (X×Y ) are reserved for the standard normalized Alexander-Whitney map and to the standard normalized Eilenberg-Zilber map concerning singular ...
The local Langlands correspondence in families and Ihara`s lemma
... For n = 2 this is almost trivially true, since non-generic representations of GL2 are characters, but for n > 2 it is an important open problem whose arithmetic potential ...
... For n = 2 this is almost trivially true, since non-generic representations of GL2 are characters, but for n > 2 it is an important open problem whose arithmetic potential ...
TILTED ALGEBRAS OF TYPE
... Suciency. If A is representation-nite and is not tilted, then, by the proposition, (Q I ) contains a double-zero. It is easy to see that in all cases, (Q I ) contains a bound subquiver of the form a). Thus, suppose that A is representation-innite and that (Q I ) does not contain a bound subqui ...
... Suciency. If A is representation-nite and is not tilted, then, by the proposition, (Q I ) contains a double-zero. It is easy to see that in all cases, (Q I ) contains a bound subquiver of the form a). Thus, suppose that A is representation-innite and that (Q I ) does not contain a bound subqui ...
compact and weakly compact multiplications on c*.algebras
... bz e K(A). It follows that caasyet : oatyel € Ae1 for all r,A €,4.; hence cer e M(Ir) and similarly ce2 e M(Iz). for Finatly observe that since lläop,ll 0 and ...
... bz e K(A). It follows that caasyet : oatyel € Ae1 for all r,A €,4.; hence cer e M(Ir) and similarly ce2 e M(Iz). for Finatly observe that since lläop,ll 0 and ...
LOCALLY COMPACT CONTRACTIVE LOCAL GROUPS 1
... and we call a topological group contractive 1 if it has a contractive automorphism. In [5] it is shown that locally compact connected contractive topological groups are (finite-dimensional, real) Lie groups. In response to a question by Svetlana Selivanova we prove here a local analogue of this resu ...
... and we call a topological group contractive 1 if it has a contractive automorphism. In [5] it is shown that locally compact connected contractive topological groups are (finite-dimensional, real) Lie groups. In response to a question by Svetlana Selivanova we prove here a local analogue of this resu ...
an elementary real-algebraic proof via Sturm chains.
... There are proofs for every taste and each has its merits. From a more ambitious, constructive viewpoint, however, a mere existence proof only “announces the presence of a treasure, without divulging its location”, as Hermann Weyl put it. “It is not the existence theorem that is valuable, but the con ...
... There are proofs for every taste and each has its merits. From a more ambitious, constructive viewpoint, however, a mere existence proof only “announces the presence of a treasure, without divulging its location”, as Hermann Weyl put it. “It is not the existence theorem that is valuable, but the con ...
PRIME IDEALS IN NONASSOCIATIVE RINGS
... = UkXk+x,■ ■ ■ ■ Since iV is contained in every nonzero ideal of R, it follows that in R the zero ideal is w<-prime for i
... = UkXk+x,■ ■ ■ ■ Since iV is contained in every nonzero ideal of R, it follows that in R the zero ideal is w<-prime for i