DECOMPOSITION OF A HIGHER DEGREE FORM

ABSTRACT

We give another proof of Harrison's decomposition result,[2] Harrison, D.K. 1975. A Grothendieck Ring of Higher Degree Forms. Journal of Algebra, 35: 123–138. [Crossref], [Web of Science ®] , [Google Scholar] Prop. 2.3 for higher degree forms over a noetherian ring, exploiting an earlier introduction of the centre. We generalise to higher degree forms over a noetherian scheme: we extend the notion of centre; we prove a decomposition result; we extend Harrison's result,[2] Harrison, D.K. 1975. A Grothendieck Ring of Higher Degree Forms. Journal of Algebra, 35: 123–138. [Crossref], [Web of Science ®] , [Google Scholar] Prop. 4.3 on the behaviour of the centre under a flat base extension; and we improve his result,[2] Harrison, D.K. 1975. A Grothendieck Ring of Higher Degree Forms. Journal of Algebra, 35: 123–138. [Crossref], [Web of Science ®] , [Google Scholar] Prop. 4.2, giving conditions on the base scheme under which the centre of the tensor product of two higher degree forms is isomorphic to the tensor product of their centres.     

ℤ3-Twisted Representations of Lattice Vertex Operator Algebras

Abstract

Let L be a positive definite even lattice and let g ∈ Aut L be a fixed point free automorphism of order 3. We determine the twisted Zhu's algebra A _? (V _L ) for the lattice vertex operator algebra V _L , where ? is an automorphism of V _L induced from g. As a result, we show that the set of all irreducible ?-twisted modules for V _L (up to isomorphism) are exactly those constructed by Dong and Lepowsky (1996 Dong, C. and Lepowsky, J. 1996. The algebraic structure of relative twisted vertex operators. J. Pure and Applied Algebra, 110: 259–295. [Crossref], [Web of Science ®] , [Google Scholar]) and Lepowsky (1985 Lepowsky, J. 1985. Calculus of twisted vertex operators. Proc. Natl. Acad. Sci. USA, 82: 8295–8299. [Crossref], [PubMed], [Web of Science ®] , [Google Scholar]).     

DIRECT SUM DECOMPOSITION OF THE PRODUCT OF PREINJECTIVE MODULES OVER RIGHT PURE SEMISIMPLE HEREDITARY RINGS

ABSTRACT

In his recent work, [1] Simson, D. 2000. An Artin Problem for Division Ring Extensions and the Pure Semisimplicity Conjecture, II. J. Algebra, 227: 670–705. [Crossref], [Web of Science ®] , [Google Scholar] and [2] Simson, D. 2001. On Small Right Pure Semisimple Rings and the Structure of their Auslander-Reiten Quiver. Communic. in Algebra, 29 in press[Web of Science ®] , [Google Scholar], on the pure semisimplicity conjecture Simson raised two problems about the structure of the direct sum decomposition of the direct product modulo the direct sum of indecomposable preinjective modules over right pure semisimple hereditary rings. The main goal of this paper is the proof of a theorem that resolves one of these problems and provides a partial answer to the other.     

NIVEAU HERMITIEN D'UNE ALGÈBRE DE QUATERNIONS À DIVISION MUNIE D'UNE INVOLUTION DE DEUXIÈME ESPÈCE

ABSTRACT

In this note we show that the hermitian level of a quaternion division algebra with involution of second kind, is always a power of 2, when it is finite. This result holds for a field with trivial or non-trivial involution, and quaternion division algebras with involution of first kind [6] Pfister, A. 1965. Darstellung von -1 als Summe Von Quadraten in Einem Körper. J. London Math. Soc., 40: 159–165. [Crossref], [Web of Science ®] , [Google Scholar], [5] Lewis, D.W. 1988. Sums of Hermitian Squares. Journal of Algebra, 115(2): 446–480.  [Google Scholar], [9] Serhir, A. 1997. Niveau Hermitien de Certaines Algèbres de Quaternions. Communications in Algebra, 25(8): 2531–2538. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar].     

Sequences Determining Mixed Multiplicities and Reductions of Ideals

Abstract

Using the notion of (FC)-sequences in Viêt (2000 Viêt, D. Q. 2000. Mixed multiplicities of arbitrary ideals in local rings. Comm. Algebra, 28(8): 3803–3821. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar]), this paper presents some results concerning reductions and the vanishing and non-vanishing of mixed multiplicities of finite collection of arbitrary ideals in local rings.     

Homogenized Down-Up Algebras

Abstract

