Maximal Crossed Product Orders Over Discrete Valuation Rings

The problem of determining when a (classical) crossed product T = S ^f ?G of a finite group G over a discrete valuation ring S is a maximal order, was answered in the 1960s for the case where S is tamely ramified over the subring of invariants S ^G . The answer was given in terms of the conductor subgroup (with respect to f) of the inertia. In this article we solve this problem in general when S/S ^G is residually separable. We show that the maximal order property entails a restrictive structure on the subcrossed product graded by the inertia subgroup. In particular, the inertia is abelian. Using this structure, one is able to extend the notion of the conductor. As in the tame case, the order of the conductor is equal to the number of maximal two-sided ideals of T and hence to the number of maximal orders containing T in its quotient ring. Consequently, T is a maximal order if and only if the conductor subgroup is trivial.     

Crossed Product Orders over Valuation Rings

Let V be a commutative valuation domain of arbitrary Krull-dimension(rank), with quotient field F, and let K be a finite Galoisextension of F with group G, and S the integral closure of Vin K. If, in the crossed product algebra K * G, the 2-cocycletakes values in the group of units of S, then one can form,in a natural way, a ‘crossed product order’ S *G K * G. In the light of recent results by H. Marubayashi andZ. Yi on the homological dimension of crossed products, thispaper discusses necessary and/or sufficient valuation-theoreticconditions, on the extension K/F, for the V-order S * G to besemihereditary, maximal or Azumaya over V. 2000 MathematicsSubject Classification 16H05, 16S35.     

Primes of Gauss Extensions Over Crossed Product Algebras

Let K be a skew field with total subring V and G be a right ordered group with cone P, so that the crossed product algebra K*G has a skew field D of fractions. We consider total subrings R of D with R ∩ K = V, describe the overrings in D, as well as subrings of R. For particular extensions R of V we determine the prime ideals of R in terms of prime ideals of V and prime ideals of overcones of P in G.     

Representations of Finite Posets Over Discrete Valuation Rings

Given a discrete valuation ring R, a non-negative integer m, and a finite partially ordered set S, the representation type of a category rep(S*, R, m) of finite rank free R-module representations of S is characterized in terms of S and m. As an application, representation types of some categories of torsion-free abelian groups of finite rank are determined.     

弱Hopf代数上的对角交叉积和左右冲积(英文)

作为弱Hopf代数上的冲积的推广,本文引入了弱Hopf代数上的对角交叉积和左右冲积概念,并研究了它们的性质.特别地,有限维弱Hopf代数上的Drinfeld对是一种特殊的对角交叉积,本文给出了其上的弱Hopf代数结构.作为两个典型的例子,本文引入并研究了弱Hopf代数上Kadison积和Connes-Moscovici积.     

冯·诺依曼代数交叉积的一点注记

设α是可数离散群G和H的半直积G■_σH在冯·诺依曼代数M上的作用,则β_h=α_((e,h))AdU_h定义了群H在冯·诺依曼代数交叉积M■_αG上的作用β.本文证明了交叉积冯·诺依曼代数M■_α(G■_σH)与(M■_αG)■_βH是*-同构的,因此在一定条件下,冯·诺依曼代数的交叉积满足结合律.     

交叉积群代数有限维数问题的一点注记

设G是一个有限群,k是一个代数闭域且k的特征不整除G的阶.Λ是一个扭kG-模代数,Λ*G是一个交叉积代数.该文证明Λ*G和Λ具有相同的有限维数,且同时满足有限维数猜想定理.     

Automorphisms and Derivations of Certain Solvable Lie Algebras Over Commutative Rings

Let L be a finite-dimensional complex simple Lie algebra, L _? be the ?-span of a Chevalley basis of L, and L _R  = R ?_? L _? be a Chevalley algebra of type L over a commutative ring R with identity. Let ?(R) be the solvable subalgebra of L _R spanned by the basis elements of the maximal toral subalgebra and the root vectors associated with positive roots. In this article, we prove that under some conditions for R, any automorphism of ?(R) is uniquely decomposed as a product of a graph automorphism, a diagonal automorphism and an inner automorphism, and any derivation of ?(R) is uniquely decomposed as a sum of an inner derivation induced by root vectors and a diagonal derivation. Correspondingly, the automorphism group and the derivation algebra of ?(R) are determined.     

Commuting Derivations and Automorphisms of Certain Nilpotent Lie Algebras Over Commutative Rings

Let L be a finite-dimensional complex simple Lie algebra, L _? be the ?-span of a Chevalley basis of L, and L _R  = R ?_? L _? be a Chevalley algebra of type L over a commutative ring R. Let 𝒩(R) be the nilpotent subalgebra of L _R spanned by the root vectors associated with positive roots. A map ? of 𝒩(R) is called commuting if [?(x), x] = 0 for all x ∈ 𝒩(R). In this article, we prove that under some conditions for R, if Φ is not of type A ₂, then a derivation (resp., an automorphism) of 𝒩(R) is commuting if and only if it is a central derivation (resp., automorphism), and if Φ is of type A ₂, then a derivation (resp., an automorphism) of 𝒩(R) is commuting if and only if it is a sum (resp., a product) of a graded diagonal derivation (resp., automorphism) and a central derivation (resp., automorphism).     

