Derivations,automorphisms, and representations of complex ω-Lie algebras

Let (𝔤,ω) be a finite-dimensional non-Lie complex ω-Lie algebra. We study the derivation algebra Der(𝔤) and the automorphism group Aut(𝔤) of (𝔤,ω). We introduce the notions of ω-derivations and ω-automorphisms of (𝔤,ω) which naturally preserve the bilinear form ω. We show that the set Der_ω(𝔤) of all ω-derivations is a Lie subalgebra of Der(𝔤) and the set Aut_ω(𝔤) of all ω-automorphisms is a subgroup of Aut(𝔤). For any three-dimensional and four-dimensional nontrivial ω-Lie algebra 𝔤, we compute Der(𝔤) and Aut(𝔤) explicitly, and study some Lie group properties of Aut(𝔤). We also study representation theory of ω-Lie algebras. We show that all three-dimensional nontrivial ω-Lie algebras are multiplicative, as well as we provide a four-dimensional example of ω-Lie algebra that is not multiplicative. Finally, we show that any irreducible representation of the simple ω-Lie algebra C_α(α≠0,?1) is one-dimensional.     

A Lower Bound on the Second Fiber Coefficient of the Fiber Cones

Let (R, 𝔪) be a Cohen–Macaulay local ring of dimension d > 0, I an 𝔪-primary ideal of R and K an ideal containing I. When depth G(I) ≥ d ? 1 and r(I | K) < ∞, we present a lower bound on the second fiber coefficient of the fiber cones, and also provide a characterization, in terms of f ₂(I, K), of the condition depth F _K (I) ≥ d ? 1.     

Fiber Coefficients and Depth of Fiber Cones

Let (R, 𝔪) be a Cohen–Macaulay local ring of dimension d > 0, I an 𝔪-primary ideal of R, and K an ideal containing I. When r(I | K)<∞, we give a lower bound and an upper bound for f ₁(I). Under the above assumption on r(I | K) and depth G(I) ≥ d ? 1, we also provide a characterization, in terms of f ₁(I), of the condition depth F _K (I) ≥ d ? 1.     

The Yoneda Algebra of a Graded Ore Extension

Let A be a connected-graded algebra with trivial module 𝕜, and let B be a graded Ore extension of A. We relate the structure of the Yoneda algebra E(A): = Ext _A (𝕜, 𝕜) to E(B). Cassidy and Shelton have shown that when A satisfies their 𝒦₂ property, B will also be 𝒦₂. We prove the converse of this result.     

Nonlinear Strong Commutativity Preserving Maps on Prime Rings

Let 𝒜 be a unital prime ring containing a nontrivial idempotent P. Assume that Φ: 𝒜 → 𝒜 is a nonlinear surjective map. It is shown that Φ preserves strong commutativity if and only if Φ has the form Φ(A) = αA + f(A) for all A ∈ 𝒜, where α ∈ {1, ?1} and f is a map from 𝒜 into 𝒵(𝒜). As an application, a characterization of nonlinear surjective strong commutativity preserving maps on factor von Neumann algebras is obtained.     

Primes and Right Ideals in Right Cones

A right cone H in a group G is a submonoid of G that generates G and aH ? bH for a, b ? H implies bH ? aH. With any right ideal I ≠ H of H a completely prime ideal P _r (I) of H is associated and the set 𝒫(I) of right ideals I′ of H with the same associated prime ideal P′ =P _r (I) is determined if P′·? P″ is a right invariant segment in H. The set 𝒫(I) is also described if P _r (I) is a limit prime.     

Constructing New Braided T-Categories Over Regular Multiplier Hopf Algebras

Let A be a regular multiplier Hopf algebra, and let Aut(A) denote the set of all isomorphisms α from A to itself that are algebra maps satisfying (Δ ○ α)(a) = (α ? α) ○ Δ(a) for all a ∈ A. Let G be a certain crossed product group Aut(A) × Aut(A). The main purpose of this article is to provide a class of new braided T-categories in the sense of Turaev [\citealp9]. For this, we introduce a class of new categories _A 𝒴𝒟 ^A (α, β) of (α, β)-Yetter–Drinfel'd modules with α, β ∈Aut(A), and we show that the category ?𝒴𝒟(A) = { _A 𝒴𝒟 ^A (α, β)}_{(α, β)∈G} becomes a braided T-category over G, generalizing the main constructions by Panaite and Staic [6 Panaite , F. , Staic , M. D. ( 2007 ). Generalized (anti) Yetter–Drinfel'd modules as components of a braided T-category . Israel J. Math. 158 : 349 – 365 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Automorphism Groups of Restricted Cartan-Type Lie Superalgebras

Let X denote the restricted Lie superalgebras of Cartan type W, S, H, or K over a field of characteristic p > 3, and 𝔄 the corresponding underlying superalgebra of X. Employing the invariance of the filtration of X we construct an isomorphism of Aut X to Aut(𝔄:X), the admissible automorphism group of the associative super-commutative superalgebra 𝔄. Moreover, it is proved that the group isomorphism above maps the standard normal series of Aut X to the one of Aut(𝔄:X), and also maps the homogeneous automorphism group of X to the admissible homogeneous automorphism group of 𝔄.     

S-Noetherian Rings of the Forms 𝒜[X] and 𝒜[[X]]

