Source author record

Lia Vas

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RA math.OA

Catalog footprint

Research overview

14works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Crossed product Leavitt path algebras

If $E$ is a directed graph and $K$ is a field, the Leavitt path algebra $L_K(E)$ of $E$ over $K$ is naturally graded by the group of integers $\mathbb Z.$ We formulate properties of the graph $E$ which are equivalent with $L_K(E)$ being a crossed product, a skew group ring, or a group ring with respect to this natural grading. We state this main result so that the algebra properties of $L_K(E)$ are also characterized in terms of the pre-ordered group properties of the Grothendieck $\mathbb Z$ -group of $L_K(E)$ . If $E$ has finitely many vertices, we characterize when $L_K(E)$ is strongly graded in terms of the properties of $K_0^Γ(L_K(E)).$ Our proof also provides an alternative to the known proof of the equivalence $L_K(E)$ is strongly graded if and only if $E$ has no sinks for a finite graph $E.$ We also show that, if unital, the algebra $L_K(E)$ is strongly graded and graded unit-regular if and only if $L_K(E)$ is a crossed product. In the process of showing the main result, we obtain conditions on a group $Γ$ and a $Γ$ -graded division ring $K$ equivalent with the requirements that a $Γ$ -graded matrix ring $R$ over $K$ is strongly graded, a crossed product, a skew group ring, or a group ring. We characterize these properties also in terms of the action of the group $Γ$ on the Grothendieck $Γ$ -group $K_0^Γ(R).$

preprint2018arXiv

K-theory Classification of Graded Ultramatricial Algebras with Involution

We consider a generalization $K_0^{\operatorname{gr}}(R)$ of the standard Grothendieck group $K_0(R)$ of a graded ring $R$ with involution. If $Γ$ is an abelian group, we show that $K_0^{\operatorname{gr}}$ completely classifies graded ultramatricial $*$ -algebras over a $Γ$ -graded $*$ -field $A$ such that (1) each nontrivial graded component of $A$ has a unitary element in which case we say that $A$ has enough unitaries, and (2) the zero-component $A_0$ is 2-proper (for any $a,b\in A_0,$ $aa^*+bb^*=0$ implies $a=b=0$ ) and $*$ -pythagorean (for any $a,b\in A_0,$ $aa^*+bb^*=cc^*$ for some $c\in A_0$ ). If the involutive structure is not considered, our result implies that $K_0^{\operatorname{gr}}$ completely classifies graded ultramatricial algebras over any graded field $A.$ If the grading is trivial and the involutive structure is not considered, we obtain some well known results as corollaries. If $R$ and $S$ are graded matricial $*$ -algebras over a $Γ$ -graded $*$ -field $A$ with enough unitaries and $f: K_0^{\operatorname{gr}}(R)\to K_0^{\operatorname{gr}}(S)$ is a contractive $\mathbb Z[Γ]$ -module homomorphism, we present a specific formula for a graded $*$ -homomorphism $ϕ: R\to S$ with $K_0^{\operatorname{gr}}(ϕ) = f.$ If the grading is trivial and the involutive structure is not considered, our constructive proof implies the known results with existential proofs. As an application of our results, we show that the graded version of the Isomorphism Conjecture holds for a class of Leavitt path algebras: if $E$ and $F$ are countable, row-finite, no-exit graphs in which every path ends in a sink or a cycle and $K$ is a 2-proper and $*$ -pythagorean field, then the Leavitt path algebras $L_K(E)$ and $L_K(F)$ are isomorphic as graded rings if any only if they are isomorphic as graded $*$ -algebras.

preprint2017arXiv

Graded chain conditions and Leavitt path algebras of no-exit graphs

We obtain a complete structural characterization of Cohn-Leavitt algebras over no-exit objects as graded involutive algebras. Corollaries of this result include graph-theoretic conditions characterizing when a Leavitt path algebra is a directed union of (graded) matricial algebras over the underlying field and over the algebra of Laurent polynomials and when the monoid of isomorphism classes of finitely generated projective modules is atomic and cancellative. We introduce the non-unital generalizations of graded analogues of noetherian and artinian rings, graded locally noetherian and graded locally artinian rings, and characterize graded locally noetherian and graded locally artinian Leavitt path algebras without any restriction on the cardinality of the graph. As a consequence, we relax the assumptions of the Abrams-Aranda-Perera-Siles characterization of locally noetherian and locally artinian Leavitt path algebras.

preprint2015arXiv

Traces on Semigroup Rings and Leavitt Path Algebras

