Further Results on Finitely Generated Projective Modules

In this paper, the exchange rings R whose primitive factor rings are artinian are studied. The following results are proved: for any exchange ring R and any two-sided ideal I of R, K ₀(π) : K ₀(R)→K ₀(R/I) is a group epimorphism with the kernel {[P]−[Q] |P = PI, Q = QI}; there is an isomorphism of ordered groups from K ₀(R) to the gorup of all such functions ƒ _P : X→Q(P∈p(R)), where X is the set of all primitive ideals of R and Q, the rational integers. Received February 2, 1999, Accepted December 9, 1999     

On Codimension Growth of Finitely Generated Associative Algebras

LetAbe a PI-algebra over a fieldF. We study the asymptotic behavior of the sequence of codimensionsc_n(A) ofA. We show that ifAis finitely generated overFthenInv(A)=lim_n→∞ always exists and is an integer. We also obtain the following characterization of simple algebras:Ais finite dimensional central simple overFif and only ifInv(A)=dim=A.     

Galois Theory for Multiplier Hopf Algebras with Integrals

In this paper, we introduce a generalized Hopf Galois theory for regular multiplier Hopf algebras with integrals, which might be viewed as a generalization of the Hopf Galois theory of finite-dimensional Hopf algebras. We introduce the notion of a coaction of a multiplier Hopf algebra on an algebra. We show that there is a duality for actions and coactions of multiplier Hopf algebras with integrals. In order to study the Galois (co)action of a multiplier Hopf algebra with an integral, we construct a Morita context connecting the smash product and the coinvariants. A Galois (co)action can be characterized by certain surjectivity of a canonical map in the Morita context. Finally, we apply the Morita theory to obtain the duality theorems for actions and coactions of a co-Frobenius Hopf algebra.     

The Projective Class Ring of Basic and Split Hopf Algebras

We describe the structure of the complexification of the projective class ring of a basic and split Hopf algebra using a positive integer determined by the composition series of the projective cover of the trivial module. If q is a root of unity of order n, the projective class algebra of u_q ⁺(sl₂) is the product of n–1 copies of the dual numbers over C and two copies of C.     

Polynomial Lie Algebras and Growth of Their Finitely Generated Lie Subalgebras

The concept of polynomial Lie algebra of finite rank was introduced by V. M. Buchstaber in his studies of new relationships between hyperelliptic functions and the theory of integrable systems. In this paper we prove the following theorem: the Lie subalgebra generated by the frame of a polynomial Lie algebra of finite rank has at most polynomial growth. In addition, important examples of polynomial Lie algebras of countable rank are considered in the paper. Such Lie algebras arise in the study of certain hyperbolic partial differential equations, as well as in the construction of self-similar infinite-dimensional Lie algebras (such as the Fibonacci algebra).     

When Essential Extensions of Finitely Generated Modules are Finitely Generated

For certain classes 𝒞 of R-modules, including singular modules or modules with locally Krull dimensions, it is investigated when every module in 𝒞 with a finitely generated essential submodule is finitely generated. In case 𝒞 = Mod-R, this means E(M)/M is Noetherian for any finitely generated module M_R. Rings R with latter property are studied and shown that they form a class 𝒬 properly between the class of pure semisimple rings and the class of certain max rings. Duo rings in 𝒬 are precisely Artinian rings. If R is a quasi continuous ring in 𝒬 then R ? A ⊕ T where A is a semisimple Artinian ring and T ∈ 𝒬 with Z(T_T) ≤_ess T_T.     

Finitely Generated Quasi-Proximities

In this paper we deal with the proximal properties of relators which are straightforward generalizations of Weil's uniformities. We prove that every finitely generated quasi-proximity is simple and show that a theorem in Kenyon [4] can be set in a more general form.     

Projective Summands in Tensor Products of Simple Modules of Finite Dimensional Hopf Algebras

Abstract

Let H be a finite dimensional Hopf algebra over a field k. We show that H contains a unique maximal Hopf ideal J _w (H) contained in J(H), the Jacobson radical of H. We give various characterizations of J _w (H), for example J _w (H) = Ann _H ((H/J(H))^?n ) for all large enough n. The smallest positive integer n with this property is denoted by l _w (H). We prove that l _w (H) equals the smallest number n such that (H/J(H))^?n contains every projective indecomposable H/J _w (H)-module as a direct summand. This also equals the minimal n such that the tensor product of n suitable simple H-modules contains the projective cover of the trivial H/J _w (H)-module as a direct summand. We define projective homomorphisms between H-modules, which are used to obtain various reciprocity laws for tensor products of simple H-modules and their projective indecomposable direct summands. We also discuss some consequences of our general results in case H = kG is a group algebra of a finite group G and k is a field of characteristic p.     

Almost-triangular Hopf Algebras

In this paper, we consider a finite dimensional semisimple cosemisimple quasitriangular Hopf algebra with (we call this type of Hopf algebras almost-quasitriangular) over an algebraically closed field . We denote by the vector space generated by the left tensorand of . Then is a sub-Hopf algebra of . We proved that when is odd, has a triangular structure and can be obtained from a group algebra by twisting its usual comultiplication [14]; when is even, is an extension of an abelian group algebra and a triangular Hopf algebra, and may not be triangular. In general, an almost-triangular Hopf algebra can be viewed as a cocycle bicrossproduct.      

