A Decomposition Theorem for CK1 of Central Simple Algebras

Let A be a central simple algebra over its center F. Define CK₁ A = Coker(K₁ F → K₁ A). We prove that if A and B are F-central simple algebras of coprime degrees, then CK₁(A? _F B) = CK₁ A × CK₁ B.     

Cyclic Homology of Hopf Comodule Algebras and Hopf Module Coalgebras

Abstract

In this paper we construct a cylindrical module A ? ? for an ?-comodule algebra A, where the antipode of the Hopf algebra ? is bijective. We show that the cyclic module associated to the diagonal of A ? ? is isomorphic with the cyclic module of the crossed product algebra A ? ?. This enables us to derive a spectral sequence for the cyclic homology of the crossed product algebra. We also construct a cocylindrical module for Hopf module coalgebras and establish a similar spectral sequence to compute the cyclic cohomology of crossed product coalgebras.     

On Galois Algebras Satisfying the Fundamental Theorem

Let B be a Galois algebra over a commutative ring R with Galois group G such that B ^H is a separable subalgebra of B for each subgroup H of G. Then it is shown that B satisfies the fundamental theorem if and only if B is one of the following three types: (1) B is an indecomposable commutative Galois algebra, (2) B = Re ⊕ R(1 ? e) where e and 1 ? e are minimal central idempotents in B, and (3) B is an indecomposable Galois algebra such that for each separable subalgebra A, V _B (A) = ?∑ _g∈G(A) J _g , and the centers of A and B ^G(A) are the same where V _B (A) is the commutator subring of A in B, J _g  = {b ∈ B | bx = g(x)b for each x ∈ B} for a g ∈ G, and G(A) = {g ∈ G | g(a) = a for all a ∈ A}.     

Lie Triple Derivable Mappings on Rings

Let ? be a ring containing a nontrivial idempotent. In this article, under a mild condition on ?, we prove that if δ is a Lie triple derivable mapping from ? into ?, then there exists a Z _{A, B} (depending on A and B) in its centre 𝒵(?) such that δ(A + B) = δ(A) + δ(B) + Z _{A, B} . In particular, let ? be a prime ring of characteristic not 2 containing a nontrivial idempotent. It is shown that, under some mild conditions on ?, if δ is a Lie triple derivable mapping from ? into ?, then δ = D + τ, where D is an additive derivation from ? into its central closure T and τ is a mapping from ? into its extended centroid 𝒞 such that τ(A + B) = τ(A) + τ(B) + Z _{A, B} and τ([[A, B], C]) = 0 for all A, B, C ∈ ?.     

Ternary Derivations of Generalized Cayley–Dickson Algebras

Abstract

Ternary derivations, ternary Cayley derivations and ternary automorphisms are computed over fields of characteristic ≠ 2, 3 for the algebras A _t obtained by the Cayley–Dickson duplication process. While the derivation algebra of A _t stops growing after t = 3, the ternary derivation algebra significantly decreases in the step from the octonions A ₃ to the sedenions A ₄, revealing the symmetry lost on that stage.     

Quotients of Incidence Algebras and the Euler Characteristic

In this note, we show that, if A ? kQ _A /I _A is a schurian strongly simply connected algebra given by its normed presentation, and Σ is the unique poset whose Hasse quiver coincides with Q _A , then A ? kΣ if and only if I _A has a generating set consisting of exactly χ(Q _A ) elements, where χ(Q _A ) is the Euler characteristic of Q _A . We also prove that a quotient of an incidence algebra A = kΣ/J is strongly simply connected if and only if A is simply connected and kΣ is strongly simply connected.     

Derivation Simple Color Algebras and Semisimple Lie Color Algebras

Let K be an algebraically closed field of arbitrary characteristic and Γ an abelian multiplicative group equipped with a bicharacter ε: Γ × Γ → K*. It is proved that, for any finite-dimensional derivation simple color algebra A over K, there exists a simple color algebra S and a color vector space V such that A? S? S^ε(V), where S^ε(V) is the ε-symmetric algebra of V. As an application of this result, a necessary and sufficient condition such that a Lie color algebra is semisimple is obtained.     

A Note on K-Theory of Azumaya Algebras

For an Azumaya algebra A which is free over its centre R, we prove that K-theory of A is isomorphic to K-theory of R up to its rank torsions. We conclude that K _i (A, ?/m) = K _i (R, ?/m) for any m relatively prime to the rank and i ≥ 0. This covers, for example, K-theory of division algebras, K-theory of Azumaya algebras over semilocal rings, and K-theory of graded central simple algebras indexed by a totally ordered abelian group.     