The trace on matrix rings, along with the augmentation map and Kaplansky trace on group rings, are some of the many examples of linear functions on algebras that vanish on all commutators. We generalize and unify these examples by studying traces on (contracted) semigroup rings over commutative rings. We show that every such ring admits a minimal trace (i.e., one that vanishes only on sums of commutators), classify all minimal traces on these rings, and give applications to various classes of semigroup rings and quotients thereof. We then study traces on Leavitt path algebras (which are quotients of contracted semigroup rings), where we describe all linear traces in terms of central maps on graph inverse semigroups and, under mild assumptions, those Leavitt path algebras that admit faithful traces.

preprint2013arXiv

*-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 $^\ast$ -regular (i.e. regular with proper involution). This characterization of $^\ast$ -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 graph-theoretic properties of $E$ alone. As a corollary, we show that Handelman's conjecture (stating that every $^\ast$ -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.

preprint2013arXiv

Classes of almost clean rings

A ring is clean (almost clean) if each of its elements is the sum of a unit (regular element) and an idempotent. A module is clean (almost clean) if its endomorphism ring is clean (almost clean). We show that every quasi-continuous and nonsingular module is almost clean and that every right CS and right nonsingular ring is almost clean. As a corollary, all right strongly semihereditary rings, including finite $AW^*$ -algebras and noetherian Leavitt path algebras in particular, are almost clean. We say that a ring $R$ is special clean (special almost clean) if each element $a$ can be decomposed as the sum of a unit (regular element) $u$ and an idempotent $e$ with $aR\cap eR=0.$ The Camillo-Khurana Theorem characterizes unit-regular rings as special clean rings. We prove an analogous theorem for abelian Rickart rings: an abelian ring is Rickart if and only if it is special almost clean. As a corollary, we show that a right quasi-continuous and right nonsingular ring is left and right Rickart. If a special (almost) clean decomposition is unique, we say that the ring is uniquely special (almost) clean. We show that (1) an abelian ring is unit-regular (equiv. special clean) if and only if it is uniquely special clean, and that (2) an abelian and right quasi-continuous ring is Rickart (equiv. special almost clean) if and only if it is uniquely special almost clean. Finally, we adapt some of our results to rings with involution: a *-ring is *-clean (almost *-clean) if each of its elements is the sum of a unit (regular element) and a projection (self-adjoint idempotent). A special (almost) *-clean ring is similarly defined by replacing ``idempotent'' with ``projection'' in the appropriate definition. We show that an abelian *-ring is a Rickart *-ring if and only if it is special almost *-clean, and that an abelian *-ring is *-regular if and only if it is special *-clean.

preprint2013arXiv

Noetherian Leavitt path algebras and their regular algebras

In the past, it has been shown that the Leavitt path algebra $L(E)=L_K(E)$ of a graph $E$ over a field $K$ is left and right noetherian if and only if the graph $E$ is finite and no cycle of $E$ has an exit. If $Q(E)=Q_K(E)$ denotes the regular algebra over $L(E),$ we prove that these conditions are further equivalent with any of the following: $L(E)$ contains no infinite set of orthogonal idempotents, $L(E)$ has finite uniform dimension, $L(E)$ is directly finite, $Q(E)$ is directly finite, $Q(E)$ is unit-regular, and a few more equivalences. In addition, if the involution on $K$ is positive definite, these conditions are equivalent with the following: the involution $^\ast$ extends from $L(E)$ to $Q(E),$ $Q(E)$ is $^\ast$ -regular, $Q(E)$ is finite, $Q(E)$ is the maximal (total or classical) symmetric ring of quotients of $L(E),$ every finitely generated nonsingular $L(E)$ -module is projective, and the matrix ring $M_n(L(E))$ is strongly Baer for every $n$ . It may not be surprising that a noetherian Leavitt path algebra has these properties, but a more interesting fact is that these properties hold only if a Leavitt path algebra is noetherian. Using some of these equivalences, we give a specific description of the inverse of the isomorphism $V(L(E))\rightarrow V(Q(E))$ of monoids of equivalence classes of finitely generated projective modules for noetherian Leavitt path algebras. We also prove that two noetherian Leavitt path algebras are isomorphic as rings if and only if they are isomorphic as $^\ast$ -algebras. This answers in affirmative the Isomorphism Conjecture for the class of noetherian Leavitt path algebras: if $L_{\mathbb C}(E)$ and $L_{\mathbb C}(F)$ are noetherian Leavitt path algebras, then $L_{\mathbb C}(E)\cong L_{\mathbb C}(F)$ as rings implies $C^*(E)\cong C^*(F)$ as $^\ast$ -algebras.

