Left Self Distributively Generated Structural Matrix Rings

ABSTRACT

Let K denote a commutative ring with unity and A be a K-algebra. An element, d ∈ A is said to be left self distributive, or LSD, if dxy = dx dy for all x, y ∈ A. Let ?(A) be the set of LSD elements. Similarly, one can define the set of right self distributive, or RSD, elements and let ?(A) be the set of RSD elements. Let 𝒟(A) = ?(A) ∩ ?(A), the set of self distributive, or SD, elements. An algebra, A, is said to be left self distributively generated, or LSD-generated, if A =  mod _K (?(A)), the K-module generated by ?(A). Analogously, one defines RSD-generated and SD-generated algebras. If A =  mod _K (?(A)) =  mod _K (?(A)), then A is said to be LSD/RSD-generated, which is a strictly larger class than the class of SD-generated algebras. Examples are given to illustrate the variety of LSD-generated algebras.

This paper continues the study of LSD-generated, RSD-generated, LSD/RSD-generated and SD-generated algebras. This paper characterizes exactly which structural matrix rings are LSD-generated. The paper begins with an important lemma that characterizes LSD elements in a matrix ring in terms of the entries of the matrix. The main result characterizes those structural matrix rings that are LSD-generated, first in terms of a 2 × 2 generalized matrix ring, then strictly in terms of the shape of the matrix ring. Sharper results are obtained for LSD/RSD-generated and SD-generated structural matrix rings. The final section is devoted to an application of this result to endomorphism rings. If the endomorphism ring of a finitely generated module is a homomorphic image of a structural matrix ring, then the module is a direct sum of cyclic modules. Further conditions are given to describe when the structural matrix ring is LSD-generated, in terms of the annihilators of the generating set.     

Automorphisms of Free Left Nilpotent Leibniz Algebras and Fixed Points

ABSTRACT

Let F _m (N) be the free left nilpotent (of class two) Leibniz algebra of finite rank m, with m ≥ 2. We show that F _m (N) has non-tame automorphisms and, for m ≥ 3, the automorphism group of F _m (N) is generated by the tame automorphisms and one more non-tame IA-automorphism. Let F(N) be the free left nilpotent Leibniz algebra of rank greater than 1 and let G be an arbitrary non-trivial finite subgroup of the automorphism group of F(N). We prove that the fixed point subalgebra F(N) ^G is not finitely generated.     

Principal Weak Flatness and Regularity of Diagonal Acts

For a monoid S, the set S × S equipped with the componentwise right S-action is called the diagonal act of S and is denoted by D(S). A monoid S is a left PP (left PSF) monoid if every principal left ideal of S is projective (strongly flat). We shall call a monoid S left P(P) if all principal left ideals of S satisfy condition (P). We shall call a monoid S weakly left P(P) monoid if the equalities as = bs, xb = yb in S imply the existence of r ∈ S such that xar = yar, rs = s. In this article, we prove that a monoid S is left PSF if and only if S is (weakly) left P(P) and D(S) is principally weakly flat. We provide examples showing that the implications left PSF ? left P(P) ? weakly left P(P) are strict. Finally, we investigate regularity of diagonal acts D(S), and we prove that for a right PP monoid S the diagonal act D(S) is regular if and only if every finite product of regular acts is regular. Furthermore, we prove that for a full transformation monoid S = 𝒯 _X , D(S) is regular.     

On a Class of Subdirect Products of Left and Right Clifford Semigroups

Abstract

Regular semigroups S with the property eS ? Se or Se ? eS for all idempotents e ∈ S include all left and right Clifford semigroups. Characterizations of such semigroups are given and their structure investigated, in particular in terms of spined products of left and right Clifford semigroups with respect to Clifford semigroups.     

The Largest Left Quotient Ring of a Ring

The left quotient ring (i.e., the left classical ring of fractions) Q_cl(R) of a ring R does not always exist and still, in general, there is no good understanding of the reason why this happens. In this article, existence of the largest left quotient ring Q_l(R) of an arbitrary ring R is proved, i.e., Q_l(R) = S₀(R)^?1R where S₀(R) is the largest left regular denominator set of R. It is proved that Q_l(Q_l(R)) = Q_l(R); the ring Q_l(R) is semisimple iff Q_cl(R) exists and is semisimple; moreover, if the ring Q_l(R) is left Artinian, then Q_cl(R) exists and Q_l(R) = Q_cl(R). The group of units Q_l(R)* of Q_l(R) is equal to the set {s^?1t | s, t ∈ S₀(R)} and S₀(R) = R ∩ Q_l(R)*. If there exists a finitely generated flat left R-module which is not projective, then Q_l(R) is not a semisimple ring. We extend slightly Ore's method of localization to localizable left Ore sets, give a criterion of when a left Ore set is localizable, and prove that all left and right Ore sets of an arbitrary ring are localizable (not just denominator sets as in Ore's method of localization). Applications are given for certain classes of rings (semiprime Goldie rings, Noetherian commutative rings, the algebra of polynomial integro-differential operators).     