有限局部环上酉群阶的计算

设K=F_(q^2),其特征为p, q=p^α,K有对合自同构ω:a→a^q. G是一个p 群，其阶为p^β, 群代数R=KG为一局部环. K的2阶自同构ω可延拓为R的一个2阶自同构，记为ω'，为方便，对任意a∈R, 记ω‘(a)为~a. R上2n级酉群定义为U_(2n)R={A∈GL_(2n)R|A(0,I^n,I^n,0)~A^t=(0,I^n,I^n,0)} 该文计算了U_(2n)R的阶.      

交叉积群代数模范畴的左部分和右部分(英文)

设G是一个有限群,k为一个特征不整除G的阶数的域,∧是一个扭kG-模代数,且∧*_σG（简写为∧*G）是一个交叉积代数.设L_∧（R_∧）为代数∧的模范畴中前缀（后缀）的投射（内射）维数至多为1的所有有限生成的不可分解模.本文主要研究了交叉积代数∧*G的模范畴左（右）部分L_∧*G(R_∧*G)与代数∧的左（右）部分L_∧（R_∧）之间的关系.最后,利用本文得到的结果,考察了代数∧的相关性质在交叉积扩张下在代数∧*G中的保持性.     

Hilbert Space Representations of Cross Product Algebras II

In this paper, we study and classify Hilbert space representations of cross product -algebras of the quantized enveloping algebra with the coordinate algebras of the quantum motion group and of the complex plane, and of the quantized enveloping algebra with the coordinate algebras of the quantum group and of the quantum disc. Invariant positive functionals and the corresponding Heisenberg representations are explicitly described.Presented by S.L. Woronowicz.     

Higher Algebraic <Emphasis Type="BoldItalic">K</Emphasis>-theory for Twisted Laurent Series Rings Over Orders and Semisimple Algebras

Let R be the ring of integers in a number field F, Λ any R-order in a semisimple F-algebra Σ, α an R-automorphism of Λ. Denote the extension of α to Σ also by α. Let Λ _α [T] (resp. Σ _α [T] be the α-twisted Laurent series ring over Λ (resp. Σ). In this paper we prove that (i) There exist isomorphisms ) for all n ≥ 1. (ii) is an l-complete profinite Abelian group for all n≥2. (iii)for all n≥2. (iv)is injective with uniquely l-divisible cokernel (for all n≥2). (v) K _–1(Λ), K _–1(Λ _α [T]) are finitely generated Abelian groups. Presented by Alain Verschoren.     

Basic Submodules of Modules Over Serial, Right Noetherian Rings. II

In the preceding paper, the authors published an existence theorem for basic submodules of right modules over right Noetherian, serial rings. The aim of the present paper is to prove a uniqueness theorem for basic submodules over such rings. Bibliography: 13 titles.     

Elementary Bialgebra Properties of Group Rings and Enveloping Rings: An Introduction to Hopf Algebras

This is a slight extension of an expository paper I wrote a while ago as a supplement to my joint work with Declan Quinn on Burnside's theorem for Hopf algebras. It was never published, but may still be of interest to students and beginning researchers.

Let K be a field, and let A be an algebra over K. Then the tensor product A ? A = A ? _K A is also a K-algebra, and it is quite possible that there exists an algebra homomorphism Δ: A → A ? A. Such a map Δ is called a comultiplication, and the seemingly innocuous assumption on its existence provides A with a good deal of additional structure. For example, using Δ, one can define a tensor product on the collection of A-modules, and when A and Δ satisfy some rather mild axioms, then A is called a bialgebra. Classical examples of bialgebras include group rings K[G] and Lie algebra enveloping rings U(L). Indeed, most of this paper is devoted to a relatively self-contained study of some elementary bialgebra properties of these examples. Furthermore, Δ determines a convolution product on Hom _K (A, A), and this leads quite naturally to the definition of a Hopf algebra.     

Facets of Descent III: Monadic Descent for Rings and Algebras

We develop an elementary approach to the classical descent problems for modules and algebras, and their generalizations, based on the theory of monads.     

Applications of Normal Forms for Weighted Leavitt Path Algebras: Simple Rings and Domains

Weighted Leavitt path algebras (wLpas) are a generalisation of Leavitt path algebras (with graphs of weight 1) and cover the algebras L _K (n, n + k) constructed by Leavitt. Using Bergman’s diamond lemma, we give normal forms for elements of a weighted Leavitt path algebra. This allows us to produce a basis for a wLpa. Using the normal form we classify the wLpas which are domains, simple and graded simple rings. For a large class of weighted Leavitt path algebras we establish a local valuation and as a consequence we prove that these algebras are prime, semiprimitive and nonsingular but contrary to Leavitt path algebras, they are not graded von Neumann regular.