Down-Up Algebras From Trees

It is shown that the global dimension of any n-ary down-up algebra A _n  = A(n,α, β,γ) is less than or equal to n + 2, and when γ _i  = 0 for all i (A _n is graded by total degree in the generators), then the global dimension of A _n is n + 2. Furthermore, a sufficient condition for A _n to be prime is given; when γ _i  = 0 for all i this condition is also necessary. An example is given to show that the condition is not always necessary.     

The Simple Connectedness of a Tame Weakly Shod Algebra

Abstract

We prove that a tame weakly shod algebra A which is not quasi-tilted is simply connected if and only if the orbit graph of its pip-bounded component is a tree, or if and only if its first Hochschild cohomology group H¹(A) with coefficients in _A A _A vanishes. We also show that it is strongly simply connected if and only if the orbit graph of each of its directed components is a tree, or if and only if H¹(A) = 0 and it contains no full convex subcategory which is hereditary of type 𝔸?, or if and only if it is separated and contains no full convex subcategory which is hereditary of type 𝔸?.     

Tree Oriented Pullback

Given two epimorphisms of algebras A ? B and C ? B, we consider the pullback R. We introduce a particular class of algebras, the tree oriented pullback, where there is a close relationship between the category of indecomposable modules of these algebras. This leads us to prove that if A and C are hereditary algebras, then R is a tilted algebra.     

Complements to the Almost Complete Tilting A (m)-Modules

Let A be a finite dimensional hereditary algebra over an algebraically closed field and A ^(m) be the mth replicated algebra of A. We prove that if T is a faithful almost complete tilting A ^(m)-module with pd _{A ^(m)} T ≤ m, then T has exactly m + 1 indecomposable nonisomorphic complements with projective dimensions at most m. Moreover, we give an explicit distribution of the complements to T.     

Compact Exceptional Simple Kantor Triple Systems Defined on Tensor Products of Composition Algebras∗

In this article we give the classification of compact exceptional simple Kantor triple systems defined on tensor products of composition algebras A =  ₁?  ₂ such that their Kantor algebras ?(φ, A) are real forms of exceptional simple Lie algebras.     

Solvability of universal bol 2-loops

ABSTRACT

Let (A, ^?) be a structurable algebra. Then the opposite algebra (A ^op , ^?) is structurable, and we show that the triple system B ^op _A(x, y, z):=V^opx,y(z)=x(y¯z)+z(y¯x)?y(x¯z), x, y, z ∈ A, is a Kantor triple system (or generalized Jordan triple system of the second order) satisfying the condition (A). Furthermore, if A=𝔸₁?𝔸₂ denotes tensor products of composition algebras, (^?) is the standard conjugation, and (^∧) denotes a certain pseudoconjugation on A, we show that the triple systems B ^op _𝔸1?𝔸2 ( x , y¯^∧, z) are models of compact Kantor triple systems. Moreover these triple systems are simple if (dim𝔸₁, dim𝔸₂) ≠ (2, 2). In addition, we obtain an explicit formula for the canonical trace form for compact Kantor triple systems defined on tensor products of composition algebras.     

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.     

Co-Point Modules Over Frobenius Koszul Algebras

Let A be a Frobenius Koszul algebra such that its Koszul dual A ^! is a quantum polynomial algebra. Co-point modules over A were defined as dual notion of point modules over A ^! with respect to the Koszul duality. In this article, we will see that various important functors between module categories over A used in representation theory of finite dimensional algebras send co-point modules to co-point modules. As a consequence, we will show that if (E, σ) is a geometric pair associated to A ^!, then the map σ:E → E is an automorphism of the point scheme E of A ^!, so that there is a bijection between isomorphism classes of left point modules over A ^! and those of right point modules over A ^!.     

More on the Hochschild and Cyclic Homologies of Crossed Modules of Algebras

We investigate the Hochschild and cyclic homologies of crossed modules of algebras in some special cases. We prove that the cotriple cyclic homology of a crossed module of algebras (I, A, ρ) is isomorphic to HC _*(ρ): HC _*(I) → HC _*(A), provided I is H-unital and the ground ring is a field with characteristic zero. We also calculate the Hochschild and cyclic homologies of a crossed module of algebras (R, 0, 0) for each algebra R with trivial multiplication. At the end, we give some applications proving a new five term exact sequence.