二面体群上Hopf路余代数的结构分类

从Hopf quiver出发,借助于右kZu(C)-模的直积范畴ПC∈K(G) MkZu(C)与kG-Hopf双模范畴kG kG M kG kG之间的同构,当G是二面体群D3时,给出了Hopf路余代数kQc的同构分类及其子Hopf代数kG[kQ1]结构.     

二面体群上Hopf路余代数的结构分类

从Hopf quiver出发,借助于右kZ_u(c)-模的直积范畴■ Mkz_(u(C))与kG-Hopf双模范畴kG/kG M kG/kG之间的同构,当G是二面体群D_3时,给出了Hopf路余代数kQ~c的同构分类及其子Hopf代数kG[kQ_1]结构.     

△-tame拟遗传代数

设(K,M,H)是上三角双模问题,Br(u)stle和Hille证明了(K,M,H)的矩阵范畴Mat(K,M)的投射生成子P的自同态代数的反代数A是拟遗传代数,而且代数A的△好模范畴与Mat(K,M)等价.本文基于双模问题的tame定理,证明了如果由上三角双模问题所对应的拟遗传代数A是△-tame表示型的,则F(△)具有齐次性质,即F(△)中的几乎所有的模都同构于它的Auslander-Reiten变换;进一步地,如果(K,M,H)是上三角双分双模问题,则A是△-tame表示型的当且仅当F(△)具有齐次性质.     

Δ-tame拟遗传代数

设(K,M,H)是上三角双模问题,Brüstle和Hille证明了(K,M,H)的矩阵范畴Mat(K,M)的投射生成子P的自同态代数的反代数A是拟遗传代数,而且代数A的Δ好模范畴与Mat(K,M)等价．本文基于双模问题的tame定理,证明了如果由上三角双模问题所对应的拟遗传代数A是Δ-tame表示型的,则F(Δ)具有齐次性质,即F(Δ)中的几乎所有的模都同构于它的Auslander-Reiten变换;进一步地,如果(K,M,H)是上三角双分双模问题,则A是Δ-tame表示型的当且仅当F(Δ)具有齐次性质．     

三角矩阵代数上奇点范畴和Gorenstein亏范畴的2-粘合

设■是三角矩阵代数,其中A和B是Artin代数,_AM_B是A-B-双模.本文研究了T上奇点范畴和Gorenstein亏范畴的2-粘合结构.在恰当的假设下,我们给出了T上奇点范畴和Gorenstein亏范畴的2-粘合存在的充分必要条件.     

AR-箭图的构造和矩阵双模问题

本文简要介绍了Artin代数表示理论中的下述内容:Auslander-Reiten箭图(简称AR-箭图)稳定分支的结构,野型遗传代数稳定分支的性质,代数闭域上有限维代数Λ引出的矩阵双模问题、对偶的余双模问题及其相伴的具有余代数结构的双模(简称box), modΛ、P_1(Λ)及相伴box的表示范畴之间几乎可列序列的几乎一一对应,驯顺代数Λ上任意两个模之间态射集的维数和性质;最后介绍了代数的驯顺性与其模范畴的齐性.     

交换群上Hopf路余代数的结构分类

设G是群, kG是域k上的群代数. 对任意Hopf箭向Q=(G, r), 利用右kZ_u(C) -模的直积范畴∏_C∈K(G) MkZ_u(C)与kG-Hopf双模范畴^kG_kG M^kG_kG之间的同构, 可由^u(C)(kQ₁)¹上的右kZ_u(C) -模结构导出在箭向余模kQ₁上的kG-Hopf双模结构. 该文讨论在群G分别是2阶循环群与克莱茵四元群时的Hopf路余代数kQ^c的同构分类及其子Hopf代数kG[kQ₁]结构.     

一类代数扩张与其模范畴

对一已知代数进行扩张,并研究扩张代数、重复代数与其模范畴之间的关系.首先利用代数A的双边理想I构造扩张代数T(A,I)和重复代数T(A,I),并研究其模范畴;其次研究范畴T(A,I)-Mod与T(A,I)-Mod的关系,得到于T^v(A,I)-Mod同构于T(A,I)-mod;另外证明存在T(A,I)-mod到T(A,I)-mod的覆盖函子;最后研究商代数A/I的平凡扩张代数T(A/I),得出T(A/I)/I与扩张代数T(A,I)同构.     

3阶全矩阵代数的H_8-模代数结构

设H_8是非交换非余交换的8维半单Hopf代数,C[K_4]是克莱因四元群的群代数,M_3(C)是复数域上的3阶全矩阵代数.通过方阵和方阵对的弱相似给出了同构意义下M_3(C)上全部的C[K_4]-模代数结构.在此基础上结合H_8与C[K_4]的关系,刻划了同构意义下M_3(C)上所有的H_8-模代数结构.     

