The socle of a nondegenerate Lie algebra

We define the socle of a nondegenerate Lie algebra as the sum of all its minimal inner ideals. The socle turns out to be an ideal which is a direct sum of simple ideals, and satisfies the descending chain condition on principal inner ideals. Every classical finite dimensional Lie algebra coincides with its socle, while relevant examples of infinite dimensional Lie algebras with nonzero socle are the simple finitary Lie algebras and the classical Banach Lie algebras of compact operators on an infinite dimensional Hilbert space. This notion of socle for Lie algebras is compatible with the previous ones for associative algebras and Jordan systems. We conclude with a structure theorem for simple nondegenerate Lie algebras containing abelian minimal inner ideals, and as a consequence we obtain that a simple Lie algebra over an algebraically closed field of characteristic 0 is finitary if and only if it is nondegenerate and contains a rank-one element.     

The graded structure of Leavitt path algebras

A Leavitt path algebra associates to a directed graph a ?-graded algebra and in its simplest form it recovers the Leavitt algebra L(1, k). In this note, we first study this ?-grading and characterize the (?-graded) structure of Leavitt path algebras, associated to finite acyclic graphs, C _n -comet, multi-headed graphs and a mixture of these graphs (i.e., polycephaly graphs). The last two types are examples of graphs whose Leavitt path algebras are strongly graded. We give a criterion when a Leavitt path algebra is strongly graded and in particular characterize unital Leavitt path algebras which are strongly graded completely, along the way obtaining classes of algebras which are group rings or crossed-products. In an attempt to generalize the grading, we introduce weighted Leavitt path algebras associated to directed weighted graphs which have natural ⊕?-grading and in their simplest form recover the Leavitt algebras L(n, k). We then show that the basic properties of Leavitt path algebras can be naturally carried over to weighted Leavitt path algebras.     

On the socle of a noncommutative Jordan algebra

In this paper we study some questions related to the socle of a nondegenerate noncommutative Jordan algebra. First we show that elements of finite rank belong to the socle, and that every element in the socle is von Neumann regular and has finite spectrum. Next we show that for Jordan Banach algebras the socle coincides with the maximal von Neumann regular ideal. For a nondegenerate noncommutative Jordan algebra, the annihilator of its socle can be regarded as a radical which is, generally, larger than Jacobson radical. Moreover, a nondegenerate noncommutative Jordan algebra whose socle has zero annihilator is isomorphic to a subdirect sum of primitive algebras having nonzero socle (which were described in [4]). Finally, these results are specialized to the particular case of an alternative algebra.The authors wish to thank the referee for his suggestions for improving the presentation of the paper.     

Finite-dimensional Leavitt path algebras

We classify the directed graphs E for which the Leavitt path algebra L(E) is finite dimensional. In our main results we provide two distinct classes of connected graphs from which, modulo the one-dimensional ideals, all finite-dimensional Leavitt path algebras arise.     

On the socle of an endomorphism algebra

The socle of an endomorphism algebra of a finite dimensional module of a finite dimensional algebra is described. The results are applied to the modular Hecke algebra of a finite group with a cyclic Sylow subgroup.     

The matrix type of purely infinite simple Leavitt path algebras

Let R denote the purely infinite simple unital Leavitt path algebra L(E). We completely determine the pairs of positive integers (c, d) for which there is an isomorphism of matrix rings M _c (R) ≌ M _d (R), in terms of the order of [1 _R ] in the Grothendieck group K ₀(R).     

Stable rank of Leavitt path algebras

We characterize the values of the stable rank for Leavitt path algebras by giving concrete criteria in terms of properties of the underlying graph.

     

Purely infinite simple Leavitt path algebras

We give necessary and sufficient conditions on a row-finite graph E so that the Leavitt path algebra L(E) is purely infinite simple. This result provides the algebraic analog to the corresponding result for the Cuntz-Krieger C^∗-algebra C^∗(E) given in [T. Bates, D. Pask, I. Raeburn, W. Szymański, The C^∗-algebras of row-finite graphs, New York J. Math. 6 (2000) 307-324].     

Leavitt path algebras with coefficients in a commutative ring

Given a directed graph E we describe a method for constructing a Leavitt path algebra L_R(E) whose coefficients are in a commutative unital ring R. We prove versions of the Graded Uniqueness Theorem and Cuntz-Krieger Uniqueness Theorem for these Leavitt path algebras, giving proofs that both generalize and simplify the classical results for Leavitt path algebras over fields. We also analyze the ideal structure of L_R(E), and we prove that if K is a field, then L_K(E)≅K⊗_ZL_Z(E).     