This paper studies two homogenizations of the down-up algebras introduced in Benkart and Roby (Benkart, G., Roby, T. (1998 Benkart, G. and Roby, T. 1998. Down-up algebras. J. Algebra, 209: 305–344. [Crossref], [Web of Science ®] , [Google Scholar]). Down-up Algebras. J. Algebra 209:305–344). We show that in all cases the homogenizing variable is not a zero-divisor, and that when the parameter β is non-zero, the homogenized down-up algebra is a Noetherian domain and a maximal order, and also Artin-Schelter regular, Auslander regular, and Cohen-Macaulay. We show that all homogenized down-up algebras have global dimension 4 and Gelfand-Kirillov dimension 4, and with one exception all homogenized down-up algebras are prime rings. We also exhibit a basis for homogenized down-up algebras and provide a necessary condition for a Noetherian homogenized down-up algebra to be a Hopf algebra.     

Classical Morita equivalence and linear topologies; applications to quasi-dualities

ABSTRACT

In this note,we answer a question of Hong et al. (2003 Hong , C. Y. , Kim , N. K. , Kwak , T. K. ( 2003 ). On skew Armendariz rings . Comm. Alg. 31 ( 1 ): 103 – 122 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) by proving that if α is a monomorphism of a reduced ring R, and R is α-skew Armendariz, then R is α-rigid.     

A note on some structure theorems of modules in category 0

ABSTRACT

Using the local subgroup strategy of An and O'Brien (1997 An , J. , O'Brien , E. A. ( 1997 ). A local strategy to decide the Alperin and Dade conjectures . J. Alg. 189 : 34 – 57 . [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]), An and O'Brien (1999 An , J. , O'Brien , E. A. ( 1999 ). The Alperin and Dade conjectures for the Fischer simple group Fi₂₃ . Internat. J. Alg. Comput. 9 : 621 – 670 . [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]), we classify the radical subgroups and chains of the Fischer simple group Fi ₂₂ and verify the Alperin weight conjecture and the Uno reductive conjecture for this group; the latter is a refinement of the Dade reductive and Isaacs–Navarro conjectures.

     

THE NICHOLS ZOELLER THEOREM FOR HOPF ALGEBRAS IN THE CATEGORY OF YETTER DRINFELD MODULES

In 1989 Nichols and Zoeller [NZ] Nichols, W. D. and Zoeller, M. B. 1989. A Hopf algebra freeness theorem. Amer. J. Math., 111: 381–385. [Crossref], [Web of Science ®] , [Google Scholar] showed that finite dimensional k-Hopf algebras are free over Hopf subalgebras. An analog result for Yetter Drinfeld Hopf algebras was not known. In this paper the existence of such a basis will be proved. Moreover the existence of a basis in a certain categorial sense cannot be expected.     

Note on Conic Bundles over Henselian Discrete Valued Fields with Real Closed Residue Field

ABSTRACT