Hom-弱Hopf代数

在Hom-Hopf代数上,引入Hom-弱Hopf代数的概念并讨论了它的性质     

Finitely Generated Commutative Regular Semigroups

Abstract

In this paper we give a construction that allows us to describe up to isomorphisms all finitely generated regular commutative semigroups.     

Prime-Dimensional Hopf Algebras

Ｐｒｉｍｅ－ＤｉｍｅｎｓｉｏｎａｌＨｏｐｆＡｌｇｅｂｒａｓＣａｉＣｈｕａｎｒｅｎ（蔡传仁）ａｎｄＣｈｅｎＨｕｉｘｉａｎｇ（陈惠香）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＹａｎｇｚｈｏｕＴｅａｃｈｅｒ＇ｓＣｏｌｌｅｇｅ，Ｊｉａｎｇｓｕ２２５...     

Powers in Finitely Generated Groups

In this paper we study the set of -powers in certain finitely generated groups . We show that, if is soluble or linear, and contains a finite index subgroup, then is nilpotent-by-finite. We also show that, if is linear and has finite index (i.e. may be covered by finitely many translations of ), then is soluble-by-finite. The proof applies invariant measures on amenable groups, number-theoretic results concerning the -unit equation, the theory of algebraic groups and strong approximation results for linear groups in arbitrary characteristic.

     

Galois theory for Hopf algebroids

An extensionB⊂A of algebras over a commutative ringk is anH-extension for anL-bialgebroidH ifA is anH-comodule algebra andB is the subalgebra of its coinvariants. It isH-Galois if the canonical mapA ⊗_B A →A ⊗_L H is an isomorphism or, equivalently, if the canonical coringA ⊗_L H:A is a Galois coring. In the case of Hopf algebroid anyH _R-extension is shown to be also anH _L-extension. If the antipode is bijective then also the notions ofH _R-Galois extensions and ofH _L-Galois extensions are proven to coincide. Results about bijective entwining structures are extended to entwining structures over non-commutative algebras in order to prove a Kreimer-Takeuchi type theorem for a finitely generated projective Hopf algebroidH with bijective antipode. It states that anyH-Galois extensionB⊂A is projective, and ifA isk-flat then already the surjectivity of the canonical map implies the Galois property. The Morita theory, developed for corings by Caenepeel, Vercruysse and Wang is applied to obtain equivalent criteria for the Galois property of Hopf algebroid extensions. This leads to Hopf algebroid analogues of results for Hopf algebra, extensions by Doi and, in the case of Frobenius Hopf algebroids, by Cohen, Fishman and Montgomery.

---

Sunto Un'estensioneB(A di algebre su un anello commutativok è unaH-estensione per unL-bialgebroideH seA è unaH-comodulo algebra eB è la sottoalgebra dei suoi coinvarianti. Essa èH-Galois se l'applicazione canonicaA ⊗_A B→A ⊗_L H è un isomorfismo o, equivalentemente, se il coanello canonicoA ⊗_L H:A è un coanello di Galois. Nel caso di un algebroide di Hopf si dimostra che ogniH _R-estensione è unaH _L-estensione. Se l'antipode è biiettivo allora si dimostra che anche le nozioni di estensioniH _R-Galois eH _L-Galois coincidono. I risultati per le strutture biiettive entwining sono estesi alle strutture entwining su algebre non commutative, al fine di dimostrare un teorema simile al Teorema dii Kreimer-Takeuchi per un Hopf algebroideH proiettivo finitamento generato con antipode biiettivo. Il teorema afferma che ogni estensioneH-GaloisB ⊂A è proiettiva e seA èk-piatto allora la suriettività dell'applicazione canonica è sufficiente a garantire la proprietà di Galois. La teoria di Morita, sviluppata per i coanelli da Caenepeel, Vercruysse e Wang, viene applicata per ottenere criteri equivalenti per la proprietà di Galois per estensioni di algebroidi di Hopf. Questo conduce a risultati analoghi, per algebroidi di Hopf, a quelli ottenuti da Doi per estensioni di algebre di Hopf e da Cohen Fishman e Montgomery nel caso degli algebroidi di Hopf Frobenius.

     

Galois Extensions of Boolean Algebras

We characterize Galois extensions of Boolean algebras as finite extensions with the independent set of generators, answering a question of D. Monk.     

De-Equivariantization of Hopf Algebras

We study the de-equivariantization of a Hopf algebra by an affine group scheme and we apply Tannakian techniques in order to realize it as the tensor category of comodules over a coquasi-bialgebra. As an application we construct a family of coquasi-Hopf algebras A(H, G, Φ) attached to a coradically-graded pointed Hopf algebra H and some extra data.     

Gorenstein代数上的Hopf代数作用

令H是有限维Hopf代数，A是左H-模代数。本文证明了A是Gorenstein代数的充分必要条件。A^H也是Gorenstein代数的条件。它是Enochs EE,GarciaJJ和del RioA关于群作用相应的理论的推广，同时给出A/A^H是Frobenius扩张的条件。     

Ideals of Finitely Generated Commutative Monoids

Abstract. We extend the concept of presentation of finitely generated commutative monoids to ideals of finitely generated commutative monoids and give algorithms to obtain information about an ideal from a given presentation.