*-Regular Leavitt path algebras of arbitrary graphs

If K is a field with involution and E an arbitrary graph, the involution from K naturally induces an involution of the Leavitt path algebra L _K (E). We show that the involution on L _K (E) is proper if the involution on K is positive-definite, even in the case when the graph E is not necessarily finite or row-finite. It has been shown that the Leavitt path algebra L _K (E) is regular if and only if E is acyclic. We give necessary and sufficient conditions for L _K (E) to be *-regular (i.e., regular with proper involution). This characterization of *-regularity of a Leavitt path algebra is given in terms of an algebraic property of K, not just a graph-theoretic property of E. This differs from the known characterizations of various other algebraic properties of a Leavitt path algebra in terms of graphtheoretic properties of E alone. As a corollary, we show that Handelman’s conjecture (stating that every *-regular ring is unit-regular) holds for Leavitt path algebras. Moreover, its generalized version for rings with local units also continues to hold for Leavitt path algebras over arbitrary graphs.     

A groupoid generalisation of Leavitt path algebras

Let \(G\) be a locally compact, Hausdorff, étale groupoid whose unit space is totally disconnected. We show that the collection \(A(G)\) of locally-constant, compactly supported complex-valued functions on \(G\) is a dense \(*\) -subalgebra of \(C_c(G)\) and that it is universal for algebraic representations of the collection of compact open bisections of \(G\) . We also show that if \(G\) is the groupoid associated to a row-finite graph or \(k\) -graph with no sources, then \(A(G)\) is isomorphic to the associated Leavitt path algebra or Kumjian–Pask algebra. We prove versions of the Cuntz–Krieger and graded uniqueness theorems for \(A(G)\) .     

The structure of Leavitt path algebras and the Invariant Basis Number property

In this paper, we provide the structure of the Leavitt path algebra of a finite graph via some step-by-step process of source eliminations, and restate Kanuni and Özaydin's nice criterion for Leavitt path algebras of finite graphs having Invariant Basis Number via matrix-theoretic language. Consequently, we give a matrix-theoretic criterion for the Leavitt path algebra of a finite graph having Invariant Basis Number in terms of a sequence of source eliminations. Using these results, we show certain classes of finite graphs for which Leavitt path algebras have Invariant Basis Number, as well as investigate the Invariant Basis Number property of Leavitt path algebras of certain Cayley graphs of finite groups.     

Modules that have a finite t semicritical socle series

When the t-semicritical socle series of a module is finite, where t is a hereditary orsion theory, one obtains information about the structure of the endomorphism ring of the module. The intent in this paper is to determine when a module has a finite t‐semicritical socle series     

The differential Hilbert series of a local algebra

The differential Hilbert series of a commutative local algebra R/R₀ which is essentially of finite type is the generating function of the numerical function which associates with each n ? Bbb N nin Bbb N the minimal number of generators of the algebra Pⁿ_R/R0P^n_{R/R_0} of principal parts of order n, considered as an R-module. It can be expressed as a rational function over the integers. We wish to compute this rational function in terms of other invariants of the local algebra or at least give estimates of it. We obtain formulas which generalize wellknown facts about the minimal number of generators of the module of Kähler differentials.     

The graded Grothendieck group and the classification of Leavitt path algebras

This paper is an attempt to show that, parallel to Elliott’s classification of AF C*-algebras by means of K-theory, the graded K ₀-group classifies Leavitt path algebras completely. In this direction, we prove this claim at two extremes, namely, for the class of acyclic graphs (graphs with no cycles) and multi-headed comets or rose graphs (graphs in which each head is connected to a cycle or to a collection of loops), or a mixture of these graphs (i.e., polycephaly graphs).     

Simpleness of Leavitt path algebras with coefficients in a commutative semiring

In this paper, we study ideal- and congruence-simpleness for the Leavitt path algebras of directed graphs with coefficients in a commutative semiring S, establishing some fundamental properties of those algebras. We provide a complete characterization of ideal-simple Leavitt path algebras with coefficients in a commutative semiring S, extending the well-known characterizations when S is a field or a commutative ring. We also present a complete characterization of congruence-simple Leavitt path algebras over row-finite graphs with coefficients in a commutative semiring S.