Let 𝒜 = (A _n ) _n≥0 be an ascending chain of commutative rings with identity, S ? A ₀ a multiplicative set of A ₀, and let 𝒜[X] (respectively, 𝒜[[X]]) be the ring of polynomials (respectively, power series) with coefficient of degree i in A _i for each i ∈ ?. In this paper, we give necessary and sufficient conditions for the rings 𝒜[X] and 𝒜[[X]] to be S ? Noetherian.     

A Characterization of Admissible Algebras with Formal Two-Ray Modules

Let 𝒜 = (A ₁, A ₁₂, A ₂) be a locally D ₈ amalgam with a finite completion G. Suppose that A ₁ ∈ Syl ₂(G) and N _{A 1} (A ₁₂) is Abelian. We determine G/O(G).     

Orthogonal Groups 𝒪(n) over GF(2) as Automorphisms

Let (V, Q) be a quadratic vector space over a fixed field. Orthogonal group 𝒪(V, Q) is defined as automorphisms on (V, Q). If Q = I, it is 𝒪(V, I) = 𝒪(n). There is a nice result that 𝒪(n) ? Aut(𝔬(n)) over ? or ?, where 𝔬(n) is the Lie algebra of n × n alternating matrices over the field. How about another field The answer is “Yes” if it is GF(2). We show it explicitly with the combinatorial basis ?. This is a verification of Steinberg's main result in 1961, that is, Aut(𝔬(n)) is simple over the square field, with a nonsimple exception Aut(𝔬(5)) ? 𝒪(5) ? 𝔖₆.     

The obstruction to excision in K-theory and in cyclic homology

Let f:A→B be a ring homomorphism of not necessarily unital rings and an ideal which is mapped by f isomorphically to an ideal of B. The obstruction to excision in K-theory is the failure of the map between relative K-groups K_*(A:I)→K_*(B:f(I)) to be an isomorphism; it is measured by the birelative groups K_*(A,B:I). Similarly the groups HN_*(A,B:I) measure the obstruction to excision in negative cyclic homology. We show that the rational Jones-Goodwillie Chern character induces an isomorphism

On the Denominator of the Poincaré Series for Monomial Quotient Rings

Let S = 𝕜 [x ₁,…, x _n ] be a polynomial ring over a field 𝕜 and I a monomial ideal of S. It is well known that the Poincaré series of 𝕜 over S/I is rational. We describe the coefficients of the denominator of the series and study the multigraded homotopy Lie algebra of S/I.     

On the Equations De.ning Curves in a Polynomial Algebra

Let A be a commutative Noetherian ring of dimension n (n ≥ 3). Let I be a local complete intersection ideal in A[T] of height n. Suppose I/I ² is free A[T]/I-module of rank n and (A[T]/I) is torsion in K ₀(A[T]). It is proved in this article that I is a set theoretic complete intersection ideal in A[T] if one of the following conditions holds: (1) n ≥ 5, odd; (2) n is even, and A contains the field of rational numbers; (3) n = 3, and A contains the field of rational numbers.     

On the action of derivations on nilpotent ideals of associative algebras

Let I be a nilpotent ideal of an associative algebra A over a field F and let D be a derivation of A. We prove that the ideal I + D(I) is nilpotent if char F = 0 or the nilpotency index I is less than char F = p in the case of the positive characteristic of the field F. In particular, the sum N(A) of all nilpotent ideals of the algebra A is a characteristic ideal if char F = 0 or N(A) is a nilpotent ideal of index < p = char F.     

On Galois Comodules

Generalizing the notion of Galois corings, Galois comodules were introduced as comodules P over an A-coring 𝒞 for which P _A is finitely generated and projective and the evaluation map μ𝒞:Hom ^𝒞 (P, 𝒞) ?  _S P → 𝒞 is an isomorphism (of corings) where S = End ^𝒞 (P). It has been observed that for such comodules the functors ? ?  _A 𝒞 and Hom _A (P, ?) ?  _S P from the category of right A-modules to the category of right 𝒞-comodules are isomorphic. In this note we use this isomorphism related to a comodule P to define Galois comodules without requiring P _A to be finitely generated and projective. This generalises the old notion with this name but we show that essential properties and relationships are maintained. Galois comodules are close to being generators and have common properties with tilting (co)modules. Some of our results also apply to generalised Hopf Galois (coalgebra Galois) extensions.     

Blow-up rings and rational singularities

Let A be a normal local ring which is essentially finite type over a field of characteristic zero. Let I⊂A be an ideal such that the Rees algebra R _A (I) is Cohen–Macaulay and normal. In this paper we address the question: “When does R _A (I) have rational singularities?” In particular, we study the connection between rational singularities of R _A (I) and the adjoint ideals of the powers I ⁿ (n∋ℕ). Received: 25 May 1998 / Revised version: 20 August 1998     

Simple-Baer Rings and Minannihilator Modules

Let R be a ring. M is said to be a minannihilator left R-module if r _M l _R (I) = IM for any simple right ideal I of R. A right R-module N is called simple-flat if Nl _R (I) = l _N (I) for any simple right ideal I of R. R is said to be a left simple-Baer (resp., left simple-coherent) ring if the left annihilator of every simple right ideal is a direct summand of _R R (resp., finitely generated). We first obtain some properties of minannihilator and simple-flat modules. Then we characterize simple-coherent rings, simple-Baer rings, and universally mininjective rings using minannihilator and simple-flat modules.