Group graded rings

Let R be a group graded ring . The map ( , ): R × R →₁ defined by: (x,y) = (xy)₁ , is an inner product on R. In this paper we investigate aspects of nondegeneracy of the product, which is a generalization of the notion of strongly G —graded rings,introduced by Dade. We show that various chain conditions are satisfied by R if and only if they are satisfied by R₁ , and that when R₁ is simple artinian, then R is a crossed product R₁ ^* G. We give conditions for simple R-modules to be completely reducible R₁ -modules . Finally, we prove an incomparability theorem,when G is finite abelian.     

The category of modules over a monoidal category: Abelian or not?

LetA be an algebra in an abelian monoidal category M. We prove that the category of leftA-modules is abelian, wheneverA is right coflat. This paper was written while the author was member of G.N.S.A.G.A. with partial financial support from M.I.U.R.     

COTORSION MODULES AND PROJECTIVE DIMENSION ONE

If T is a perfect torsion theory for a category of modules over a commutative ring R, a module C is called T—cotorsion provided Hom_R(Q_T,C) = 0 = Ext_R (Q_T,C) where Q_T denotes the T-injective hull of R. Motivated by the now classical results of D. K. Harrison for abelian groups and of E. Matlis for modules over a domain, the theory of T—cotorsion modules is extended. For example, a category equivalence is obtained between the category of T—compact T-cotorsion modules and the category of T-torsion T-reduced modules. The class of T-divisible modules (homomorphic images of T-injective modules) is shown to be closed under formation of extensions if and only if pd_RQ_T ≤ 1, in the case that Q_T is T—cocritical.     

Abelian group pairs having a trivial coGalois group

Torsion-free covers are considered for objects in the category q ₂. Objects in the category q ₂ are just maps in R-Mod. For R = ℤ, we find necessary and sufficient conditions for the coGalois group G(A → B), associated to a torsion-free cover, to be trivial for an object A → B in q ₂. Our results generalize those of E. Enochs and J. Rado for abelian groups.     

Straightening and bounded cohomology of hyperbolic groups

It was stated by M. Gromov [Gr2] that, for any hyperbolic group G, the map from bounded cohomology Hⁿ_b(G,\Bbb R) H^n_b(G,{\Bbb R}) to Hⁿ(G,\Bbb R) H^n(G,{\Bbb R}) induced by inclusion is surjective for n 3 2 n \ge 2 . We introduce a homological analogue of straightening simplices, which works for any hyperbolic group. This implies that the map Hⁿ_b(G,V) ? Hⁿ(G,V) H^n_b(G,V) \to H^n(G,V) is surjective for n 3 2 n \ge 2 when V is any bounded \Bbb QG {\Bbb Q}G -module and when V is any finitely generated abelian group.     

Homogeneous Vector Bundles and Koszul Algebras

Let G be a reductive algebraic group defined over an algebraically closed field of characteristic zero and let P be a parabolic subgroup of G. We consider the category of homogeneous vector bundles over the flag variety G/P. This category is equivalent to a category of representations of a certain infinite quiver with relations by a generalisation of a result in [BK]. We prove that both categories are Koszul precisely when the unipotent radical P_u of P is abelian.     

Compact nilpotent groups

Herrlich, Salicrup, and Strecker [HSS] have shown that Kuratowski’s Theorem, namely, that a space X is compact if and only if for every space Y, the projection π₂X×Y → Y is a closed map, can be interpreted categorically, and hence generalized and applied in a wider settin than the category of topological spaces. The first author, in an earlier paperj [Fl] , applied this categorical interpretation of compactness in categories of R-modules, obtaining a theory of compactness for each torsion theory T. In the case of the category of abelian groups and a hereditary torsion theory T, a group G is T-compact provided G/TG is a T-injective. In this note, the notion of compact is extended to the categories of hypercentral groups, nilpotent groups, and of FC-groups; it is shown that if T _π denotes the π-torsion subgroup functor for a set of primes π, then a group G is T _π-compact provided G/T _πG is π-complete, extending the abelian group result in a natural way.     

On matrix near-rings

Let R be a right near-ring with identity and M_n(R) be the near-ring of n 2 n matrices over R in the sense of Meldrum and Van der Walt. In this paper, M_n(R) is said to be s\sigma-generated if every n 2 n matrix A over R can be expressed as a sum of elements of X_n(R), where X_n(R)={f_ij^r | 1\leqq i, j\leqq n, r ? R}X_n(R)=\{f_{ij}^r\,|\,1\leqq i, j\leqq n, r\in R\}, is the generating set of M_n(R). We say that R is s\sigma-generated if M_n(R) is s\sigma-generated for every natural number n. The class of s\sigma-generated near-rings contains distributively generated and abstract affine near-rings. It is shown that this class admits homomorphic images. For abelian near-rings R, we prove that the zerosymmetric part of R is a ring, so the class of zerosymmetric abelian s\sigma-generated near-rings coincides with the class of rings. Further, for every n, there is a bijection between the two-sided subgroups of R and those of M_n(R).     