preprint2013arXiv

Strongly semihereditary rings and rings with dimension

The existence of a well-behaved dimension of a finite von Neumann algebra (see [19]) has lead to the study of such a dimension of finite Baer *-rings (see [26]) that satisfy certain *-ring axioms (used in [9]). This dimension is closely related to the equivalence relation $\sim^{*}$ on projections defined by $p\sim^{*} q$ iff $p=xx^*$ and $q=x^*x$ for some $x.$ However, the equivalence $\sim^{a}$ on projections (or, in general, idempotents) defined by $p\sim^{a} q$ iff $p=xy$ and $q=yx$ for some $x$ and $y,$ can also be relevant. There were attempts to unify the two approaches (see [10]). In this work, our agenda is three-fold: (1) We study assumptions on a ring with involution that guarantee the existence of a well-behaved dimension defined for any general equivalence relation on projections $\sim.$ (2) By interpreting $\sim$ as $\sim^{a},$ we prove the existence of a well-behaved dimension of strongly semihereditary rings with a positive definite involution. This class is wider than the class of finite Baer *-rings with dimension considered in the past: it includes some non Rickart *-rings. Moreover, none of the *-ring axioms from [9] and [26] are assumed. (3) As the first corollary of (2), we obtain dimension of noetherian Leavitt path algebras over positive definite fields. Secondly, we obtain dimension of a Baer *-ring $R$ satisfying the first seven axioms from [26] (in particular, dimension of finite $AW^*$ -algebras). Assuming the eight axiom as well, $R$ has dimension for $\sim^{*}$ also and the two dimensions coincide.

preprint2011arXiv

-Clean Rings; Some Clean and Almost Clean Baer -rings and von Neumann Algebras

A ring is clean (resp. almost clean) if each of its elements is the sum of a unit (resp. regular element) and an idempotent. In this paper we define the analogous notion for *-rings: a *-ring is *-clean (resp. almost *-clean) if its every element is the sum of a unit (resp. regular element) and a projection. Although *-clean is a stronger notion than clean, for some *-rings we demonstrate that it is more natural to use. The theorem on cleanness of unit-regular rings from [V. P. Camillo, D. Khurana, A Characterization of Unit Regular Rings, Communications in Algebra, 29 (5) (2001) 2293-2295] is modified for *-cleanness of *-regular rings that are abelian (or reduced or Armendariz). Using this result, it is shown that all finite, type I Baer *-rings that satisfy certain axioms (considered in [S. K. Berberian, Baer *-rings, Die Grundlehren der mathematischen Wissenschaften 195, Springer-Verlag, Berlin-Heidelberg-New York, 1972] and [L. Vas, Dimension and Torsion Theories for a Class of Baer *-Rings, Journal of Algebra, 289 (2) (2005) 614-639]) are almost *-clean. In particular, we obtain that all finite type I AW*-algebras (thus all finite type I von Neumann algebras as well) are almost *-clean. We also prove that for a Baer *-ring satisfying the same axioms, the following properties are equivalent: regular, unit-regular, left (right) morphic and left (right) quasi-morphic. If such a ring is finite and type I, it is *-clean. Finally, we present some examples related to group von Neumann algebras and list some open problems.

preprint2010arXiv

A note on $(α, β)$ -higher derivations and their extensions to modules of quotients

We extend some recent results on the differentiability of torsion theories. In particular, we generalize the concept of $(α, β)$ -derivation to $(α, β)$ -higher derivation and demonstrate that a filter of a hereditary torsion theory that is invariant for $α$ and $β$ is $(α, β)$ -higher derivation invariant. As a consequence, any higher derivation can be extended from a module to its module of quotients. Then, we show that any higher derivation extended to a module of quotients extends also to a module of quotients with respect to a larger torsion theory in such a way that these extensions agree. We also demonstrate these results hold for symmetric filters as well. We finish the paper with answers to two questions posed in [L. Va\s, Extending higher derivations to rings and modules of quotients, International Journal of Algebra, 2 (15) (2008), 711--731]. In particular, we present an example of a non-hereditary torsion theory that is not differential.

preprint2009arXiv

Extending ring derivations to right and symmetric rings and modules of quotients

We define and study the symmetric version of differential torsion theories. We prove that the symmetric versions of some of the existing results on derivations on right modules of quotients hold for derivations on symmetric modules of quotients. In particular, we prove that the symmetric Lambek, Goldie and perfect torsion theories are differential. We also study conditions under which a derivation on a right or symmetric module of quotients extends to a right or symmetric module of quotients with respect to a larger torsion theory. Using these results, we study extensions of ring derivations to maximal, total and perfect right and symmetric rings of quotients.