Δ-tame拟遗传代数

设(K, M, H)是上三角双模问题, Brüstle 和Hille证明了(K, M, H)的矩阵范畴Mat((K, M)的投射生成子P 的自同态代数的反代数A是拟遗传代数, 而且代数A的Δ 好模范畴与Mat((K, M)等价. 本文基于双模问题的tame定理, 证明了如果由上三角双模问题所对应的拟遗传代数A是Δ-tame表示型的, 则 F(Δ)具有齐次性质, 即F(Δ)中的几乎所有的模都同构于它的Auslander-Reiten变换; 进一步地, 如果(K, M, H)是上三角双分双模问题, 则A是Δ-tame表示型的当且仅当 F(Δ)具有齐次性质.     

ON ADJUNCTIONS INDUCING THE SAME MONAD

ABSTRACT

Consider an adjunction <F,U;n,c>: K. → A, T = <T,n,u> the monad it induces in K and ø: A → K^T the comparison functor, K^T being the category of T-algebras. By ø*: Proj U → Proj U^T we denote the restriction and co-restriction of ø to the subcategories of U-projective and U^T -projective objects, respectively. In this paper we deal with the following problem, raised by R.-E. Hoffmann in [5] 1.16 (b):

Assuming that ø* is an equivalence of categories when is it possible to find a category C and a right adjoint functor V: C → K inducing the same monad T in K, and a full reflective embedding E: A → K, such that:

(1) V.E = U.

(2) ø = ø'. E for the comparison functor ø': C → K^T .

(3) F'X is contained (via E) in A, for each K-object X, F' being the left adjoint of V.

(4) ø': C → K^T has a full and faithful left adjoint L'.

We prove that there exists a pair (C,V) satisfying the conditions of the problem, with A an isomorphism-closed subcategory of C, such that:

(5) For all C ? Obj C the reflection map r_C: C → A is ø'-initial.

We also prove that this pair (C,V) is the universal solution satisfying condition (5), i.e. if (C_i,V_i) is a pair satisfying conditions (1)-(5) with E_i: A → C₂ the embedding and L_i left adjoint to the comparison functor ø_i: C_i K^T then there exists a unique full and faithful functor H_i: C → C_i such that H. E = E_i and H_i. L'—L_i. Moreover the universal solution is uniquely determined up to isomorphisms of categories and natural isomorphisms of functors. Finally, we study a particular situation and find, within the solutions of the problem satisfying two further conditions, the lease and the largest element. We conclude the paper with an example of this situation.     

The Morita-Takeuchi Theory for Quotient Categories

Abstract

We study the Morita-Takeuchi context connecting two coalgebras which is dual to the Morita context for algebras. We show that every Morita-Takeuchi context, connecting two coalgebras C and D, leads to an equivalence between quotient categories of the comodule categories ^C M and ^D M. Afterwards we introduce a special Morita-Takeuchi context, called closed, and show that there is a bijection between isomorphism types of closed contexts and isomorphism types of category equivalences between quotient categories of ^C M and ^D M determined by localizing subcategories. This represents a dualization of the classical Morita theorems. Finally we show that from every general context one can construct a closed one.     

Primitive permutation groups of simple diagonal type

LetG be a finite primitive group such that there is only one minimal normal subgroupM inG, thisM is nonabelian and nonsimple, and a maximal normal subgroup ofM is regular. Further, letH be a point stabilizer inG. ThenH∩M is a (nonabelian simple) common complement inM to all the maximal normal subgroups ofM, and there is a natural identification ofM with a direct powerT ^m of a nonabelian simple groupT in whichH∩M becomes the “diagonal” subgroup ofT ^m: this is the origin of the title. It is proved here that two abstractly isomorphic primitive groups of this type are permutationally isomorphic if (and obviously only if) their point stabilizers are abstractly isomorphic. GivenT ^m, consider first the set of all permutational isomorphism classes of those primitive groups of this type whose minimal normal subgroups are abstractly isomorphic toT ^m. Secondly, form the direct productS _m×OutT of the symmetric group of degreem and the outer automorphism group ofT (so OutT=AutT/InnT), and consider the set of the conjugacy classes of those subgroups inS _m×OutT whose projections inS _m are primitive. The second result of the paper is that there is a bijection between these two sets. The third issue discussed concerns the number of distinct permutational isomorphism classes of groups of this type, which can fall into a single abstract isomorphism class.     

The near centre of Doi-Hopf module categoryA M (H) C

It is known that any strict tensor category (C⊗I) determines a braided tensor categoryZ(C), the centre ofC. WhenA is a finite dimension Hopf algebra, Drinfel’d has proved thatZ(_A M) is equivalent to _D(A) M as a braided tensor category, whereA ^M is the left A-module category andD(A) is the Drinfel’d double ofA. For a braided tensor category, the braidC _U,v is a natural isomorphism for any pair of object (U,V) in. If weakening the natural isomorphism of the braidC _U,V to a natural transformation, thenC _U,V is a prebraid and the category with a prebraid is called a prebraided tensor category. Similarly it can be proved that any strict tensor category determines a prebraided tensor category Z∼ (C), the near centre of. An interesting prebraided tensor structure of the Yetter-Drinfel’d category _C*A YD ^C*A given, whereC # A is the smash product bialgebra ofC andA. And it is proved that the near centre of Doi-Hopf module _A M(H) ^C is equivalent to the Yetter-Drinfel’ d _C*A YD ^C*A as prebraided tensor categories. As corollaries, the prebraided tensor structures of the Yetter-Drinfel’d category _A YD ^A , the centres of module category and comodule category are given.     

CONTINUITY OF THE ONE-SIDED BEST UNIFORM APPROXIMATION OPERATOR

Abstract

The purpose of this paper is to relate the continuity and selection properties of the one-sided best uniform approximation operator to similar properties of the metric projection. Let M be a closed subspace of C(T) which contains constants. Then the one-sided best uniform approximation operator is Hausdorff continuous (resp. Lipschitz continuous) on C(T) if and only if the metric projection P_M is Haudorff continuous (resp. Lipschitz continuous) on C(T). Also, the metric projection P_M admits a continuous (resp. Lipschitz continuous) selection if and only if the one-sided best uniform approximation operator admits a continuous (resp. Lipschitz continuous) selection.     

The structure of -tensorial cochains of differential operators

Let M be a manifold. Let F = C^∞(M, R). Then the associative algebra of differential operators on is a two-sided -module. We prove that there is a natural isomorphism between the -tensorial Hochschild p-cochains of and the jets, taken on the diagonal, of smooth functions on the Cartesian product of p + 1 copies of M. There is an induced isomorphism of the corresponding associative differential graded algebras. The normalised -tensorial p-cochains correspond isomorphically to jets of those above functions which vanish on all the contiguous subdiagonals x_{j + 1} = X_j, j = 0,…, p − 1 of M^{(p + 1)}. This isomorphism may offer a useful alternative view of infinite-order jets of functions of several variables, taken on the diagonal as cochains of .     

Representation of a class of locally convex (M)-lattices

We prove a representation theorem for Hausdorff locally convex (M)-lattices which are Dedekind σ-complete, and whose topologies are order σ-continuous and monotonically complete. These turn out to be the weighted spaces c₀(T, H), defined in the paper for T ≠ and H ^T₊. We also characterize the dual of c₀(T, H), as the space l¹ (T, H) defined in the last section. The known representation (on c₀(T)) of Banach (M)-lattices with order continuous norm follows as a particular case. We obtain these results by first proving a new general isomorphism theorem, which seems to be of independent interest. Our notion of “monotonic topological completeness” is weaker than the usual completeness and seems to be very convenient in the framework of topological ordered vector spaces.     

2-Categorical aspects of strong shape

For every pair (C,K) of groupoid enriched categories, we define two related categories S(C,K) and SS(C,K). In the case (C,K)=(TOP,ANR) they are isomorphic, respectively, to the classical shape category Sh(TOP) of Mardeši? and Segal and to the strong shape category of topological spaces SSh(1)(TOP) of height 1, defined by Lisicá and Mardeši?. Moreover, for (C,K)=(CM,ANR), where CM is the category of compact metric spaces, there is an isomorphism SSh(CM)≅SS(CM,ANR). A new characterization of topological strong shape equivalences is also given.     

On factors ofC([0, 1]) with non-separable dual

LetC denote the Banach space of scalar-valued continuous functions defined on the closed unit interval. It is proved that ifX is a Banach space andT:C→X is a bounded linear operator withT ^* X ^* non-separable, then there is a subspaceY ofC, isometric toC, such thatT|Y is an isomorphism. An immediate consequence of this and a result of A. Pelczynski, is that every complemented subspace ofC with non-separable dual is isomorphic (linearly homeomorphic) toC. The research for this paper was partially supported by NSF-GP-30798X. An erratum to this article is available at .     

Non-induced isomorphisms of matrix rings

We give examples of distinct integersi, j, and ringsT for which the matrix ringsM _i (T) andM _j (T) are isomorphic as rings, but for which the free modules _T T ⁽ⁱ⁾ and _T T ⁽ⁱ⁾ are non-isomorphic asT-modules.