Let ? be a complete set of Sylow subgroups of a finite group G, that is, ? contains exactly one and only one Sylow p-subgroup of G for each prime p. A subgroup H of a finite group G is said to be ?-permutable if H permutes with every member of ?. The purpose of this article is to study the influence of ?-permutability of all maximal subgroups of the Sylow subgroups of the generalized Fitting subgroup of some normal subgroup of a finite group G on the structure of G. Our results improve and extend the main results of Asaad (1998 Asaad , M. ( 1998 ). On maximal subgroups of Sylow subgroups of finite groups . Comm. Algebra 26 ( 11 ): 3647 – 3652 . [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]), Asaad and Heliel (2003 Asaad , M. , Heliel , A. A. ( 2003 ). On permutable subgroups of finite groups . Arch. Math. 80 : 113 – 118 . [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), Asaad et al. (1991 Asaad , M. , Ramadan , M. , Shaalan , A. ( 1991 ). Influence of π-quasinormality on maximal subgroups of Sylow subgroups of Fitting subgroup of a finite group . Arch. Math. 56 : 521 – 527 . [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), Li et al. (2003 Li , Y. , Wang , Y. , Wei , H. ( 2003 ). The influence of π-quasinormality of maximal subgroups of Sylow subgroups of a finite group . Arch. Math. 81 ( 3 ): 245 – 252 . [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), Ramadan (1992 Ramadan , M. ( 1992 ). Influence of normality on maximal subgroups of Sylow subgroups of a finite group . Acta Math. Hungar. 59 ( 1–2 ): 107 – 110 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), and Srinivasan (1980 Srinivasan , S. ( 1980 ). Two sufficient conditions for supersolvability of finite groups . Israel J. Math. 35 : 210 – 214 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]).     

Constructions of Stratified Algebras

In this article, a construction to build recursively all basic finite dimensional standardly stratified algebras is given. In comparison to the construction described by Dlab and Ringel for the quasi-hereditary case ([15 Dlab , V. , Ringel , C. M. ( 1989 ). A construction for quasi-hereditary algebras . Compositio Math. 70 : 155 – 175 . [Google Scholar]]) some new features appear here.     

On weakly clean rings

A ring is called clean if every element is a sum of a unit and an idempotent, while a ring is said to be weakly clean if every element is either a sum or a difference of a unit and an idempotent. Commutative weakly clean rings were first discussed by Anderson and Camillo [2 Anderson, D. D., Camillo, V. P. (2002). Commutative rings whose elements are a sum of a unit and idempotent. Commun. Algebra 30(7):3327–3336.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]] and were extensively investigated by Ahn and Anderson [1 Ahn, M.-S., Anderson, D. D. (2006). Weakly clean rings and almost clean rings. Rocky Mountain J. Math. 36:783–798.[Crossref], [Web of Science ®] , [Google Scholar]], motivated by the work on clean rings. In this paper, weakly clean rings are further discussed with an emphasis on their relations with clean rings. This work shows new interesting connections between weakly clean rings and clean rings.     

UNIFORM FILTERS AND SEMI-COMPATIBILITY

In [5] García Román, M., Márquez Hernández, M. and Verschoren, A. 1997. Structure Sheaves and Noncommutative Topologies. J. of Algebra, 194: 224–244. [Crossref], [Web of Science ®] , [Google Scholar] we used functors which are compositions of localization functors to construct sheaves over an arbitrary ring R. These functors share some properties with localization, and questions like when is the composition of localizations a localization functor? arise naturally. In this note we answer this question and some related ones using the key concept of semi-compatibility.

     

Factorisable Semigroups of Generalized Transformations

ABSTRACT

If X and Y are sets, we let P(X, Y ) denote the set of all partial transformations from X into Y (that is, all mappings whose domain and range are subsets of X and Y, respectively). We define an operation * on P(X, Y ) by choosing θ ∈ P(Y, X) and writing: α*β = α °θ°β, for each α, β ∈ P(X, Y ). Then (P(X, Y ), *) is a semigroup, and some authors have determined when this is regular (Magill and Subbiah, 1975 Magill , K. D. , Jr. Subbiah , S. ( 1975 ). Green's relations for regular elements of sandwich semigroups. I. General results . Proc. London Math. Soc. 31 : 194 – 210 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), when it contains a “proper dense subsemigroup” (Wasanawichit and Kemprasit, 2002 Wasanawichit , A. , Kemprasit , Y. ( 2002 ). Dense subsemigroups of generalized transformation semigroups . J. Austral. Math. Soc. 73 ( 3 ): 433 – 445 . [CSA] [Crossref] , [Google Scholar]) and when it is factorisable (Saengsura, 2001 Saengsura , K. ( 2001 ). Factorizable on (P(X, Y ), θ) , MSc thesis, 23 pp (in Thai, with English summary), Department of Mathematics, Khon Kaen University, Khon Kaen, Thailand, 2001.  [Google Scholar]). In this paper, we extend the latter work to certain subsemigroups of (P(X, Y ), *). We also consider the corresponding idea for partial linear transformations from one vector space into another. In this way, we generalise known results for total transformations and for injective partial transformations between sets, and we establish new results for linear transformations between vector spaces.     

EXTRACTION OF ROOTS IN GARSIDE GROUPS

ABSTRACT

V. B. Styshnev showed in [9] Styshnev, V.B. 1978. Izvlechenie Kornya v Groupe Kos (Russian). Seria Matematicheskaya, 42(5): 1120–1131.  [Google Scholar] that the existence of n -th roots for a braid is decidable. Garside groups have been introduced in [2] Dehornoy, P. and Paris, L. 1999. Gaussian Groups and Garside Groups, Two Generalisations of Artin groups. Proc. London Math. Soc., 79(3): 569–604. [Crossref], [Web of Science ®] , [Google Scholar] and [3] Dehornoy P. Groupes de Garside Ann. Sc. Ec. Norm. Sup. to appear [Google Scholar] as a natural proper generalization of Artin groups of finite type. We have to construct a new proof to extend Styshnev's decidability result to Garside groups, as several specific properties of braids used in [9] Styshnev, V.B. 1978. Izvlechenie Kornya v Groupe Kos (Russian). Seria Matematicheskaya, 42(5): 1120–1131.  [Google Scholar] fail in our case. We show that, under the assumption of a finiteness property of conjugacy, the problem is decidable.     

Sharp Bounds on the Number of Resonances for Conformally Compact Manifolds with Constant Negative Curvature Near Infinity

Abstract

The purpose of this article is to prove a sharp bound on the number of resonances for the Laplacian on conformally compact manifolds with constant negative curvature near infinity, thus improving the polynomial bound of Guillopé and Zworki (Guillopé, L., Zworski, M. ([1995b] Guillopé, L. and Zworski, M. 1995b. Upper bounds on the number of resonances for noncompact Riemann surfaces. J. Funct. Anal., 129: 364–389. [Crossref], [Web of Science ®] , [Google Scholar]). Polynomial bound on the number of resonances for some complete spaces of constant negative curvature near infinity. Asympt. Anal. 11:1–22).     

Lie Algops and Simple Lie Algebras

ABSTRACT

Pairs (A, L) with A a commutative algebra and L a Lie algebra acting on A by derivations, called Lie algops, are studied as algebraic structures over arbitrary fields of arbitrary characteristic. Lie algops possess modules and tensor products—and are considered with respect to a central simple theory.

The simplicity problem of determining the faithful unital simple Lie algops ( A, L ) is of interest since the corresponding Lie algebras AL are usually simple (Jordan, 2000 Jordan , D. A. ( 2000 ). On the simplicity of Lie algebras of derivations of commutative algebras . J. Algebra 228 : 580 – 585 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]). For locally finite Lie algops, and up to purely inseparable descent, this problem reduces by way of closures to the closed central simplicity problem of determining those which are closed central simple.

The simplicity and representation theories for locally nilpotent separably triangulable unital Lie algops are of particular interest because they relate to the problems of classifying simple Lie algebras of Witt type and their representations. Of these, the simplicity theory reduces to that of Jordan Lie algops.

The main Theorems 7.3 and 7.4 reduce the simplicity and representation theories for Jordan Lie algops to the simplicity and representation theories for simple nil and toral Lie algops.     

Local and Global Existence for an Aggregation Equation

The purpose of this work is to develop a satisfactory existence theory for a general class of aggregation equations. An aggregation equation is a non-linear, non-local partial differential equation that is a regularization of a backward diffusion process. The non-locality arises via convolution with a potential. Depending on how regular the potential is, we prove either local or global existence for the solutions. Aggregation equations have been used recently to model the dynamics of populations in which the individuals attract each other (Bodnar and Velazquez, 2005 Bodnar , M. , Velazquez , J. J. L. ( 2005 ). Derivation of macroscopic equations for individual cell-based models: a formal approach . Math. Methods Appl. Sci. 28 ( 15 ): 1757 – 1779 .[Crossref], [Web of Science ®] , [Google Scholar]; Holm and Putkaradze, 2005 Holm , D. D. , Putkaradze , V. ( 2005 ). Aggregation of finite size particles with variable mobility . Phys. Rev. Lett. 95 : 226106 . [Google Scholar]; Mogilner and Edelstein-Keshet, 1999 Mogilner , A. , Edelstein-Keshet , L. ( 1999 ). A non-local model for a swarm . J. Math. Biol. 38 ( 6 ): 534 – 570 .[Crossref], [Web of Science ®] , [Google Scholar]; Morale et al., 2005 Morale , D. , Capasso , V. , Oelschläger , K. ( 2005 ). An interacting particle system modelling aggregation behavior: from individuals to populations . J. Math. Biol. 50 ( 1 ): 49 – 66 .[Crossref], [PubMed], [Web of Science ®] , [Google Scholar]; Topaz and Bertozzi, 2004 Topaz , C. M. , Bertozzi , A. L. ( 2004 ). Swarming patterns in a two-dimensional kinematic model for biological groups . SIAM J. Appl. Math. 65 ( 1 ): 152 – 174 (electronic) .[Crossref], [Web of Science ®] , [Google Scholar]; Topaz et al., 2006 Topaz , C. M. , Bertozzi , A. L. , Lewis , M. A. ( 2006 ). A nonlocal continuum model for biological aggregation . Bull. Math. Biol. 68 ( 7 ): 1601 – 1623 .[Crossref], [PubMed], [Web of Science ®] , [Google Scholar]).     

Standard Koszul standardly stratified algebras

In this paper, we prove that every standard Koszul (not necessarily graded) standardly stratified algebra is also Koszul. This generalizes a similar result of [3 Ágoston, I., Dlab, V., Lukács, E. (2003). Quasi-hereditary extension algebras. Algebras Represent. Theory 6:97–117.[Crossref], [Web of Science ®] , [Google Scholar]] on quasi-hereditary algebras.