preprint2009arXiv

Perfect Symmetric Rings of Quotients

Perfect Gabriel filters of right ideals and their corresponding right rings of quotients have the desirable feature that every module of quotients is determined solely by the right ring of quotients. On the other hand, symmetric rings of quotients have a symmetry that mimics the commutative case. In this paper, we study rings of quotients that combine these two desirable properties. We define the symmetric versions of a right perfect ring of quotients and a right perfect Gabriel filter -- the perfect symmetric ring of quotients and the perfect symmetric Gabriel filter and study their properties. Then we prove that the standard construction of the total right ring of quotients can be adapted to the construction of the largest perfect symmetric ring of quotients -- the total symmetric ring of quotients. We also demonstrate that Morita's construction of the total right ring of quotients can be adapted to the construction of the total symmetric ring of quotients.

preprint2008arXiv

Extending higher derivations to rings and modules of quotients

A torsion theory is called differential (higher differential) if a derivation (higher derivation) can be extended from any module to the module of quotients corresponding to the torsion theory. We study conditions equivalent to higher differentiability of a torsion theory. It is known that the Lambek, Goldie and any perfect torsion theories are differential. We show that these classes of torsion theories are higher differential as well. Then, we study conditions under which a higher derivation extended to a right module of quotients extends also to a right module of quotients with respect to a larger torsion theory. Lastly, we define and study the symmetric version of higher differential torsion theories. We prove that the symmetric versions of the results on higher differential (one-sided) torsion theories hold for higher derivations on symmetric modules of quotients. In particular, we prove that the symmetric Lambek, Goldie and any perfect torsion theories are higher differential.

preprint2007arXiv

Torsion theories for algebras of affiliated operators of finite von Neumann algebras

The dimension of any module over an algebra of affiliated operators ${\mathcal U}$ of a finite von Neumann algebra ${\mathcal A}$ is defined using a trace on ${\mathcal A}.$ All zero-dimensional ${\mathcal U}$ -modules constitute the torsion class of torsion theory $(\mathrm{\bf T},\mathrm{\bf P})$ . We show that every finitely generated ${\mathcal U}$ -module splits as the direct sum of torsion and torsion-free part. Moreover, we prove that the theory $(\mathrm{\bf T},\mathrm{\bf P})$ coincides with the theory of bounded and unbounded modules and also with the Lambek and Goldie torsion theories. Lastly, we use the introduced torsion theories to give the necessary and sufficient conditions for ${\mathcal U}$ to be semisimple.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Lia Vas

Research overview

Is this your work?

14 publications

Crossed product Leavitt path algebras

K-theory Classification of Graded Ultramatricial Algebras with Involution

Graded chain conditions and Leavitt path algebras of no-exit graphs

Traces on Semigroup Rings and Leavitt Path Algebras

*-Regular Leavitt path algebras of arbitrary graphs

Classes of almost clean rings

Noetherian Leavitt path algebras and their regular algebras

Strongly semihereditary rings and rings with dimension

-Clean Rings; Some Clean and Almost Clean Baer -rings and von Neumann Algebras

A note on $(α, β)$ -higher derivations and their extensions to modules of quotients

Extending ring derivations to right and symmetric rings and modules of quotients

Perfect Symmetric Rings of Quotients

Extending higher derivations to rings and modules of quotients

Torsion theories for algebras of affiliated operators of finite von Neumann algebras

See the researcher in context

Building this map preview

Lia Vas

Research overview

Is this your work?

14 publications

Crossed product Leavitt path algebras

K-theory Classification of Graded Ultramatricial Algebras with Involution

Graded chain conditions and Leavitt path algebras of no-exit graphs

Traces on Semigroup Rings and Leavitt Path Algebras

*-Regular Leavitt path algebras of arbitrary graphs

Classes of almost clean rings

Noetherian Leavitt path algebras and their regular algebras

Strongly semihereditary rings and rings with dimension

*-Clean Rings; Some Clean and Almost Clean Baer *-rings and von Neumann Algebras

A note on (α,β)(α, β)(α,β)-higher derivations and their extensions to modules of quotients

Extending ring derivations to right and symmetric rings and modules of quotients

Perfect Symmetric Rings of Quotients

Extending higher derivations to rings and modules of quotients

Torsion theories for algebras of affiliated operators of finite von Neumann algebras

See the researcher in context

Building this map preview

-Clean Rings; Some Clean and Almost Clean Baer -rings and von Neumann Algebras

A note on $(α, β)$ -higher derivations and their extensions to modules of quotients