Singuläre definition der äquivarianten Bredon homologie

Let G be a discrete group,o(G) the orbit category of G and M:o(G)a a covariant (contravariant) functor to abelian groups. We define a singular equivariant homology theory H_*(X;M) (resp. H^*(X;M)) which satisfies a dimension axiom, in the sense of Bredon (Lecture notes 34). It turns out, that all fundamental properties of these theories directly follow by naturality from the analogous theorems in the classical non equivariant case.     

When the heart of a faithful torsion pair is a module category

An abelian category with arbitrary coproducts and a small projective generator is equivalent to a module category (Mitchell (1964) [17]). A tilting object in an abelian category is a natural generalization of a small projective generator. Moreover, any abelian category with a tilting object admits arbitrary coproducts (Colpi et al. (2007) [8]). It naturally arises the question when an abelian category with a tilting object is equivalent to a module category. By Colpi et al. (2007) [8], the problem simplifies in understanding when, given an associative ring R and a faithful torsion pair (X,Y) in the category of right R-modules, the heartH(X,Y)of the t-structure associated with (X,Y) is equivalent to a category of modules. In this paper, we give a complete answer to this question, proving necessary and sufficient conditions on (X,Y) for H(X,Y) to be equivalent to a module category. We analyze in detail the case when R is right artinian.     

Quasi‐convexly dense and suitable sets in the arc component of a compact group

Let G be an abelian topological group. The symbol $\widehat{G}Let G be an abelian topological group. The symbol $\widehat{G}$ denotes the group of all continuous characters $\chi :G\rightarrow {\mathbb T}$ endowed with the compact open topology. A subset E of G is said to be qc‐dense in G provided that χ(E)?φ([? 1/4, 1/4]) holds only for the trivial character $\chi \in \widehat{G}$, where $\varphi : {\mathbb R}\rightarrow {\mathbb T}={\mathbb R}/{\mathbb Z}$ is the canonical homomorphism. A super‐sequence is a non‐empty compact Hausdorff space S with at most one non‐isolated point (to which S converges). We prove that an infinite compact abelian group G is connected if and only if its arc component G_a contains a super‐sequence converging to 0 that is qc‐dense in G. This gives as a corollary a recent theorem of Außenhofer: For a connected locally compact abelian group G, the restriction homomorphism $r:\widehat{G}\rightarrow \widehat{G}_a$ defined by $r(\chi )=\chi \upharpoonright _{G_a}$ for $\chi \in \widehat{G}$, is a topological isomorphism. We show that an infinite compact group G is connected if and only if its arc component G_a contains a super‐sequence converging to the identity that is qc‐dense in G and generates a dense subgroup of G. We also offer a short alternative proof of the result of Hofmann and Morris on the existence of suitable sets of minimal size in the arc component of a compact connected group.     

Linear independence of time-frequency shifts under a generalized Schrödinger representation

Let r_\mathbbR \rho_{\mathbb{R}} be the classical Schrödinger representation of the Heisenberg group and let L \Lambda be a finite subset of \mathbbR ×\mathbbR \mathbb{R} \times \mathbb{R} . The question of when the set of functions {t ? e^{2 pi y t} f(t + x) = (r_\mathbbR(x, y, 1) f)(t) : (x, y) ? L} \{t \mapsto e^{2 \pi i y t} f(t + x) = (\rho_{\mathbb{R}}(x, y, 1) f)(t) : (x, y) \in \Lambda\} is linearly independent for all f ? L²(\mathbbR), f 1 0 f \in L^2(\mathbb{R}), f \neq 0 , arises from Gabor analysis. We investigate an analogous problem for locally compact abelian groups G. For a finite subset L \Lambda of G ×[^(G)] G \times \widehat{G} and r_G \rho_G the Schrödinger representation of the Heisenberg group associated with G, we give a necessary and in many situations also sufficient condition for the set {r_G (x, w, 1)f : (x, w) ? L} \{\rho_G (x, w, 1)f : (x, w) \in \Lambda\} to be linearly independent for all f ? L²(G), f 1 0 f \in L^2(G), f \neq 0 .     

IBN rings and orderings on grothendieck groups