The Wedderburn Principal Theorem for Generalized Almost-Jordan Algebras

We study commutative algebras A over fields of characteristic ≠2, 3 which satisfy the identity β{x(y(xx)) ? x(x(xy))} + γ{y(x(xx)) ? x(x(xy))} = 0. We do not assume power-associativity. We find the Peirce decomposition of these algebras. We prove the existence of a Wedderburn decomposition under some additional conditions.     

Graded Left Symmetric Pseudo-algebras

In the present article, we introduce G-graded left symmetric H-pseudoalgebras, where G is a grading group, and H is a cocommutative Hopf algebra. Some results about associative H-pseudoalgebras in [23 Retakh , A. ( 2004 ). Unital associative pseudoalgebras and their representations . J. Algebra 227 : 769 – 805 .[Crossref] , [Google Scholar]] are generalized. The commutator algebras of the G-graded left symmetric H-pseudo-algebras are Lie H-pseudoalgebras, which are classified when the grading group is trivial in [3 Bakalov , B. , D'Andrea , A. , Kac , V. G. ( 2001 ). Theory of finite pseudoalgebras . Adv. in Math. 162 : 1 – 140 .[Crossref], [Web of Science ®] , [Google Scholar]]. We investigate the left symmetric structure of Lie H-pseudoalgebras W(𝔟), S(𝔟), and He defined in [3 Bakalov , B. , D'Andrea , A. , Kac , V. G. ( 2001 ). Theory of finite pseudoalgebras . Adv. in Math. 162 : 1 – 140 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Regular Action in Rings

Let R be a ring with identity, X(R) the set of all nonzero non-units of R and G(R) the group of all units of R. By considering left and right regular actions of G(R) on X(R), the following are investigated: (1) For a local ring R such that X(R) is a union of n distinct orbits under the left (or right) regular action of G(R) on X(R), if J ⁿ  ≠ 0 = J ⁿ⁺¹ where J is the Jacobson radical of R, then the set of all the distinct ideals of R is exactly {R, J, J ²,…, J ⁿ , 0}, and each orbit under the left regular action is equal to the one under the right regular action. (2) Such a ring R is left (and right) duo ring. (3) For the full matrix ring S of n × n matrices over a commutative ring R, the number of orbits under left regular action of G(S) on X(S) is equal to the number of orbits under right regular action of G(S) on X(S); the result also holds for the ring of n × n upper triangular matrices over R.     

Varieties of Algebras without the Amalgamation Property

Let α be an ordinal and κ be a cardinal, both infinite, such that κ ≤ |α|. For τ ∈^αα, let sup(τ) = {i ∈ α: τ(i) ≠ i}. Let G _κ = {τ ∈^αα: |sup(τ)| < κ}. We consider variants of polyadic equality algebras by taking cylindrifications on Γ ? α, |Γ| < κ and substitutions restricted to G _κ. Such algebras are also enriched with generalized diagonal elements. We show that for any variety V containing the class of representable algebas and satisfying a finite schema of equations, V fails to have the amalgamation property. In particular, many varieties of Halmos’ quasi-polyadic equality algebras and Lucas’ extended cylindric algebras (including that of the representable algebras) fail to have the amalgamation property.     

Commutative Finite-Dimensional Algebras Satisfying x(x(xy)) = 0 are Nilpotent

We investigate the structure of commutative non-associative algebras satisfying the identity x(x(xy)) = 0. Recently, Correa and Hentzel proved that every commutative algebra satisfying above identity over a field of characteristic ≠ 2 is solvable. We prove that every commutative finite-dimensional algebra 𝔄 over a field F of characteristic ≠ 2, 3 which satisfies the identity x(x(xy)) = 0 is nilpotent. Furthermore, we obtain new identities and properties for this class of algebras.     

On Engel Elements of a Group Relative to Certain Subgroup

An element g in a group G is called a left Engel element of G, if for each x ∈ G, there is a positive integer n = n(g, x) such that [x, _n g] = 1. In this article, we will study a generalization of the left Engel elements and its connections with the generalized Hirsch–Plotkin and Baer radical.     

On Composition series relative to a module

ABSTRACT

A commutative algebra with the identity (a * b) * (c * d) ? (a * d) * (c * b) = (a, b, c) * d ? (a, d, c) * b is called Novikov–Jordan. Example: K[x] under multiplication a * b = ?(ab) is Novikov–Jordan. A special identity for Novikov–Jordan algebras of degree 5 is constructed. Free Novikov–Jordan algebras with q generators are exceptional for any q ≥ 1.

     

On Cartan Invariants and Blocks of Zassenhaus Algebras #

In this article, we determine the Cartan invariants for Zassenhaus algebras W(1,n). This is done by reducing representations of generalized restricted Cartan type Lie algebra W(1,n) to representations of restricted Lie algebras W(1,1) and of ± b𝔰 ± b𝔩(2), and then extending Feldvoss-Nakano's argument on W(1,1) to the case W(1,n).     

Left Euclidean (2, 2)-Algebras

The concept of a commutative and zero-divisor-free Euclidean ring, defined via an Euclidean function, has been generalized to arbitrary left Euclidean rings and than to various other structures as semirings, nearrings and semi-near-rings. As first shown in the dissertation (Hebisch, 1984 Hebisch , U. ( 1984 ). (2, 2)-Algebren mit Euklidischen Algorithmen . Ph.D. thesis, TU Clausthal . [Google Scholar]), these different investigations can be combined considering arbitrary (2, 2)-algebras (S, +, ·), defined as left Euclidean in a suitable way. Here we present and investigate an improved version of this concept. Moreover, Motzkin (1949 Motzkin , T. ( 1949 ). The Euclidean algorithm . Amer. Math. Soc. 55 : 1142 – 1146 . [Google Scholar]) gave a criterion which characterizes a commutative and zero-divisor-free ring as Euclidean by certain chains of product ideals, without the use of Euclidean functions. In the central part of this paper we obtain a corresponding characterization and two further criterions, necessary and sufficient for an algebra (S, +, ·) to be left Euclidean. Based on this we prove several results on these algebras.     

Conjugacy Classes,Class Sums and Character Tables for Hopf Algebras

We extend the notion of conjugacy classes and class sums from finite groups to semisimple Hopf algebras and show that the conjugacy classes are obtained from the factorization of H as irreducible left D(H)-modules. For quasitriangular semisimple Hopf algebras H, we prove that the product of two class sums is an integral combination of the class sums up to d ^?2 where d = dim H. We show also that in this case the character table is obtained from the S-matrix associated to D(H). Finally, we calculate explicitly the generalized character table of D(kS ₃), which is not a character table for any group. It moreover provides an example of a product of two class sums which is not an integral combination of class sums.     

The Module Decomposition of Super-Symmetric Powers of Matrices

ABSTRACT

Let M be the k  ×  m matrices over ?. The GL ( k ) ×  GL ( m ) decompositions of the symmetric and of the exterior powers of M are described by two classical theorems. We describe a theorem for Lie superalgebras, which implies both of these classical theorems as special cases. The constructions of both the exterior and the symmetric algebras are generalized to a class of algebras defined by partitions. That superalgebra theorem is further generalized to these algebras.     

On Strongly Essential Submodules

The submodules with the property of the title (N ? M is strongly essential in M if ∏ _I N is essential in ∏ _I M for any index set I) are introduced and fully investigated.

It is shown that for each submodule N of M there exists a subset T ? M such that N + T is strongly essential submodule of M and (N:T) = Ann(T), T  ∩  N = 0. Basic properties of these objects and several examples are given and the counterparts of the related concepts to essential submodules are also introduced and studied. It is shown that each maximal left ideal of a left fully bounded ring is either a summand or strongly essential. Rings over which no module has a proper strongly essential submodule are characterized. It is also shown that the left Loewy rings are the only rings over which the essential submodules and strongly essential submodules of any left module coincide. Finally, a new characterization of left FBN rings is observed.     

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.     

A Construction Method for Albert Algebras over Algebraic Varieties

We construct cubic Jordan algebras over an integral proper scheme X such that 2, 3 ∈ H ⁰(X, 𝒪 _X ), generalizing a construction by B. N. Allison and J. R. Faulkner. In the process, we obtain admissible cubic algebras and pseudocomposition algebras over X. Results on the structure of these algebras are obtained, as well as examples over elliptic curves.     

Derivation Algebras and 2-Cocycles of the Algebras of q-Differential Operators

Abstract

In the paper, the deriviation algebras of the associative algebras of the one-variable (resp. multivariable) q-differential operators and of their corresponding Lie algebras are determined. The completeness of the derivation algebras of the algebras of q-differential operators is also discussed. Finally, we calculate H ²(𝒟 _q (n)^?, C) for n ≥ 1, as well as H ²(g l _n (𝒟 _q ), C) under the assumption that q is transcendental over the rational numbers field Q.