arXiv subjects
Publications and source records attributed to Müge Kanuni.
In this paper, the Grothendieck group of the Leavitt path algebra over the power graphs of all prime-power cyclic groups is studied by using a well-known computation from linear algebra. More precisely, the Smith normal form of the matrix derived from the adjacency matrix associated with the power graph of prime-power cyclic group is calculated.
In this paper, the quotient of a Leavitt path algebra of an arbitrary graph by an $I$-basic graded ideal, and the quotient of a Leavitt path algebra of a row-finite graph by an arbitrary graded ideal are considered. The result of the quotient of a Leavitt path algebra by an arbitrary graded ideal is extended by using the function $φ$. Examples are given to illustrate the results.
In this paper, Wolbachia infection in a bisexual and diploid population with a fixed cytoplasmic incompatibility rate $w$ and maternal transmission rate $d$ is studied as an evolution algebra. As the cytoplasmic incompatibility (CI) of the population causes deaths in the offspring, the evolution algebra of this model is not baric, and is a dibaric algebra if and only if the cytoplasmic incompatibility rate $w$ is 1 and $d=1$. The idempotent elements are given in terms of $d$ and $w$. Moreover, this algebra has no absolute nilpotent elements when CI expression $w \neq 1$.
This is the first paper in the sequel studying the Wolbachia-infection in bisexual populations. This paper considers the behavior of the population as a discrete dynamical system. The recurrence relation is obtained as a function of the initial infected male/female frequencies and the cytoplasmic incompatibility of the population. The experimental data from Wolbachia-infected terrestrial isopod populations and the model proposed in Wolbachia-infected mosquitoes from literature is compared with the discrete dynamical system achieved.
We identify largest ideals in Leavitt path algebras: the largest locally left/right artinian (which is the largest semisimple one), the largest locally left/right noetherian without minimal idempotents, the largest exchange, and the largest purely infinite. This last ideal is described as a direct sum of purely infinite simple pieces plus purely infinite non-simple and non-decomposable pieces. The invariance under ring isomorphisms of these ideals is also studied.
Prüfer domains and subclasses of integral domains such as Dedekind domains admit characterizations by means of the properties of their ideal lattices. Interestingly, a Leavitt path algebra $L$, in spite of being non-commutative and possessing plenty of zero divisors, seems to have its ideal lattices possess the characterizing properties of these special domains. In [8] it was shown that the ideals of $L$ satisfy the distributive law, a property of Prüfer domains and that $L$ is a multiplication ring, a property of Dedekind domains. In this paper, we first show that $L$ satisfies two more characterizing properties of Prüfer domains which are the ideal versions of two theorems in Elementary Number Theory, namely, for positive integers $a,b,c$, $\gcd(a,b)\cdot\operatorname{lcm}(a,b)=a\cdot b$ and $a\cdot \operatorname{gcd}(b,c)=\operatorname{gcd}(ab,ac)$. We also show that $L$ satisfies a characterizing property of almost Dedekind domains in terms of the ideals whose radicals are prime ideals. Finally, we give necessary and sufficient conditions under which $L$ satisfies another important characterizing property of almost Dedekind domains, namely the cancellative property of its non-zero ideals.
We classify row-finite Leavitt path algebras associated to graphs with no more than two vertices. For the discussion we use the following invariants: decomposability, the $K_0$ group, $\det(N'_E)$ (included in the Franks invariants), the type, as well as the socle, the ideal generated by the vertices in cycles with no exits and the ideal generated by vertices in extreme cycles. The starting point is a simple linear algebraic result that determines when a Leavitt path algebra is IBN. An interesting result that we have found is that the ideal generated by extreme cycles is invariant under any isomorphism (for Leavitt path algebras whose associated graph is finite). We also give a more specific proof of the fact that the shift move produces an isomorphism when applied to any row-finite graph, independently of the field we are considering.
Let $E$ be an arbitrary directed graph and let $L$ be the Leavitt path algebra of the graph $E$ over a field $K$. The necessary and sufficient con- ditions are given to assure the existence of a maximal ideal in $L$ and also the necessary and sufficient conditions on the graph which assure that every ideal is contained in a maximal ideal is given. It is shown that if a maximal ideal $M$ of $L$ is non-graded, then the largest graded ideal in $M$ , namely $gr(M )$, is also maximal among the graded ideals of $L$. Moreover, if $L$ has a unique maximal ideal $M$ , then $M$ must be a graded ideal. The necessary and sufficient conditions on the graph for which every maximal ideal is graded, is discussed.
We give the necessary and sufficient condition for a separated Cohn-Leavitt path algebra of a finite digraph to have IBN. As a consequence, separated Cohn path algebras have IBN. We determine the non-stable K-theory of a corner ring in terms of the non-stable K-theory of the ambient ring. We give a necessary condition for a corner algebra of a separated Cohn-Leavitt path algebra of a finite graph to have IBN. We provide Morita equivalent rings which are non-IBN, but are of different types.
We compute the Hochschild cohomology of the reduced incidence algebras such as the algebra of formal power series, the algebra of exponential power series, the algebra of Eulerian power series, and the algebra of formal Dirichlet series. We achieve the result by carrying out the computation on the coalgebra ${\rm Cotor}$-groups of their pre-dual coalgebras. Using the same coalgebraic machinery, we further identify the Hochschild cohomology groups of an incidence algebra associated to a quiver with the ${\rm Ext}$-groups of the incidence algebra associated to a suspension of the quiver.
Let $E$ be an arbitrary directed graph and let $L$ be the Leavitt path algebra of the graph $E$ over a field $K$. It is shown that every ideal of $L$ is an intersection of primitive/prime ideals in $L$ if and only if the graph $E$ satisfies Condition (K). Uniqueness theorems in representing an ideal of $L$ as an irredundant intersection and also as an irredundant product of finitely many prime ideals are established. Leavitt path algebras containing only finitely many prime ideals and those in which every ideal is prime are described. Powers of a single ideal $I$ are considered and it is shown that the intersection ${\displaystyle\bigcap\limits_{n=1}^{\infty}}I^{n}$ is the largest graded ideal of $L$ contained in $I$. This leads to an analogue of Krull's theorem for Leavitt path algebras.
For any finite directed graph $E$ and any field $K$ we show that the Cohn path algebra $C_K(E)$ has the Invariant Basis Number property.
In this article we obtain lower and upper bounds for global dimensions of a class of artinian algebras in terms of global dimensions of a finite subset of their artinian subalgebras. Finding these bounds for the global dimension of an artinian algebra $A$ is realized via an explicit algorithm we develop. This algorithm is based on a directed graph (not the Auslander-Reiten quiver) we construct, and it allows us to decide whether an artinian algebra has finite global dimension in good number of cases.
Any finite dimensional semisimple algebra A over a field K is isomorphic to a direct sum of finite dimensional full matrix rings over suitable division rings. In this paper we will consider the special case where all division rings are exactly the field K. All such finite dimensional semisimple algebras arise as a finite dimensional Leavitt path algebra. For this specific finite dimensional semisimple algebra A over a field K, we define a uniquely detemined specific graph - which we name as a truncated tree associated with A - whose Leavitt path algebra is isomorphic to A. We define an algebraic invariant κ(A) for A and count the number of isomorphism classes of Leavitt path algebras with κ(A)=n. Moreover, we find the maximum and the minimum K-dimensions of the Leavitt path algebras of possible trees with a given number of vertices and determine the number of distinct Leavitt path algebras of a line graph with a given number of vertices.