LetR be a ring with an identity element.R∈IBN means thatR ^m⋟Rⁿ impliesm=n, R∈IBN ₁ means thatR ^m⋟Rⁿ⊕K impliesm≥n, andR∈IBN ₂ means thatR ^m⋟R^m⊕K impliesK=0. In this paper we give some characteristic properties ofIBN ₁ andIBN ₂, with orderings on the Grothendieck groups. In addition, we obtain the following results: (1) IfR∈IBN ₁ and all finitely generated projective leftR-modules are stably free, then the Grothendieck groupK ₀(R) is a totally ordered abelian group. (2) If the pre-ordering of the Grothendieck groupK ₀(R) of a ringR is a partial ordering, thenR∈IBN ₁ orK ₀(R)=0. Supported by National Nature Science Foundation of China.     

Final group topologies,Kac-Moody groups and Pontryagin duality

We study final group topologies and their relations to compactness properties. In particular, we are interested in situations where a colimit or direct limit is locally compact, a k _ω-space, or locally k _ω. As a first application, we show that unitary forms of complex Kac-Moody groups can be described as the colimit of an amalgam of subgroups (in the category of Hausdorff topological groups, and the category of k _ω-groups). Our second application concerns Pontryagin duality theory for the classes of almost metrizable topological abelian groups, resp., locally k _ω topological abelian groups, which are dual to each other. In particular, we explore the relations between countable projective limits of almost metrizable abelian groups and countable direct limits of locally k _ω abelian groups.     

The formal theory of Hopf algebras Part II: The case of Hopf algebras

Abstract

The category Hopf_R of Hopf algebras over a commutative unital ring R is analyzed with respect to its categorical properties. The main results are: (1) For every ring R the category Hopf_R is locally presentable, it is coreflective in the category of bialgebras over R, over every R-algebra there exists a cofree Hopf algebra. (2) If, in addition, R is absoluty flat, then Hopf_R is reflective in the category of bialgebras as well, and there exists a free Hopf algebra over every R-coalgebra. Similar results are obtained for relevant subcategories of Hopf_R. Moreover it is shown that, for every commutative unital ring R, the so-called “dual algebra functor” has a left adjoint and that, more generally, universal measuring coalgebras exist.     

On the analytic structure of harmonic groups

It will be shown that for any left-harmonic group (G,þ) the locally compact group G is a Lie group. If moreover G is abelian and connected then G =R ⁿ.     

Endomorphism category of an abelian category

Let 𝒞 be an additive category. Denote by End(𝒞) the endomorphism category of 𝒞, i.e., the objects in End(𝒞) are pairs (C,c) with C∈𝒞,c∈End_𝒞(C), and a morphism f:(C,c)→(D,d) is a morphism f∈Hom_𝒞(C,D) satisfying fc?=?df. This paper is devoted to an approach of the general theory of the endomorphism category of an arbitrary additive category. It is proved that the endomorphism category of an abelian category is again abelian with an induced structure without nontrivial projective or injective objects. Furthermore, the endomorphism category of any nontrivial abelian category is nonsemisimple and of infinite representation type. As an application, we show that two unital rings are Morita equivalent if and only if the endomorphism categories of their module categories are equivalent.     

E-near rings

If R is a left near-ring in which all endomorphisms of R⁺ are given by¶ a_l : x ? ax (with  a, x ? R) a_{\ell} : x \rightarrow ax ({\rm with} \, a, x \in R) then (R, +) is shown to be abelian.¶ If also a_l = b_l a_{\ell} = b_{\ell} implies a = b, then R is even a ring.     

Affine maps of state spaces and state spaces of K 0 groups

Let φ be a homomorphism from the partially ordered abelian group (S, v) to the partially ordered abelian group (G, u) with φ(v) = u, where v and u are order units of S and G respectively. Then φ induces an affine map φ* from the state space St(G, u) to the state space St(S, v). Firstly, in this paper, we give some suitable conditions under which φ* is injective, surjective or bijective. Let R be a semilocal ring with the Jacobson radical J(R) and let π: R → R/J(R) be a canonical map. We discuss the affine map (K ₀ π)*. Secondly, for a semiprime right Goldie ring R with the maximal right quotient ring Q, we consider the relations between St(R) and St(Q). Some results from [ALFARO, R.: State spaces, finite algebras, and skew group rings, J. Algebra 139 (1991), 134–154] and [GOODEARL, K. R.-WARFIELD, R. B., Jr.: State spaces of K ₀ of noetherian rings, J. Algebra 71 (1981), 322–378] are extended.     

Note on theK0 of rings with Zariskian filtration

For a noncommutative Zariski ringR with associated graded ringG(R) of finite global dimension there is an injectionK _o(R) K _o (G(R)). The result applies to certain rings of differential operators, in particular to the ring of germs of microlocal differential operators that also provides an example of a nonpositively filtered Zariski ring.Research fellow at UIA, supported by a grant from the Province of Antwerp.Supported by an NFWO grant.