Representations and the reduction theorem for ultragraph Leavitt path algebras

TL;DR

This paper investigates ultragraph Leavitt path algebras by exploring their representations through branching systems, establishing a reduction theorem, and analyzing the conditions under which these representations are faithful or permutative.

Contribution

It introduces a reduction theorem for ultragraph Leavitt path algebras and characterizes faithfulness and permutative representations in terms of branching system dynamics.

Findings

Proved the reduction theorem for ultragraph Leavitt path algebras.

Showed ultragraph Leavitt path algebras are semiprime.

Provided criteria for permutative representations to be equivalent to branching system representations.

Abstract

In this paper we study representations of ultragraph Leavitt path algebras via branching systems and, using partial skew ring theory, prove the reduction theorem for these algebras. We apply the reduction theorem to show that ultragraph Leavitt path algebras are semiprime and to completely describe faithfulness of the representations arising from branching systems, in terms of the dynamics of the branching systems. Furthermore, we study permutative representations and provide a sufficient criteria for a permutative representation of an ultragraph Leavitt path algebra to be equivalent to a representation arising from a branching system. We apply this criteria to describe a class of ultragraphs for which every representation (satisfying a mild condition) is permutative and has a restriction that is equivalent to a representation arising from a branching system.

Equations

$$\displaystyle\mathcal{G}^{0}=\Big{\{}\Big{(}\bigcap_{e\in X_{1}}r(e)\Big{)}\cup\dots\cup\Big{(}\bigcap_{e\in X_{n}}r(e)\Big{)}\cup F$$

$$\displaystyle F\text{ is a finite subset of }G^{0}\Big{\}}.$$

$$X={\mathfrak{p}}^{\infty }\cup \{(\alpha ,v):\alpha \in {\mathcal{G}}^{\ast },|\alpha |\ge 1,v\in G_s^0\cap r(\alpha )\}\cup \{(v,v):v\in G_s^0\}.$$

$$X_{a{b}^{-1}}=\left\{x\in X:|x|>|a|,x_1...x_{|a|}=a\text{ and }s(x_{|a|+1})\in r(b)\cap r(a)\right\}\bigcup$$

$$\bigcup \left\{(a,v)\in X:v\in r(a)\cap r(b)\right\};$$

$$X_A=\{x\in X:s(x)\in A\}$$

$$X_{bA}=\{x\in X_b:|x|>|b|\text{ and }s(x_{|b|+1})\in A\}\cup \{(b,v)\in X_b:v\in A\}.$$

$$\theta_{a}(x)=\left\{\begin{array}[]{ll}ax&\text{ if }|x|=\infty,\\ (a\alpha,v)&\text{ if }x=(\alpha,v),\\ (a,v)&\text{ if }x=(v,v);\par\end{array}\right.$$

$$\theta_{ab^{-1}}(x)=\left\{\begin{array}[]{ll}ay&\text{ if }|x|=\infty\text{ and }x=by,\\ (a\alpha,v)&\text{ if }x=(b\alpha,v),\\ (a,v)&\text{ if }x=(b,v);\end{array}\right.$$

$$D=D_0=\text{span}\{1_A,1_c,1_{bA}:A\in {\mathcal{G}}^0,c\in \mathbb{F}\setminus \{0\},b\in W\},$$

$$D_t=\text{span}\{1_t{1}_A,1_t{1}_c,1_t{1}_{bA}:A\in {\mathcal{G}}^0,c\in \mathbb{F},b\in W\}.$$

$$0\ne \Phi ({\lambda }_i{s}_{a_i}{p}_{A_i}{s}_{b_i}^{\ast })={\lambda }_i{1}_{a_i}{1}_{a_i{A}_i}{1}_{a_i{b}_i^{-1}}{\delta }_{a_i{b}_i^{-1}},$$

$$\Phi ({\lambda }_i{s}_{a_i}{p}_{A_i}{s}_{b_i}^{\ast })\Phi (s_e)={\lambda }_i{1}_{a_i}{1}_{a_i{A}_i}{1}_{a_i{b}_i^{-1}}{\delta }_{a_i{b}^{-1}}\ne 0.$$

$$x{p}_v=\sum _{j\in M}{\beta }_j{1}_{A_j}{p}_v+\sum _{i\in N}{\lambda }_i{s}_{a_i}{p}_v=(\sum _{j:v\in A_j}{\beta }_j)p_v+\sum _{i\in N}{\lambda }_i{s}_{a_i}{p}_v,$$

$$x{p}_v=\beta p_v+\sum _{i=1}^n{\lambda }_i{s}_{a_i}{p}_v\text{, or }x{p}_v=\sum _{i=1}^n{\lambda }_i{s}_{a_i}{p}_v,$$

$$s_{c_1...c_{j}e}^{\ast }x{p}_v{s}_{c_1...c_{j}e}=s_{c_1...c_{j}e}^{\ast }{s}_{c_1...c_{j}e}=\beta p_{r(e)}\ne 0.$$

$$D_A:=\bigcup _{v\in A}{D}_v.$$

$$S_e(\varphi )=\varphi \circ f_e^{-1}\cdot 1_{R_e}\text{ and }{S}_e^{\ast }(\varphi )=\varphi \circ f_e\cdot 1_{D_{r(e)}},$$

$$P_A(\varphi )=1_{D_A}\varphi .$$

$$\sum _{e\in s^{-1}(v)}\pi (s_e)\pi (s_e^{\ast })(\varphi )=\sum _{e\in s^{-1}(v)}\varphi \cdot 1_{R_e}=\varphi (1_{\bigcup _{e\in s^{-1}(v)}{R}_e})=\varphi \cdot 1_{D_v}=\pi (p_v)(\varphi ),$$

$$\pi (y)\pi (x)\pi (z)(1_{D_A})=\pi (yxz)(1_{D_A})=\pi (\lambda p_A)(1_{D_A})=\lambda 1_{D_A}\ne 0.$$

$$\pi (s_c^i)({\delta }_{z_0})(z_0)={\delta }_{f_c^i(z_0)}(z_0)=0.$$

$$\pi (\mu )({\delta }_{z_0})(z_0)={\lambda }_j\pi (p_v)({\delta }_{z_0})(z_0)={\lambda }_j\ne 0,$$

$$\pi (s_{{\alpha }_n}^{\ast })...\pi (s_{{\alpha }_1}^{\ast })(\varphi )=\varphi \circ (f_{{\alpha }_1}\circ ...\circ f_{{\alpha }_n}).1_{D_{s({\alpha }_1)}}=\varphi .1_{D_s({\alpha }_1)}=\pi (p_{s({\alpha }_1)})(\varphi ),$$

$$\tilde{\pi }(s_{{\alpha }_n}^{\ast }\dots s_{{\alpha }_1}^{\ast })(\phi )(x_0)=\phi ({\tilde{f}}_{{\alpha }_1}\circ ...\circ {\tilde{f}}_{{\alpha }_n})(x_0)=0\ne 1=\phi (x_0)=\tilde{\pi }(p_{s_{{\alpha }_1}})(\phi )(x_0),$$

$$B_A=\left(\bigcap _{e\in X_1}{B}_{r(e)}\right)\cup ...\cup \left(\bigcap _{e\in X_n}{B}_{r(e)}\right)\bigcup _{v\in F}{B}_v.$$

$$N_A=\pi (p_A)(N)=\prod _{e\in X_1}\pi (p_{r(e)})(N)+\prod _{f\in X_2}\pi (p_{r(f)})(N)-\prod _{e\in X_1}\pi (p_{r(e)})\prod _{f\in X_2}\pi (p_{r(f)})(N).$$

$$M\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}$$

$$D_{A\cap C}=\{x\in X:h_x\in B_{A\cap C}\}=\{x\in X:h_x\in B_A\cap B_C\}=D_A\cap D_C,$$

$$(T\circ \pi (p_A))(T^{-1}(h_x))=T(\pi (p_A))({\delta }_x)=T({\delta }_x)=h_x=\phi (p_A)(h_x).$$

$$I_{0}:=\Big{\{}v\in G^{0}:v\notin\Big{(}\Big{(}\bigcup_{e\in\mathcal{G}^{1}}r(e)\Big{)}\cup s(\mathcal{G}^{1})\Big{)}\Big{\}}$$

Full text

††Mathematics Subject Classification 2010: 16W50, 16S35, 16G99

1 Introduction

The study of algebras associated to combinatorial objects is a mainstream area in Mathematics, with connections with symbolic dynamics, wavelet theory and graph theory, to name a few. Among the most studied algebras arising from combinatorial objects we find Cuntz-Krieger algebras, graph C*-algebras, Leavitt path algebras (algebraic version of graph C*-algebras) and algebras associated to infinite matrices (the so called Exel-Laca algebras). Aiming at an unified approach to graph C*-algebras and Exel-Laca algebras Mark Tomforde introduced ultragraphs in [38]. One of the advantages of dealing with ultragraphs arises from the combinatorial picture, very similar to graphs, available to study Exel-Laca algebras. Also, new examples appear, as the class of ultragraph algebras is strictly larger then the class of graph and Exel-Laca algebras (both in the C*-context and in the purely algebraic context), although in the C*-algebraic context these three classes agree up to Morita equivalence, see [35].

Ultragraphs can be seen as graphs for which the range map takes values over the power set of the vertices, that is, the range is a subset of the set of vertices. Ultragraphs can also be seen as labelled graphs where it is only possible to label edges with the same source. This restriction makes it much simpler to deal with objects (such as algebras and topological spaces) associated to ultragraphs than with objects associated to labelled graphs, but still interesting properties of labelled graphs present themselves in ultragraphs. This is the case, for example, in the study of Li-Yorke chaos for shift spaces over infinite alphabets (see [32]). In fact, ultragraphs are key in the study of shift spaces over infinite alphabets, see [28, 29, 31]. Furthermore, the KMS states associated to ultragraph C*-algebras are studied in [12] and the connection of ultragraph C*-algebras with the Perron-Frobenius operator is described in [19], where the theory of representations of ultragraph C*-algebras (arising from branching systems) is also developed. It is worth mentioning that many of the results in [19] are lacking an algebraic counter-part and this is partially the goal of this paper.

Over the years, many researches dedicated efforts to obtain analogues of results in operator theory in the purely algebraic context, and to understand the relations between these results. For example, Leavitt path algebras, see [1, 2, 4], were introduced as an algebraisation of graph C*-algebras and Cuntz-Krieger algebras. Later, Kumjian-Pask algebras, see [8], arose as an algebraisation of higher rank graph C*-algebras. Partial skew group rings were studied as algebraisation of partial crossed products, see [16] and Steinberg algebras were introduced in [37, 14] as an algebraisation of the groupoid C*-algebras first studied by Renault. Very recently the algebraisation of ultragraph C*-algebras, called ultragraph Leavit path algebras was defined, see [34]. Similarly to the C*-algebraic setting, ultragraph Leavit path algebras generalize the Leavitt path algebras and the algebraic version of Exel-Laca algebras and provide for examples that are neither Leavitt path algebras nor Exel-Laca algebras.

As we mentioned before our goal is to study ultragraph Leavitt path algebras. Our first main result is the reduction theorem, which for Leavitt path algebras was proved in [7]. This result is fundamental in Leavitt path algebra theory and it is also key in our study of representations of ultragraph Leavitt path algebras (we also use it to prove that ultragraph Leavitt path algebras are semiprime). The study of representations of algebras associated to combinatorial objects is a subject of much interest. For example, representations of Leavitt path algebras were studied in [5, 13, 33, 36], of Kumjian-Pask in [8], of Steinberg algebras in [3, 10]. Representations of various algebras, in connection with branching systems, were studied in [11, 15, 17, 18, 20, 21, 22, 23, 24, 25, 27]. To describe the connections of representations of ultragraph Leavitt path algebras with branching systems is the second goal of this paper. In particular, we will give a description of faithful representations arising from branching systems, will define permutative representations and show conditions for equivalence between a given representation and representations arising from branching systems (these are algebraic versions of the results in [19]).

The paper is organized as follows: The next section is a brief overview of the definitions of ultragraphs and the associated ultragraph Leavitt path algebra. In Section 3 we prove the reduction theorem, using partial skew group ring theory and the grading of ultragraph Leavitt path algebras by the free group on the edges (obtained from the partial skew ring characterization). We notice that the usual proof of the reduction theorem for Leavitt path algebras does not pass straighforwardly to ultragraph Leavitt path algebras and so we provide a proof using partial skew group ring theory (in the case of a graph our proof is an alternative proof of the reduction theorem for Leavitt path algebras). In Section 4 we define branching systems associated to ultragraphs and show how they induce a representation of the algebra. The study of faithful representations arising from branching systems is done in Section 5. Finally, in Section 6 we define permutative representations and study equivalence of representations of an ultragraph Leavitt path algebra with representations arising from branching systems.

Before we proceed we remark that we make no assumption of countability on the ultragraphs, and hence the results we present generalize, to the uncountable graph case, the results for Leavitt path algebras presented in [23].

2 Preliminaries

We start this section with the definition of ultragraphs.

Definition 2.1** ([38, Definition 2.1])**

An ultragraph is a quadruple $\mathcal{G}=(G^{0},\mathcal{G}^{1},r,s)$ consisting of two sets $G^{0},\mathcal{G}^{1}$, a map $s:\mathcal{G}^{1}\to G^{0}$ and a map $r:\mathcal{G}^{1}\to P(G^{0})\setminus\{\emptyset\}$, where $P(G^{0})$ stands for the power set of $G^{0}$.

Before we define the algebra associated with an ultragraph, we need a notion of ”generalized vertices”. This is the content of the next definition.

Definition 2.2** ([38])**

Let $\mathcal{G}$ be an ultragraph. Define $\mathcal{G}^{0}$ to be the smallest subset of $P(G^{0})$ that contains $\{v\}$ for all $v\in G^{0}$, contains $r(e)$ for all $e\in\mathcal{G}^{1}$, and is closed under finite unions and finite intersections.

Notice that since $\mathcal{G}^{0}$ is closed under finite intersections, the emptyset is in $\mathcal{G}^{0}$. We also have the following helpful description of the set of generalized vertices $\mathcal{G}^{0}$.

Lemma 2.3** ([38, Lemma 2.12])**

Let $\mathcal{G}$ be an ultragraph. Then

[TABLE]

We can now define the ultragraph Leavitt path algebra associated to an ultragraph $\mathcal{G}$.

Definition 2.4** ([34])**

Let $\mathcal{G}$ be an ultragraph and $R$ be a unital commutative ring. The Leavitt path algebra of $\mathcal{G}$, denoted by $L_{R}(\mathcal{G})$ is the universal $R$ with generators $\{s_{e},s_{e}^{*}:e\in\mathcal{G}^{1}\}\cup\{p_{A}:A\in\mathcal{G}^{0}\}$ and relations

$p_{\emptyset}=0,p_{A}p_{B}=p_{A\cap B},p_{A\cup B}=p_{A}+p_{B}-p_{A\cap B}$, for all $A,B\in\mathcal{G}^{0}$; 2. 2.

$p_{s(e)}s_{e}=s_{e}p_{r(e)}=s_{e}$* and $p_{r(e)}s_{e}^{*}=s_{e}^{*}p_{s(e)}=s_{e}^{*}$ for each $e\in\mathcal{G}^{1}$* 3. 3.

$s_{e}^{*}s_{f}=\delta_{e,f}p_{r(e)}$* for all $e,f\in\mathcal{G}$* 4. 4.

$p_{v}=\sum\limits_{s(e)=v}s_{e}s_{e}^{*}$* whenever $0<|s^{-1}(v)|<\infty$.*

To prove the reduction theorem in the next section we need the characterization of Leavitt ultragraph algebras as partial skew rings. Therefore we recall this description below (as done in [30]).

2.1 Leavitt ultragraph path algebras as partial skew rings

We start setting up some notation. A finite path is either an element of $\mathcal{G}^{0}$ or a sequence of edges $e_{1}...e_{n}$, with length $|e_{1}...e_{n}|=n$, and such that $s(e_{i+1})\in r(e_{i})$ for each $i\in\{0,...,n-1\}$. An infinite path is a sequence $e_{1}e_{2}e_{3}...$, with length $|e_{1}e_{2}...|=\infty$, such that $s(e_{i+1})\in r(e_{i})$ for each $i\geq 0$. The set of finite paths in $\mathcal{G}$ is denoted by $\mathcal{G}^{*}$, and the set of infinite paths in $\mathcal{G}$ is denoted by $\mathfrak{p}^{\infty}$. We extend the source and range maps as follows: $r(\alpha)=r(\alpha_{|\alpha|})$, $s(\alpha)=s(\alpha_{1})$ for $\alpha\in\mathcal{G}^{*}$ with $0<|\alpha|<\infty$, $s(\alpha)=s(\alpha_{1})$ for each $\alpha\in\mathfrak{p}^{\infty}$, and $r(A)=A=s(A)$ for each $A\in\mathcal{G}^{0}$. An element $v\in G^{0}$ is a sink if $s^{-1}(v)=\emptyset$, and we denote the set of sinks in $G^{0}$ by $G^{0}_{s}$. We say that $A\in\mathcal{G}^{0}$ is a sink if each vertex in $A$ is a sink.

Define the set

[TABLE]

We extend the range and source maps to elements $(\alpha,v)\in X$ by defining $r(\alpha,v)=v$ and $s(\alpha,v)=s(\alpha)$. Furthermore, we extend the length map to the elements $(\alpha,v)$ by defining $|(\alpha,v)|:=|\alpha|$.

The group acting on the space $X$ is the free group generated by $\mathcal{G}^{1}$, which we denote by $\mathbb{F}$. Let $W\subseteq\mathbb{F}$ be the set of paths in $\mathcal{G}^{*}$ with strictly positive length.

Now we define the following sets:

• •

for $a\in W$, let $X_{a}=\{x\in X:x_{1}..x_{|a|}=a\}$;

• •

for $b\in W$, let $X_{b^{-1}}=\{x\in X:s(x)\in r(b)\}$;

• •

for $a,b\in W$ with $r(a)\cap r(b)\neq\emptyset$, let

[TABLE]

[TABLE]

• •

for the neutral element [math] of $\mathbb{F}$, let $X_{0}=X$;

• •

for all the other elements $c$ of $\mathbb{F}$, let $X_{c}=\emptyset$.

Define, for each $A\in\mathcal{G}^{0}$ and $b\in W$, the sets

[TABLE]

and

[TABLE]

We obtain a partial action of $\mathbb{F}$ on $X$ by defining the following bijective maps:

• •

for $a\in W$ define $\theta_{a}:X_{a^{-1}}\rightarrow X_{a}$ by

[TABLE]

• •

for $a\in W$ define $\theta_{a}^{-1}:X_{a}\rightarrow X_{a^{-1}}$ as being the inverse of $\theta_{a}$;

• •

for $a,b\in W$ define $\theta_{ab^{-1}}:X_{ba^{-1}}\rightarrow X_{ab^{-1}}$ by

[TABLE]

• •

for the neutral element $0\in\mathbb{F}$ define $\theta_{0}:X_{0}\rightarrow X_{0}$ as the identity map;

• •

for all the other elements $c$ of $\mathbb{F}$ define $\theta_{c}:X_{c^{-1}}\rightarrow X_{c}$ as the empty map.

The above maps together with the subsets $X_{t}$ form a partial action of $\mathbb{F}$ on $X$, that is $(\{\theta_{t}\}_{t\in\mathbb{F}},\{X_{t}\}_{t\in\mathbb{F}})$ is such that $X_{0}=X$, $\theta_{0}=Id_{x}$, $\theta_{c}(X_{c^{-1}}\cap X_{t})=X_{ct}\cap X_{c}$ and $\theta_{c}\circ\theta_{t}=\theta_{ct}$ in $X_{t^{-1}}\cap X_{t^{-1}c^{-1}}$. This partial action induces a partial action on the level of the $R$-algebra of functions (with point-wise sum and product) $F(X)$. More precisely, let $D$ be the subalgebra of $F(X)$ generated by all the finite sums of all the finite products of the characteristic maps $\{1_{X_{A}}\}_{A\in\mathcal{G}^{0}}$, $\{1_{bA}\}_{b\in W,A\in\mathcal{G}^{0}}$ and $\{1_{X_{c}}\}_{c\in\mathbb{F}}$. Also define, for each $t\in\mathbb{F}$, the ideals $D_{t}$ of $D$, as being all the finite sums of finite products of the characteristic maps $\{1_{X_{t}}1_{X_{A}}\}_{A\in\mathcal{G}^{0}}$, $\{1_{X_{t}}1_{bA}\}_{b\in W,A\in\mathcal{G}^{0}}$ and $\{1_{X_{t}}1_{X_{c}}\}_{c\in\mathbb{F}}$. Now, for each $c\in\mathbb{F}$, define the $R$-isomorphism $\beta_{c}:D_{c^{-1}}\rightarrow D_{c}$ by $\beta_{c}(f)=f\circ\theta_{c^{-1}}$. Then $(\{\beta_{t}\}_{t\in\mathbb{F}},\{D_{t}\}_{t\in\mathbb{F}})$ is a partial action of $\mathbb{F}$ on $D$.

Remark 2.5

From now on we will use the notation $1_{A}$, $1_{bA}$ and $1_{t}$ instead of $1_{X_{A}}$, $1_{X_{bA}}$ and $1_{X_{t}}$, for $A\in\mathcal{G}^{0}$, $b\in W$ and $t\in\mathbb{F}$. Also, we have the following description of the ideals $D_{t}$:

[TABLE]

and, for each $t\in\mathbb{F}$,

[TABLE]

The key result in [30] that we need is the following theorem.

Theorem 2.6

[30]** Let $\mathcal{G}$ be a countable ultragraph, $R$ be a unital commutative ring, and $L_{R}(\mathcal{G})$ be the Leavitt path algebra of $\mathcal{G}$. Then there exists an $R$-isomorphism $\phi:L_{R}(\mathcal{G})\rightarrow D\rtimes_{\beta}\mathbb{F}$ such that $\phi(p_{A})=1_{A}\delta_{0}$, $\phi(s_{e}^{*})=1_{{e^{-1}}}\delta_{e^{-1}}$ and $\phi(s_{e})=1_{e}\delta_{e}$, for each $A\in\mathcal{G}^{0}$ and $e\in\mathcal{G}^{1}$.

Remark 2.7

To prove Theorem 2.6 the authors first defined, using the universality of $L_{R}(\mathcal{G})$, a surjective homomorphism $\phi:L_{R}(\mathcal{G})\rightarrow D\rtimes_{\beta}\mathbb{F}$ such that $\phi(p_{A})=1_{A}\delta_{0}$, $\phi(s_{e})=1_{e}\delta_{e}$, and $\phi(s_{e}^{*})=1_{e^{-1}}\delta_{e^{-1}}$, for each $A\in\mathcal{G}^{0}$ and $e\in\mathcal{G}^{1}$. Up to this part of the proof the assumption on the cardinalilty of the ultragraph was not used. In particular, since $1_{A}\delta_{0},1_{e}\delta_{e},1_{e^{-1}}\delta_{e^{-1}}$ are all nonzero then $p_{A},s_{e}$ and $s_{e^{*}}$ are all nonzero in $L_{R}(\mathcal{G})$ (for $\mathcal{G}$ an arbitrary ultragraph). The injectivity of $\phi$ then followed by Theorem 3.2 of [34], which in turn relied on the Graded Uniqueness Theorem for Leavitt path algebras of countable graphs (Theorem 5.3 of [40]). However, Theorem 5.3 of [40] also holds for arbitrary graphs, with the same proof. So, the injectivity of $\phi:L_{R}(G)\rightarrow D\rtimes_{\beta}\mathbb{F}$ also holds for arbitrary $\mathcal{G}$, and we get the following theorem:

Theorem 2.8

Let $\mathcal{G}$ be an arbitrary ultragraph, $R$ be a unital commutative ring, and $L_{R}(\mathcal{G})$ be the Leavitt path algebra of $\mathcal{G}$. Then there exists an $R$-isomorphism $\phi:L_{R}(\mathcal{G})\rightarrow D\rtimes_{\beta}\mathbb{F}$ such that $\phi(p_{A})=1_{A}\delta_{0}$, $\phi(s_{e}^{*})=1_{{e^{-1}}}\delta_{e^{-1}}$ and $\phi(s_{e})=1_{e}\delta_{e}$ for each $A\in\mathcal{G}^{0}$ and $e\in\mathcal{G}^{1}$.

3 The reduction theorem

The reduction theorem for Leavitt path algebras, see [1, 7], is an extremely useful tool in estabilishing various ring-theoretic properties of Leavitt path algebras (for example, the uniqueness theorems for Leavitt path algebras follow with mild effort from the reduction theorem). A version for relative Cohn path algebras was given in [11], where it was also used as an important tool in the study of representations of these algebras. In our context the reduction theorem allow us to characterize faithful representations of Leavitt ultragraph path algebras arising from branching systems, but we expect it will also have applications in further studies of ultragraph Leavitt path algebras (for example, in Corollary 3.3 we show that ultragraph Leavitt path algebras are semiprime). We present the theorem below, but first we recall the following:

Definition 3.1** ([39])**

Let $\mathcal{G}$ be an ultragraph. A closed path is a path $\alpha\in\mathcal{G}^{*}$ with $|\alpha|\geq 1$ and $s(\alpha)\in r(\alpha)$. A closed path $\alpha$ is a cycle if $s(\alpha_{i})\neq s(\alpha_{j})$ for each $i\neq j$. An exit for a closed path is either an edge $e\in\mathcal{G}^{1}$ such that there exists an $i$ for which $s(e)\in r(\alpha_{i})$ but $e\neq\alpha_{i+1}$, or a sink $w$ such that $w\in r(\alpha_{i})$ for some $i$. We say that the ultragraph $\mathcal{G}$ satisfies Condition (L) if every closed path in $\mathcal{G}$ has an exit.

Theorem 3.2

Let $\mathcal{G}$ be an arbitrary ultragraph, $R$ be a unital commutative ring and $0\neq x\in L_{R}(\mathcal{G})$. Then there are elements $\mu=\mu_{1}...\mu_{n}$ and $\nu=\nu_{1}...\nu_{m}\in L_{R}(\mathcal{G})$, with $\mu_{i},\nu_{j}\in\mathcal{G}^{1}\cup(\mathcal{G}^{1})^{*}$ for each $i$ and $j$, such that $0\neq\mu x\nu$ and either $\mu x\nu=\lambda p_{A}$, for some $A\in\mathcal{G}^{0}$, or $\mu x\nu=\sum\limits_{i=1}^{k}\lambda_{i}s_{c}^{i}$, where $c$ is a cycle without exit.

Proof.

Recall that, by Theorem 2.8, there is an isomorphism $\Phi:L_{R}(\mathcal{G}):D\rtimes_{\beta}\mathbb{F}$ such that $\Phi(p_{A})=1_{A}\delta_{0}$ and $\Phi(s_{a}p_{A}s_{b}^{*})=1_{ab^{-1}}1_{aA}\delta_{ab^{-1}}$, where $a,b$ are paths in $\mathcal{G}$ and $A\in\mathcal{G}^{0}$. Moreover, $D\rtimes_{\beta}\mathbb{F}$ has a natural grading over $\mathbb{F}$, that is, $D\rtimes_{\beta}\mathbb{F}=\bigoplus_{t\in\mathbb{F}}D_{t}\delta_{t}$.

Let $x$ be a non-zero element in $L_{R}(\mathcal{G})$. We divide the proof in a few steps. The first one is the following.

Claim 1: There is a vertex $v\in G^{0}$ such that $xp_{v}\neq 0$

First we prove that for each $t\in\mathbb{F}$, and $0\neq f_{t}\delta_{t}\in D_{t}\delta_{t}$, there is a vertex $v$ such that $f_{t}\delta_{t}1_{v}\delta_{0}\neq 0$.

Indeed, notice that for a non-zero element $f\delta_{0}\in D_{0}\delta_{0}$, since $f\neq 0$, there exists an element $y\in X$ such that $f(y)\neq 0$. Let $v=s(y)$. Then $(f1_{v})(y)\neq 0$ and therefore $f\delta_{0}1_{v}\delta_{0}=f1_{v}\delta_{0}\neq 0$. Similarly, for a given element $0\neq f\delta_{ab^{-1}}\in D_{ab^{-1}}\delta_{ab^{-1}}$, where $a,b$ are paths in $\mathcal{G}$ (possibly one of them with length zero) notice that $\beta_{ba^{-1}}(f)\neq 0$ and hence there is an element $y\in X_{ba^{-1}}$ such that $(\beta_{ba^{-1}}(f))(y)\neq 0$. Let $v=s(y)$. Then $(\beta_{ba^{-1}}(f)1_{v})(y)=(\beta_{ba^{-1}}(f))(y)\neq 0$, and it follows that $f\delta_{ab^{-1}}1_{v}\delta_{0}=\beta_{ab^{-1}}(\beta_{ba^{-1}}(f)1_{v})\delta_{ab^{-1}}\neq 0$.

Now, since $x\neq 0$, we have that $0\neq\Phi(x)=\sum\limits_{i=1}^{n}f_{t_{i}}\delta_{t_{i}}$, with $t_{i}\neq t_{j}$, and $f_{t_{i}}\delta_{t_{i}}\neq 0$ for each $i$. Fix some $i_{0}$ and chose a vertex $v$ such that $f_{t_{i_{0}}}\delta_{t_{i_{0}}}1_{v}\delta_{0}\neq 0$. Since $D\rtimes_{\beta}\mathbb{F}$ is $\mathbb{F}$-graded then $z=\sum\limits_{i=1}^{n}f_{t_{i}}\delta_{t_{i}}1_{v}\delta_{0}\neq 0$. Hence, applying $\Phi^{-1}$ to $z$, we get that $xp_{v}\neq 0$.

Claim 2: For each non-zero $x\in L_{R}(\mathcal{G})$ there exists an $y\in L_{R}(\mathcal{G})$ of the form $y=y_{1}...y_{n}$, with $y_{i}\in\mathcal{G}^{1}$, such that $xy\neq 0$ and $xy$ has no ghost edges in its composition (a ghost edge is an element of $(\mathcal{G}^{1})^{*}$), that is, we can write $xy=\sum\lambda_{j}s_{a_{j}}p_{A_{j}}$ where $a_{j}$ are paths in the ultragraph $\mathcal{G}$ and $A_{j}\in\mathcal{G}^{0}$.

Write $x=\sum\lambda_{i}s_{a_{i}}p_{A_{i}}s_{b_{i}}^{*}$ with each $\lambda_{i}s_{a_{i}}p_{A_{i}}s_{b_{i}}^{*}\neq 0$ , where $a_{i},b_{i}$ are paths in the ultragraph $\mathcal{G}$, $A_{i}\in\mathcal{G}^{0}$, and $\lambda_{i}\in R$ (see [34, Theorem 2.5]). If $b_{i}$ has length zero for each $i$ then we are done. Suppose that there exists an index $i$ such that $b_{i}$ has positive length. Write $b_{i}=eb$, where $e$ is an edge. Since $\lambda_{i}s_{a_{i}}p_{A_{i}}s_{b_{i}}^{*}\neq 0$ we have that

[TABLE]

and so $\lambda_{i}1_{a_{i}}1_{a_{i}A_{i}}1_{a_{i}b_{i}^{-1}}\neq 0$. Therefore we obtain that

[TABLE]

Since $D\rtimes_{\beta}\mathbb{F}$ is $\mathbb{F}$-graded then $\Phi(x)\Phi(s_{e})\neq 0$, and so $xs_{e}\neq 0$. Notice that $xs_{e}$ has less ghost edges in its composition than $x$. Repeating these arguments a finite number of times we obtain the conclusion of Claim 2.

Claim 3. For each $0\neq x\in L_{R}(\mathcal{G})$ which is a sum of elements without ghost edges in its composition there are elements $y,z\in L_{R}(\mathcal{G})$, where $y=y_{1}...y_{n}$, $z=z_{1}...z_{q}$, and $y_{i},z_{j}\in\mathcal{G}^{1}\cup(\mathcal{G}^{1})^{*}\cup G^{0}$, such that $yxz\neq 0$ and either $yxz=\lambda p_{A}$ for some $\lambda\in R$ and $A\in\mathcal{G}^{0}$, or $yxz=\sum\limits_{i=1}^{n}\lambda_{i}s_{c}^{i}$ where $\lambda_{i}\in R$ and $c$ is a cycle without exit.

Let $0\neq x\in L_{R}(\mathcal{G})$ be any element without ghost edges in its composition. Write $x=\sum\limits_{j\in M}\beta_{j}p_{A_{j}}+\sum\limits_{i\in N}\lambda_{i}s_{a_{i}}$, where $A_{j}\in\mathcal{G}^{0}$, $a_{i}$ are paths with positive length, $\beta_{j},\lambda_{i}$ are nonzero elements in $R$, and the number of summands describing $x$ is the least possible. Notice that $M$ or $N$ could be empty. Define $m$ as the cardinality of $M$ and $n$ as the cardinality of $N$.

We prove the claim using an induction argument over the (minimal) number of summands in $x\in L_{R}(\mathcal{G})$ without ghost edges in its composition.

If $m+n=1$ then $x=\beta_{1}P_{A_{1}}$, or $x=\lambda_{1}s_{a_{1}}$ (in which case $s_{a_{1}}^{*}x=\lambda_{1}p_{r(a_{1})}$), and so we are done.

Now, suppose the induction hypothesis holds and let $x=\sum\limits_{j\in M}\beta_{j}p_{A_{j}}+\sum\limits_{i\in N}\lambda_{i}s_{a_{i}}$ (with minimal number of summands). We prove below that Claim 3 holds for this $x$.

Suppose that $N$ is empty. By Claim 1 there is a vertex $v$ such that $0\neq xp_{v}$. Hence $xp_{v}=(\sum\limits_{j\in M:v\in A_{j}}\beta_{j})p_{v}$, and we are done.

Now, suppose that $N$ is nonempty, say $N=\{1,2,...,n\}$. Moreover assume, without loss of generality, that $|a_{i}|\leq|a_{i+1}|$ for each $i\in\{1,...,n-1\}$.

By Claim 1 there exist a vertex $v$ such that $xp_{v}\neq 0$. If $m>1$ then

[TABLE]

which has less summands than $x$, and so we may apply the induction hypothesis on $xp_{v}$. The same holds if $s_{a_{i}}p_{v}=0$ for some $i$. Therefore we are left with the cases when $m=0$ or $m=1$, and $s_{a_{i}}p_{v}\neq 0$ for each $a_{i}$.

Before we proceed, notice that each $a_{i}$ in the description of $x$ is of the form $a_{i}=a_{i}^{1}...a_{i}^{k_{i}}$, where $a_{i}^{j}$ are edges. If there are $i,k$ such that $a_{i}^{j}\neq a_{k}^{j}$ then $s_{a_{i}}^{*}s_{a_{k}}=0$, and $s_{a_{i}}^{*}x\neq 0$ (since $L_{K}(\mathcal{G})$ is $\mathbb{F}$ graded and $s_{a_{i}}^{*}s_{a_{i}}=p_{r(a_{i})}\neq 0$). Therefore $s_{a_{i}}^{*}x$ has less summands then $x$, possibly including ghost edges. Applying Claim 2 to $s_{a_{i}}^{*}x$, and then applying the induction hypothesis, we obtain the desired result for $x$. So, we may suppose that each path $a_{i}$ is the beginning of the path $a_{i+1}$.

Recall that to finish the proof we need to deal with two cases:

[TABLE]

where $|a_{i}|\leq|a_{i+1}|$ and $a_{i}$ is the beginning of $a_{i+1}$ for each $i$.

If $xp_{v}=\sum\limits_{\lambda_{i}}s_{a_{i}}p_{v}$, then $s_{a_{1}}^{*}xp_{v}=\lambda_{1}p_{v}+\sum\limits_{i=2}^{n}s_{a_{1}}^{*}s_{a_{i}}p_{v}$. Therefore it is enough to deal with the case $xp_{v}=\beta p_{v}+\sum\limits_{i=1}^{n}\lambda_{i}s_{a_{i}}p_{v}$.

Notice that (by the $\mathbb{F}$-grading on $L_{R}(\mathcal{G})$) $p_{v}xp_{v}\neq 0$, and $p_{v}xp_{v}=\beta p_{v}+\sum\limits_{i=1}^{n}\lambda_{i}p_{v}s_{a_{i}}p_{v}$. If there is a $j$ such that $s(a_{j})\neq v$ then $p_{v}s_{a_{j}}=0$, and so we may apply the induction hypothesis on $p_{v}xp_{v}$. Therefore we are left with the case when $v=s(a_{i})$ for each $i$, what implies that each $a_{i}$ is a closed path based on $v$.

Let $c=a_{1}$, and write $c=c_{1}...c_{k}$. If $c$ has an exit, then either there exists an edge $e\neq c_{j+1}$ such that $s(e)\in r(c_{j})$, or there exists a sink $w$ in $r(c_{i})$ for some $i$. In the first case, notice that, since each $a_{i}$ is of the form $a_{i}=c\overline{a_{i}}$, then $s_{c_{1}...c_{j}e}^{*}s_{a_{i}}=0$ for each $i$. Then

[TABLE]

Now suppose that there is a sink $w$ in $r(c_{q})$ for some $q$. Then for each $i$, $p_{w}s_{c_{1}...c_{q}}^{*}s_{a_{i}}s_{c_{1}...c_{q}}=p_{w}s_{a_{i}^{k+1}}...s_{a_{i}^{k_{i}}}s_{c_{1}...c_{q}}=0$ since $w$ is not the source of any edge. Then $p_{w}s_{c_{1}...c_{q}}^{*}xp_{v}s_{c_{1}...c_{q}}=\beta p_{w}p_{r(c_{q})}=\beta p_{w}\neq 0$.

So it remains the case when $c$ has no exit. Since $c$ is based on $v$ and has no exit, and each $a_{i}$, for $i>1$, is a closed path based on $v$ then $a_{i}$ equals $c^{j}$ for some $j$. Notice that since $c$ is a closed path without exit then $c=d^{n}$, where $d$ is a cycle without exit and $n\in\mathbb{N}$. Therefore $s_{a_{1}}xp_{v}$ has the desired form. $\square$

As a first example of potential applications of the reductions theorem we show below that ultragraph Leavitt path algebras are semiprime (for Leavitt path algebras of graphs over fields this is Proposition 2.3.1 in [1]). Recall that a ring $R$ is said to be semiprime if, for every ideal $I$ of $R$, $I^{2}=0$ implies $I=0$.

Corollary 3.3

Let $\mathcal{G}$ be an arbitrary ultragraph and $R$ be a unital commutative ring with no zero divisors. Then the ultragraph Leavitt path algebra $L_{R}(\mathcal{G})$ is semiprime.

**Proof. **Let $I$ be a nonzero ideal and $x$ in $I$ be nonzero. By the Reduction Theorem 3.2 there are elements $\mu=\mu_{1}...\mu_{n}$ and $\nu=\nu_{1}...\nu_{m}\in L_{R}(\mathcal{G})$, with $\mu_{i},\nu_{j}\in\mathcal{G}^{1}\cup(\mathcal{G}^{1})^{*}$ for each $i$ and $j$, such that $0\neq\mu x\nu$ and either $\mu x\nu=\lambda p_{A}$, for some $A\in\mathcal{G}^{0}$, or $\mu x\nu=\sum\limits_{i=1}^{k}\lambda_{i}s_{c}^{i}$, where $c$ is a cycle without exit. Since $p_{A}$ is an idempotent if $\mu x\nu=\lambda p_{A}$ then we are done. If $\mu x\nu=\sum\limits_{i=1}^{k}\lambda_{i}s_{c}^{i}$ then, by the $\mathbb{F}$ grading (see Theorem 2.8), we have that $(\mu x\nu)^{2}\neq 0$ and we are done. $\square$

4 Algebraic branching systems and the induced representations

In this section we start the study of representations of ultragraph Leavitt path algebras via branching systems. Motivated by the relations that define an ultragraph Leavitt path algebra we get the following definition.

Definition 4.1

Let $\mathcal{G}$ be an ultragraph, $X$ be a set and let $\{R_{e},D_{A}\}_{e\in\mathcal{G}^{1},A\in\mathcal{G}^{0}}$ be a family of subsets of $X$. Suppose that

$R_{e}\cap R_{f}=\emptyset$, if $e\neq f\in\mathcal{G}^{1}$; 2. 2.

$D_{\emptyset}=\emptyset,\ D_{A}\cap D_{B}=D_{A\cap B},\text{ and }D_{A}\cup D_{B}=D_{A\cup B}$* for all $A,B\in\mathcal{G}^{0}$;* 3. 3.

$R_{e}\subseteq D_{s(e)}$* for all $e\in\mathcal{G}^{1}$;* 4. 4.

$D_{v}=\bigcup\limits_{e\in s^{-1}(v)}R_{e}$, if $0<|s^{-1}(v)|<\infty$; and 5. 5.

for each $e\in\mathcal{G}^{1}$, there exist two bijective maps $f_{e}:D_{r(e)}\rightarrow R_{e}$ and $f_{e}^{-1}:R_{e}\rightarrow D_{r(e)}$ such that $f_{e}\circ f_{e}^{-1}=\mathrm{id}_{R_{e}}$ and, $f_{e}^{-1}\circ f_{e}=\mathrm{id}_{D_{r(e)}}$.

We call $\{R_{e},D_{A},f_{e}\}_{e\in\mathcal{G}^{1},A\in\mathcal{G}^{0}}$ a $\mathcal{G}$-algebraic branching system on $X$ or, shortly, a $\mathcal{G}$-branching system.

Given any ultragraph $\mathcal{G}$ we deal with the existence of branching systems associated to $\mathcal{G}$ in the proposition below.

Proposition 4.2

Let $\mathcal{G}$ be an ultragraph such that $s^{-1}(v)$ and $r(e)$ are finite or countable for each vertex $v\in G^{0}$ and each edge $e$. Then there exists a $\mathcal{G}$-branching system.

**Proof. **Let $X=[0,1)\times(E^{1}\cup G^{0})$. For each edge $e$ define $R_{e}=[0,1)\times\{e\}$. For each sink $u\in G^{0}$ define $D_{u}=[0,1)\times\{u\}$, and for each non sink $v\in G^{0}$ let $D_{v}=\bigcup\limits_{e\in s^{-1}(v)}R_{e}=[0,1)\times s^{-1}(v)$. Define $D_{\emptyset}=\emptyset$ and, for each non-empty $A\in\mathcal{G}^{0}$, let

[TABLE]

It is easy to see that $\{R_{e},D_{A}\}_{e\in\mathcal{G}^{1},A\in\mathcal{G}^{0}}$ satisfies Condition (1)–(4) of Definition 4.1. We prove that Condition 5 is satisfied.

Fix $e\in\mathcal{G}^{1}$. We have to construct $f_{e}$ and $f_{e}^{-1}$ that satisfy Condition 5. Since $D_{r(e)}=\bigcup\limits_{v\in r(e)}D_{v}$, and $r(e)$ and $s^{-1}(v)$ are countable sets, then $D_{r(e)}=[0,1)\times J$ where $J$ is a finite or countable set. If $J$ is finite then let $J=\{c_{1},...,c_{n}\}$, and for each $i\in\{1,...,n\}$ define $F_{i}:[\frac{i-1}{n},\frac{i}{n})\times\{e\}\to[0,1)\times\{c_{i}\}$ by $F_{i}(x,e)=(nx-i+1,c_{i})$, which is bijective. Piecing together $F_{i}$’s yields $f_{e}$, and piecing together $F_{i}^{-1}$’s yields $f_{e}^{-1}$. If $J$ is infinite let $J=\{c_{i}\}_{i\in\mathbb{N}}$, and for each $i\in\mathbb{N}$ define $F_{i}:[1-\frac{1}{i},1-\frac{1}{i+1})\times\{e\}\to[0,1)\times\{c_{i}\}$ by $F_{i}(x,e)=((i+1)ix-(i+1)(i-1),c_{i})$, which is bijective. Again, piecing together $F_{i}$’s yields $f_{e}^{-1}$, and piecing together $F_{i}^{-1}$’s yields $f_{e}$. $\square$

Remark 4.3

The result above extends Theorem 3.1 in [23] to uncountable graphs.

Next we describe how to construct representations of ultragraph Leavitt path algebras from branching systems.

Let $\mathcal{G}$ be an ultragraph, $R$ be a commutative unital ring and $X$ be a $\mathcal{G}$-algebraic branching system. Denote by $M$ the set of all maps from $M$ to $R$. Notice that $M$ is an $R$-module, with the usual operations. For a subset $Y\subseteq X$ we write $1_{Y}$ to denote the characteristic function of $Y$, that is $1_{Y}(x)=1$ if $x\in Y$, and $1_{Y}(x)=0$ otherwise (clearly $1_{Y}$ is an element of $M$). Finally, we denote by $Hom(M)$ the set of all $R$-homomorphisms from the $R$-module $M$ to $M$.

For each $e\in\mathcal{G}^{1}$ and $\phi\in M$ define

[TABLE]

and for each $A\in\mathcal{G}^{0}$ and $\phi\in M$ define

[TABLE]

Clearly, for each $e\in\mathcal{G}^{1}$ and $A\in\mathcal{G}^{0}$, we have that $S_{e},S_{e}^{*},\text{ and }P_{A}\in Hom(M)$.

Remark 4.4

To simplify our notation, for each $e\in\mathcal{G}^{1}$ and $\phi\in M$, we write $S_{e}(\phi)=\phi\circ f_{e}^{-1}$ and $S_{e}^{*}(\phi)=\phi\circ f_{e}$ instead of $S_{e}(\phi)=\phi\circ f_{e}^{-1}\cdot 1_{R_{e}}$ and $S_{e}^{*}(\phi)=\phi\circ f_{e}\cdot 1_{D_{r(e)}}$.

We end the section describing the representations induced by branching systems associated to an ultragraph $\mathcal{G}$.

Proposition 4.5

Let $\mathcal{G}$ be an ultragraph and let $\{R_{e},D_{A},f_{e}\}_{e\in\mathcal{G}^{1},A\in\mathcal{G}^{0}}$ be a $\mathcal{G}$-algebraic branching system on $X$. Then there exists a unique representation $\pi:L_{R}(\mathcal{G})\rightarrow Hom(M)$ such that $\pi(s_{e})(\phi)=S_{e}$, $\pi(s_{e}^{*})=S_{e}^{*}$, and $\phi(p_{A})=P_{A}$, or equivalently, such that $\pi(s_{e})(\phi)=\phi\circ f_{e}^{-1}$, $\pi(s_{e}^{*})(\phi)=\phi\circ f_{e}$ and $\phi(p_{A})(\phi)=\phi 1_{D_{A}}$, for each $e\in\mathcal{G}^{1}$, $A\in\mathcal{G}^{0}$, and $\phi\in M$.

Proof.

By the universal property of ultragraph Leavitt path algebras we only need to verify that the family $\{S_{e},S_{e}^{*},P_{A}\}_{e\in\mathcal{G}^{1},A\in\mathcal{G}^{0}}$ satisfy relations 1 to 4 in Definition 2.4. We show below how to verify relation 4 and leave the others to the reader.

Note that for $e\in\mathcal{G}^{1}$ and $\phi\in M$ we get $\pi(s_{e})\pi(s_{e}^{*})(\phi)=\pi(s_{e})(\phi\circ f_{e})=\phi\circ f_{e}\circ f_{e}^{-1}=\phi\cdot 1_{R_{e}}$. Now, let $v$ be a vertex such that $0<|s^{-1}(v)|<\infty$. Then for each $\phi\in M$, we have that

[TABLE]

and relation 4 in Definition 2.4 is proved. $\square$

Remark 4.6

In the previous theorem we can also take $M$ as being the $R$-module of all the maps from $X$ to $R$ with finite support, instead of all the maps from $X$ to $R$.

5 Faithful Representations of ultragraph Leavitt path algebras via Branching Systems

In this section we describe faithfulness of the representations induced by branching systems in terms of dynamical properties of the branching systems, and in terms of combinatorial properties of the ultragraph. Our first result follows below, linking faithfulness of the representations with the dynamics of the branching systems.

Theorem 5.1

Let $\mathcal{G}$ be an ultragraph, and $\{R_{e},D_{A},f_{e}\}_{e\in\mathcal{G}^{1},A\in\mathcal{G}^{0}}$ be an branching system such that $D_{A}\neq\emptyset$ for each $\emptyset\neq A\in\mathcal{G}^{0}$. Then the induced representation of $L_{R}(\mathcal{G})$ (from Proposition 4.5) is faithful if, and only if, for each closed cycle without exit $c=c_{1}...c_{k}$, and for each set finite set $F\subseteq\mathbb{N}$, there exists an element $z_{0}\in D_{r(c)}$ such that $f_{c}^{n}(z_{0})\neq z_{0}$, for each $n\in F$ (where $f_{c}=f_{c_{1}}...f_{c_{n}}$).

**Proof. **Let $\pi:L_{R}(\mathcal{G})\rightarrow Hom(M)$ be the homomorphism induced by Proposition 4.5.

Let $0\neq x\in L_{R}(\mathcal{G})$. By Theorem 3.2 there are elements $y,z\in L_{R}(\mathcal{G})$ such that $0\neq yxz$ and either $yxz=\lambda p_{A}$, for some $A\in\mathcal{G}^{0}$, or $yxz=\sum\limits_{i=1}^{k}\lambda_{i}s_{c}^{i}$, where $c$ is a cycle without exit.

If $yxz=\lambda p_{A}$, for some $A\in\mathcal{G}^{0}$, then $\pi(x)\neq 0$ since

[TABLE]

Suppose that $yxz=\sum\limits_{i=1}^{m}\lambda_{i}s_{c}^{i}$, where $c$ is a cycle without exit. Let $j$ be the least of the elements $i$ such that $\lambda_{i}\neq 0$. Define $\mu=(s_{c}^{j})^{*}yxz$, and note that $\mu=\lambda_{j}p_{v}+\sum\limits_{i=1}^{m-j}\widetilde{\lambda_{i}}s_{c^{i}}$, where $\widetilde{\lambda_{i}}=\lambda_{j+i}$ and $v=r(c)$.

Let $z_{0}\in D_{v}=D_{r(c)}$ be such that $f_{c}^{i}(z_{0})\neq z_{0}$ for each $i\in\{1,...,m-j\}$ (such $z_{0}$ exists by hypothesis). Let $\delta_{z_{0}}\in M$ be the map defined by $\delta_{z_{0}}(x)=1$ if $x=z_{0}$, and $\delta_{z_{0}}(x)=0$ otherwise. Notice that, for each $i\in\{1,...,m-j\}$, we have

[TABLE]

Therefore

[TABLE]

from where $\pi(\mu)\neq 0$ and hence $\pi(x)\neq 0$ (since $\mu=(s_{c}^{j})^{*}yxz$).

For the converse suppose that there exist a $j_{0}$, and a cycle $c$ without exits based at $w$ such that $f_{c}^{j_{0}}(z)=z$ for every $z\in D_{w}$. Then we have that $\pi(s_{c^{j_{0}}})=\pi(p_{w})$. To see that $p_{w}\neq s_{c^{j_{0}}}$ use Theorem 2.8 and the $\mathbb{F}$-grading of $D\rtimes_{\beta}\mathbb{F}$. So, $\pi$ is not injective.

$\square$

For ultragraphs that satisfy Condition (L) the above theorem has a simplified version. Recall that an ultragraph $\mathcal{G}$ satisfies Condition (L) if every closed path in $\mathcal{G}$ has an exit.

Corollary 5.2

Let $\mathcal{G}$ be an ultragraph satisfying Condition $(L)$, and let $\{R_{e},D_{A},f_{e}\}_{e\in\mathcal{G}^{1},A\in\mathcal{G}^{0}}$ be a branching system with $D_{A}\neq\emptyset$, for each $\emptyset\neq A\in\mathcal{G}^{0}$. Then the induced representation of $L_{R}(\mathcal{G})$ (from Theorem  4.5) is faithful.

For ultragraphs such that $s^{-1}(v)$ and $r(e)$ are finite or countable (for each vertex $v$ and each edge $e$) we also get the converse of the previous corollary. This is our next result.

Theorem 5.3

Let $\mathcal{G}$ be an ultragraph such that $s^{-1}(v)$ and $r(e)$ are finite or countable for each $v\in G^{0}$ and $e\in E^{1}$. Then $\mathcal{G}$ satisfies Condition $(L)$ if, and only if, for every algebraic branching system $\{R_{e},D_{A},f_{e}\}_{e\in\mathcal{G}^{1},A\in\mathcal{G}^{0}}$ with $D_{A}\neq\emptyset$, for each $\emptyset\neq A\in\mathcal{G}^{0}$, the induced representation of $L_{R}(\mathcal{G})$ (from Proposition 4.5) is faithful.

**Proof. **By Corollary 5.2 we only need to prove the converse. We do this proving the contrapositive, i.e., we prove that if $\mathcal{G}$ does not satisfy condition $(L)$ then there exists an algebraic branching system $\{R_{e},D_{A},f_{e}\}_{e\in\mathcal{G}^{1},A\in\mathcal{G}^{0}}$ with $D_{A}\neq\emptyset$, for each non-empty$A\in\mathcal{G}^{0}$, such that the representation induced by Proposition 4.5 is not faithful.

Suppose that $\mathcal{G}$ does not satisfy condition $(L)$. Then there exists a cycle $\alpha=(\alpha_{1},\dots,\alpha_{n})$ such that $|r(\alpha_{i})|=1$ and $s^{-1}(s(\alpha_{i}))=\{\alpha_{i}\}$, for all $i=1,\dots,n$, and $\alpha_{i}\neq\alpha_{j}$ if $i\neq j$.

By the proof of Theorem 4.2 there is a $\mathcal{G}$-branching system on $[0,1)\times(G^{0}\cup E^{1})$ such that $D_{r(\alpha_{i-1})}=D_{s(\alpha_{i})}=R_{\alpha_{i}}=[0,1)\times\{\alpha_{i}\}$, and $f_{\alpha_{i}}:D_{r(\alpha_{i})}\to R_{\alpha_{i}}$ is the bijective affine map $f_{\alpha_{i}}(x,\alpha_{i+1})=(x,\alpha_{i})$, for each $i=1,\dots,n$. Notice that $f_{\alpha_{1}}\circ f_{\alpha_{2}}...\circ f_{\alpha_{n}}=\mathrm{id}_{R_{\alpha_{1}}}$. Let $\pi$ be the representation associated with this branching system (as in Proposition 4.5). Then, for each $\phi\in M$, we have

[TABLE]

and hence $\pi(s_{\alpha_{n}}^{*})...\pi(s_{\alpha_{1}}^{*})=\pi(p_{s(\alpha_{1})})$.

To see that $\pi$ is not faithful it remains to show that $s_{\alpha_{n}}^{*}...s_{\alpha_{1}}^{*}\neq p_{s(\alpha_{1})}$. For this, we construct a branching system as follows: Let $\{D_{A}\}_{A\in\mathcal{G}^{0}}$ and $\{R_{e}\}_{e\in\mathcal{G}^{1}}$ be as above, and chose maps $\widetilde{f}_{\alpha_{1}},...\widetilde{f}_{\alpha_{n}}$ such that $\widetilde{f}_{\alpha_{1}}\circ...\circ\widetilde{f}_{\alpha_{n}}\neq Id_{R_{\alpha_{1}}}$. Let $x_{0}\in R_{\alpha_{1}}$ be such that $(f_{\alpha_{1}}\circ...\circ f_{\alpha_{n}})(x_{0})\neq x_{0}$, and chose an element $\varphi\in M$ such that $\varphi(x_{0})=1$ and $\varphi\circ(f_{\alpha_{1}}\circ...\circ f_{\alpha_{n}})(x_{0})=0$. Let $\widetilde{\pi}$ be the representation of $L_{R}(\mathcal{G})$ obtained by Proposition 4.5 from this branching system. Then

[TABLE]

and so $\widetilde{\pi}(s_{\alpha_{n}}^{*})...\widetilde{\pi}(s_{\alpha_{1}}^{*})\neq\widetilde{\pi}(p_{s(\alpha_{1})})$. It follows that $s_{\alpha_{n}}^{*}...s_{\alpha_{1}}^{*}\neq p_{s(\alpha_{1})}$, and hence the representation $\pi$ is not faithful. $\square$

We end this section showing that it is always possible to construct faithful representations of $L_{R}(\mathcal{G})$ arising from branching systems.

Proposition 5.4

Let $\mathcal{G}$ be an ultragraph such that $s^{-1}(v)$ and $r(e)$ are finite or countable for each $v\in G^{0}$ and $e\in E^{1}$. Then there exist a $\mathcal{G}$-branching system $\{R_{e},D_{A},f_{e}\}_{e\in\mathcal{G}^{1},A\in\mathcal{G}^{0}}$ such that the representation induced from Proposition 4.5 is faithful.

**Proof. **Let $\{R_{e},D_{A},f_{e}\}_{e\in\mathcal{G}^{1},A\in\mathcal{G}^{0}}$ be the $\mathcal{G}$-branching system obtained in Theorem 4.2. Following Theorem 5.1, all we need to do is to redefine some maps $f_{e}:D_{r(e)}\rightarrow R_{e}$ to get a branching system such that for each closed cycle $c$ without exit, and for each finite set $F\subseteq\mathbb{N}$, there is an element $z_{0}\in D_{r(c)}$ such that $f_{c}^{i}(z_{0})\neq z_{0}$ for each $i\in F$. Let $c=c_{1}...c_{n}$ be a closed cycle without exit, where $c_{i}$ are edges. Recall from the proof of Theorem  4.2 that $R_{e}=[0,1)\times\{e\}$ for each edge $e$, and $D_{v}=\bigcup\limits_{e\in s^{-1}(v)}R_{e}=[0,1)\times s^{-1}(v)$ for each non sink $v$. Since $c=c_{1}...c_{n}$ is a closed cycle without exit then $D_{r(c_{i})}=[0,1)\times c_{i+1}$ for each $i\in\{1,...,n-1\}$, and $D_{r(c_{n})}=[0,1)\times c_{1}$. Now, let $\theta\in(0,1)$ be an irrational number. Define, for each $i\in\{1,...,n-1\}$, $f_{c_{i}}:[0,1)\times c_{i+1}\rightarrow[0,1)\times c_{i}$ by $f_{c_{i}}(x,c_{i+1})=((x+\theta)mod(1),c_{i})$ and define $f_{c_{n}}:[0,1)\times c_{1}\rightarrow[0,1)\times c_{n}$ by $f_{c_{n}}(x,c_{1})=((x+\theta)mod(1),c_{n})$. Let $f_{c}:D_{r(c_{n})}\rightarrow R_{c_{1}}$ be the composition $f_{c}=f_{c_{1}}...f_{c_{n}}$, and notice that for each rational number $x\in[0,1)$ we get $f_{c}(x,c_{1})=(y,c_{1})$, where $y$ is an irrational number. Therefore $f_{c}(x,c_{1})\neq(x,c_{1})$ for each rational number $x\in[0,1)$. $\square$

6 Permutative representations

Our aim in this section is to show that under a certain condition over an ultragraph $\mathcal{G}$, each $R$-algebra homomorphism $\pi:L_{R}(\mathcal{G})\rightarrow A$ has a sub-representation associated to it which is equivalent to a representation induced by a $\mathcal{G}$-algebraic branching system.

Recall that given an $R$-algebra $A$ (where $R$ is a unital commutative ring), there exist an $R$-module $M$ and an injective $R$-algebra homomorphism $\varphi:A\rightarrow Hom_{R}(N)$ (see Section 5 of [23] for example). Composing a homomorphism from $L_{R}(\mathcal{G})$ to an $R$-algebra $A$ with the previous homomorphism $\varphi$ we get a homomorphism from $L_{R}(\mathcal{G})$ to $Hom_{R}(N)$. So we will only consider representations from $L_{R}(\mathcal{G})$ with image in $Hom_{R}(N)$, for some $R-$module $N$.

Next we set up notation and make a few remarks regarding a representation (an $R$-homomorphism) $\pi:L_{R}(\mathcal{G})\rightarrow Hom_{R}(N)$, where $N$ is an $R$-module.

For each $e\in\mathcal{G}^{1}$ define $M_{e}=\pi(s_{e}s_{e}^{*})(N)$, and for each $A\in\mathcal{G}^{0}$ define $N_{A}=\pi(p_{A})(N)$. Notice that $N_{e}$ and $N_{A}$ are sub-modules of $N$ and:

• •

$N_{e}\cap N_{f}=\{0\}$ for each $e\neq f$;

• •

$N_{e}\subseteq N_{s(e)}$ for each $e\in\mathcal{G}^{1}$;

• •

for each non sink $v\in\mathcal{G}^{0}$ we have $N_{v}=\left(\bigoplus\limits_{s(e)=v}N_{e}\right)\bigoplus O_{v}$, where $O_{v}$ is a submodule of $N_{v}$. If $|s^{-1}(v)|<\infty$ then $O_{v}=\{0\}$;

• •

for each $A\in\mathcal{G}^{0}$ $N_{A}=\left(\bigoplus\limits_{v\in A}N_{v}\right)\bigoplus O_{A}$, where $O_{A}$ is a submodule of $N_{A}$. If $A$ is finite then $O_{A}=\{0\}$.

• •

$\pi(s_{e}^{*})_{|_{N_{e}}}:N_{e}\rightarrow N_{r(e)}$ is an isomorphism for each $e\in\mathcal{G}^{1}$, with inverse $\pi(s_{e})_{|_{N_{r(e)}}}:N_{r(e)}\rightarrow N_{e}$.

Permutative representations were originally defined by Bratteli-Jorgensen in the context of representations of Cuntz algebras (see [9]). Without knowledge of Bratteli-Jorgensen definition the authors defined permutative representations, originally in the context of graph C*-algebras and then for Leavitt path algebras and ultragraph C*-algebras (see [24, 23, 19]), as representations that satisfy Condition (B2B). Next we define this condition in the context of Leavitt path algebra of ultragraphs.

Definition 6.1

Let $\pi:L_{R}(\mathcal{G})\rightarrow Hom_{R}(N)$ be an $R$-homomorphism. We say that $\pi$ is permutative if there exist bases $B$ of $N$, $B_{v}$ of $N_{v}$, $B_{r(e)}$ of $N_{r(e)}$ and $B_{e}$ of $N_{e}$, for each $v\in G^{0}$ and $e\in\mathcal{G}^{1}$, such that:

$B_{v}\subseteq B$* and $B_{r(e)}\subseteq B$ for each $v\in G^{0}$ and $e\in\mathcal{G}^{1}$,* 2. 2.

$B_{v}\subseteq B_{r(e)}$* for each $v\in r(e)$,* 3. 3.

$B_{e}\subseteq B_{s(e)}$* for each $e\in\mathcal{G}^{1}$,* 4. 4.

$\pi(s_{e})(B_{r(e)})=B_{e}$* for each $e\in\mathcal{G}^{1}$ $(B2B)$.*

Remark 6.2

The last condition of the previous definition is equivalent to $\pi(s_{e}^{*})(B_{e})=B_{r(e)}$, since the map $\pi(s_{e}):N_{r(e)}\rightarrow N_{e}$ is an $R$-isomorphism, with inverse $\pi(s_{e}^{*}):N_{e}\rightarrow N_{r(e)}$.

Notice that associated to a permutative representation $\pi:L_{R}(\mathcal{G})\rightarrow Hom_{R}(N)$ there are basis of $N$, $N_{v}$, $N_{r(e)}$, and $N_{e}$, for every $v\in G^{0}$ and $e\in\mathcal{G}^{1}$. From these basis we can build a basis of $N_{A}$, for every $A\in\mathcal{G}^{0}$. More precisely, for each $A\in\mathcal{G}^{0}$, following Lemma 2.3, write $A=\left(\bigcap\limits_{e\in X_{1}}r(e)\right)\cup...\cup\left(\bigcap\limits_{e\in X_{n}}r(e)\right)\bigcup F$, and define

[TABLE]

We then have the following.

Lemma 6.3

Let $\pi:L_{R}(\mathcal{G})\rightarrow Hom_{R}(N)$ be a permutative representation and $A\in\mathcal{G}^{0}$. Then the set $B_{A}$ is well defined (that is, does not depends on the description of $A$) and is a basis of $N_{A}$. Moreover, if $D\in\mathcal{G}^{0}$ then $B_{A\cup D}=B_{A}\cup B_{D}$ and $B_{A\cap D}=B_{A}\cap B_{D}$.

**Proof. **First we prove that $B_{A}$ is a basis of $N_{A}=\pi(p_{A})(N)$. For each $h\in B_{v}$, with $v\in F$, we have $\pi(p_{A})(\pi(p_{v})(h))=\pi(p_{v})(h)=h$ and so $h\in N_{A}$. Moreover, for $h\in\bigcap\limits_{e\in X_{i}}B_{r(e)}$, we get $\pi(p_{A})(\pi(p_{\bigcap\limits_{e\in X_{i}}r(e)})(h))=\pi(p_{\bigcap\limits_{e\in X_{i}}r(e)})(h)=h$ and so $h\in N_{A}$. Therefore, $B_{A}\subseteq N_{A}$. Next we show that $span(B_{A})=N_{A}$. Notice that, by definition, $N_{r(e)}=span(B_{r(e)})$ for each edge $e$, and $N_{v}=span(B_{v})$ for each vertex $v$. To show that $span(B_{A})=N_{A}$ for any $A\in\mathcal{G}^{0}$ we first need to prove the following:

Claim 1: For each finite set $X\subseteq\mathcal{G}^{1}$ it holds that $span(\bigcap\limits_{e\in X}B_{r(e)})=\bigcap\limits_{e\in X}span(B_{r(e)})$.

The inclusion $span(\bigcap\limits_{e\in X}B_{r(e)})\subseteq\bigcap\limits_{e\in X}span(B_{r(e)})$ is obvious. To prove the other inclusion, let $e,f$ be two edges, and let $h\in span(B_{r(e)})\cap span(B_{r(f)})$. Write $h=\sum\limits_{i=1}^{n}\alpha_{i}h_{i}=\sum\limits_{j=1}^{m}\beta_{j}k_{j}$, with $h_{i}\in B_{r(e)}$ for each $i$, $k_{j}\in B_{r(f)}$ for each $j$, and all $\alpha_{i}$ and $\beta_{j}$ non-zero. Then $\sum\limits_{i=1}^{n}\alpha_{i}h_{i}-\sum\limits_{j=1}^{m}\beta_{j}k_{j}=0$. If $h_{i}\notin\{k_{1},...,k_{m}\}$ for some $i$ then $\alpha_{i}=0$ (since $\{h_{1},...,h_{n}\}\cup\{k_{1},...,k_{m}\}\subseteq B$ and $B$ is linearly independent), which is impossible since $\alpha_{i}\neq 0$ for each $i$. So we get $\{h_{1},...,h_{n}\}\subseteq\{k_{1},...,k_{m}\}$. By the same arguments, applied to $k_{i}$, we obtain that $\{k_{1},...,k_{m}\}\subseteq\{h_{1},...,h_{n}\}$. Therefore $\{k_{1},...,k_{m}\}=\{h_{1},...,h_{n}\}$ and hence $\{h_{1},...,h_{n}\}\subseteq B_{r(e)}\cap B_{r(f)}$ and $h\in span(B_{r(e)}\cap B_{r(f)})$. The claim now follows by inductive arguments over the the cardinality of $X$.

We now prove that $N_{A}=span(B_{A})$

Suppose first that $A=\bigcap\limits_{e\in X_{1}}r(e)\cup\bigcap\limits_{f\in X_{2}}r(f)$. Then

[TABLE]

Notice that $\prod\limits_{e\in X_{1}}\pi(p_{r(e)})(N)\subseteq\pi(p_{r(e)})(N)=span(B_{r(e)})$ for each $e\in X_{1}$ and so $\prod\limits_{e\in X_{1}}\pi(p_{r(e)})(N)\subseteq\bigcap\limits_{e\in X_{1}}span(B_{r(e)})=span(\bigcap\limits_{e\in X_{1}}B_{r(e)})\subseteq span(B_{A})$, where the second to last equality follows from Claim 1. Similarly we get $\prod\limits_{f\in X_{2}}\pi(p_{r(f)})(N)\subseteq span(B_{A})$ and $\prod\limits_{e\in X_{1}}\pi(p_{r(e)})\prod\limits_{f\in X_{2}}\pi(p_{r(f)})(N)\subseteq span(B_{A})$. Therefore $N_{A}=\pi(p_{A})(N)\subseteq span(B_{A})$. The general case, that is, the case $A=\left(\bigcap\limits_{e\in X_{1}}r(e)\right)\cup...\cup\left(\bigcap\limits_{e\in X_{n}}r(e)\right)\bigcup F$ follows similarly and we leave the details to the reader.

Since the set $B$ is linearly independent and $B_{A}\subseteq B$ if follows that $B_{A}$ is linearly independent an hence $B_{A}$ is a basis of $N_{A}$. Furthermore, $B_{A}\subseteq B$ also implies that $B_{A}$ is well defined.

The last statement of the lemma follows directly from the definition of the sets $B_{A}$, $B_{D}$, $B_{A\cup D}$ and $B_{A\cap D}$, where $A,D\in\mathcal{G}^{0}$. $\square$

For the next theorem we recall the following definition:

Definition 6.4

Let $\pi:L_{R}(\mathcal{G})\rightarrow Hom_{K}(M)$ and $\varphi:L_{R}(\mathcal{G})\rightarrow Hom_{R}(N)$ be representations of $L_{R}(\mathcal{G})$, where $M$ and $N$ are $R$-modules. We say that $\pi$ is equivalent to $\varphi$ if there exists a $R$-module isomorphism $T:M\rightarrow N$ such that the diagram

[TABLE]

commutes, for each $a\in L_{R}(\mathcal{G})$.

It is not true that each representation of $L_{R}(\mathcal{G})$ is equivalent to a representation induced from an $\mathcal{G}$-algebraic branching system. See, for example, Remark 5.2 of [23]. However, we get the following theorem:

Theorem 6.5

Let $\varphi:L_{R}(\mathcal{G})\rightarrow Hom_{R}(N)$ be a permutative homomorphism, and let $B$ be a basis of $N$ satisfying the conditions of Definition 6.1. Suppose that $\varphi(p_{A})(h_{x})=0$ for each $h_{x}\in B\setminus B_{A}$ and $A\in\mathcal{G}^{0}$, and that $\varphi(s_{e}^{*})(h_{x})=0$ for each edge $e$ and $h_{x}\in B\setminus B_{e}$. Then there exists a $\mathcal{G}$-algebraic branching system $X$ such that the representation $\pi:L_{R}(\mathcal{G})\rightarrow Hom_{R}(M)$, induced by Proposition 4.5, is equivalent to $\varphi$, where $M$ is the $R$-module of all the maps from $X$ to $R$ with finite support.

**Proof. **Let $B=\{h_{x}\}_{x\in X}$ be a basis of $N$, with subsets $B_{e}$, $B_{v}$ and $B_{r(e)}$ for each edge $e$ and vertex $v$ satisfying the conditions of Definition 6.1. For each $A\in\mathcal{G}^{0}$, let $B_{A}$ be the set defined just before Lemma 6.3. For each $e\in\mathcal{G}^{1}$, define $R_{e}=\{x\in X:h_{x}\in B_{e}\}$ and $D_{r(e)}=\{x\in X:h_{x}\in B_{r(e)}\}$ (notice that $X$ is the index set of $B$). Moreover, for each $A\in\mathcal{G}^{0}$ define $D_{A}=\{x\in X:h_{x}\in B_{A}\}$. For a given edge $e$ recall that the map $\varphi(s_{e}):N_{r(e)}\rightarrow N_{e}$ is an isomorphism and that $\varphi(s_{e})(B_{r(e)})=B_{e}$. So we get a bijective map $f_{e}:D_{r(e)}\rightarrow R_{e}$, such that $\varphi(s_{e})(h_{x})=h_{f_{e}(x)}$.

It is not hard to see that $X$ together with the subsets $\{R_{e},D_{A}\}_{e\in\mathcal{G}^{1},A\in\mathcal{G}^{0}}$, and the maps $f_{e}:D_{r(e)}\rightarrow R_{e}$ defined above, is a $\mathcal{G}$-algebraic branching system. For example, to see that $D_{A\cap C}=D_{A}\cap D_{C}$ for $A,C\in\mathcal{G}^{0}$, notice that

[TABLE]

where the second to last equality follows from Lemma 6.3, more precisely, from the fact that $B_{A\cap C}=B_{A}\cap B_{C}$. Similarly the equality $D_{A\cup C}=D_{A}\cup D_{C}$ also holds. The verification of the other conditions of Definition 4.1 are left to the reader.

Let $M$ be the $R$ module of all the maps from $X$ to $R$ with finite support, and let $\pi:L_{R}(\mathcal{G})\rightarrow Hom_{R}(M)$ be the homomorphism induced as in Proposition 4.5 and Remark 4.6.

Let $\delta_{x}\in M$ be the map defined by $\delta_{x}(y)=0$ if $y\neq x$ and $\delta_{x}(x)=1$. Notice that $\{\delta_{x}\}_{x\in X}$ is a basis of $M$. Let $T:M\rightarrow N$ be the isomorphism defined by $T(\sum\limits_{i=1}^{n}k_{i}\delta_{x_{i}})=\sum\limits_{i=1}^{n}k_{i}h_{x_{i}}$.

It remains to show that $\varphi(a)=T\circ\pi(a)\circ T^{-1}$, for each $a\in L_{R}(\mathcal{G})$. Notice that for this it is enough to verify that $\varphi(s_{e})=T\circ\pi(s_{e})\circ T^{-1}$, $\varphi(s_{e}^{*})=T\circ\pi(s_{e}^{*})\circ T^{-1}$, and $\varphi(p_{A})=T\circ\pi(p_{A})\circ T^{-1}$, for each edge $e$ and $A\in\mathcal{G}^{0}$.

Let $A\in\mathcal{G}^{0}$. We show that, for each $h_{x}\in B$, $\varphi(p_{A})(h_{x})=(T\circ\pi(p_{A})\circ T^{-1})(h_{x})$. For this, suppose that $h_{x}\in B_{A}$. Then

[TABLE]

If $h_{x}\in B\setminus B_{A}$ then $\varphi(p_{A})(h_{x})=0$ by hypothesis and, since $x\notin D_{A}$, we also have $\pi(p_{A})(\delta_{x})=0$. Hence $(T\circ\pi(p_{A}))(T^{-1}(h_{x}))=\varphi(p_{A})(h_{x})$ for each $h_{x}\in B$, and therefore $T\circ\pi(p_{A})\circ T^{-1}=\varphi(p_{A})$.

Next we show that $\varphi(s_{e})=T\circ\pi(s_{e})\circ T^{-1}$. Let $h_{x}\in B_{r(e)}$. Then $\varphi(s_{e})(h_{x})=h_{f_{e}(x)}$, and $T(\pi(s_{e})(T^{-1}(h_{x})))=T(\pi(s_{e})(\delta_{x}))=T(\delta_{x}\circ f_{e}^{-1})=T(\delta_{f_{e}(x)})=h_{f_{e}(x)}$. For $h_{x}\in B\setminus B_{r(e)}$ we get $\varphi(s_{e})(h_{x})=\varphi(s_{e})\varphi(s_{e}^{*})\varphi(s_{e})(h_{x})=\varphi(s_{e})\varphi(p_{r(e)})(h_{x})=0$ (since $\varphi(p_{r(e)})(h_{x})=0$ by hypothesis), and $\pi(s_{e})(T^{-1}(h_{x}))=\pi(s_{e})(\delta_{x})=\delta_{x}\circ f_{e}^{-1}.1_{R_{e}}=0$ since $x\notin D_{r(e)}$.

It remains to prove that $\varphi(s_{e}^{*})=T\circ\pi(s_{e}^{*})\circ T^{-1}$. For $h_{x}\in B\setminus B_{e}$ we have that $\varphi(s_{e}^{*})(h_{x})=0$ by hypothesis, and $T(\pi(s_{e}^{*})(T^{-1}(h_{x})))=T(\pi(s_{e}^{*})(\delta_{x}))=T(\delta_{x}\circ f_{e}.1_{D_{r(e)}})=0$, since $x\notin R_{e}$. For $h_{x}\in B_{e}$ we get $\varphi(s_{e}^{*})(h_{x})=h_{f_{e}^{-1}(x)}$, and $T(\pi(s_{e}^{*})(T^{-1}(h_{x})))=T(\pi(s_{e}^{*})(\delta_{x}))=T(\delta_{x}\circ f_{e}.1_{D_{r(e)}})=T(\delta_{f_{e}^{-1}(x)})=h_{f_{e}^{-1}(x)}$. $\square$

Remark 6.6

If $e$ is an edge in $\mathcal{G}$ such that $s(e)$ is a finite emitter then, in the previous theorem, the hypothesis $\pi(s_{e}^{*})(h)=0$ for each $h\in B\setminus B_{e}$, follows from the hypothesis $\pi(p_{A})(h)=0$ for each $h\in B\setminus B_{A}$. In fact, let $v=s(e)$. Since $p_{v}=\sum\limits_{s(f)=v}\pi(s_{f})\pi(s_{f})^{*}$ (because $s^{-1}(v)$ is finite) then $B_{v}=\bigcup\limits_{f\in s^{-1}(v)}B_{f}$, where the last union is a disjoint union. Then, for $h\in B\setminus B_{v}$, we get $\pi(p_{v})(h)=0$ (by hypothesis). For $h\in B_{v}\setminus B_{e}$, let $f\in s^{-1}(v)$ be such that $h\in B_{f}$ and $f\neq e$. Notice that $h=\pi(s_{f})\pi(s_{f}^{*})(h)$, and then $\pi(s_{e}^{*})(h)=\pi(s_{e}^{*})\pi(s_{f})\pi(s_{f}^{*})(h)=0$, since $\pi(s_{f})\pi(s_{f}^{*})=0$.

Therefore, if $\mathcal{G}$ has no infinite emitters, the hypothesis $\pi(s_{e}^{*})(h)=0$ for each $h\in B\setminus B_{e}$ is unnecessary.

We now proceed to describe ultragraphs for which a large class of representations is permutative. We recall some definitions and propositions from [19].

Definition 6.7** ([19], Definition 6.5)**

Let $\mathcal{G}$ be an ultragraph. An extreme vertex is an element $A\in r(\mathcal{G}^{1})\cup s(\mathcal{G}^{1})$ satisfying

either $A=r(e)$ for some edge $e$ and $A\cap r(\mathcal{G}^{1}\setminus\{e\})=\emptyset=A\cap s(\mathcal{G}^{1})$; or 2. 2.

$A=s(e)$* for some edge $e$ and $A\cap s(\mathcal{G}^{1}\setminus\{e\})=\emptyset=A\cap r(\mathcal{G}^{1})$.*

The edge $e$ associated to an extreme vertex $A$ as above is called the extreme edge of $A$.

Let $\mathcal{G}$ be an ultragraph. Define the set of isolated vertices of $\mathcal{G}$ to be

[TABLE]

and define the ultragraph $\mathbb{G}_{0}:=(G^{0}\setminus I_{0},\mathcal{G}^{1},r,s)$. Denote by $X_{1}$ the set of extreme vertices of $\mathbb{G}_{0}$, let $\overline{X_{1}}=\bigcup\limits_{A\in X_{1}}A$, and denote by $Y_{1}$ the set of extreme edges of $\mathbb{G}_{0}$. Notice that the extreme vertices and the extreme edges of $\mathcal{G}$ and $\mathbb{G}_{0}$ are the same. Denote by $I_{1}$ the set of isolated vertices of the ultragraph \Big{(}G^{0}\setminus(I_{0}\cup\overline{X_{1}}),\mathcal{G}^{1}\setminus Y_{1},r,s\Big{)}, and define

[TABLE]

Now, define $X_{2}$ and $Y_{2}$ as being the extreme vertices and extreme edges of the ultragraph $\mathbb{G}_{1}$, let $\overline{X_{2}}=\bigcup\limits_{A\in X_{2}}A$, let $I_{2}$ be the isolated vertices of the ultragraph

[TABLE]

and let

[TABLE]

Inductively, while $X_{n}\neq\emptyset$, we define the ultragraphs $\mathbb{G}_{n}$ and the sets $X_{n+1}$, of extreme vertices of $\mathbb{G}_{n}$, and $Y_{n+1}$, of extreme edges $\mathbb{G}_{n}$. We also define the sets $\overline{X_{n+1}}=\bigcup\limits_{A\in X_{n}}A$ and the set of isolated vertices $I_{n+1}$ of the ultragraph $\mathbb{G}_{n}$.

Notice that there is a bijective correspondence between the sets $X_{n}$ and $Y_{n}$, associating each extreme vertex $A\in X_{n}$ to an unique extreme edge $e\in Y_{n}$. For each $A\in X_{n}$, let $e\in Y_{n}$ be the (unique) edge associated to $A$. If $A=r(e)$ then $A$ is called a final vertex of $X_{n}$ and, if $A=s(e)$, then $A$ is called an initial vertex of $X_{n}$. We denote the set of initial vertices of $X_{n}$ by $X_{n}^{\mathrm{ini}}$ and the set of final vertices of $X_{n}$ by $X_{n}^{\mathrm{fin}}$.

The following theorem is the algebraic version of [19, Theorem 6.8]. Until this moment, the coefficient ring $R$ in the Leavitt path algebras of ultragraphs appearing in this paper was assumed only to be a unital commutative ring. However, for general modules over commutative rings, it is not true that each submodule has a basis. But this fact, which we need in the next theorem, is true if $R$ is a field.

Theorem 6.8

Let $\mathcal{G}$ be an ultragraph, $R$ be a field, $N$ be an $R$-module, and let $\pi:L_{R}(\mathcal{G})\rightarrow Hom_{R}(N)$ be a representation. Let $N_{r(e)}$ and $N_{v}$ be as in the beginning of this section. Suppose that $N_{r(e)}=\oplus_{v\in r(e)}N_{v}$, for each $e\in\mathcal{G}^{1}$. If there exists $n\geq 1$ such that $X_{1},\dots,X_{n}\neq\emptyset$, and \Big{(}\bigcup\limits_{e\in\mathcal{G}^{1}}r(e)\Big{)}\cup s(\mathcal{G}^{1})=\bigcup\limits_{i=1}^{n}(\overline{X_{i}}\cup I_{i}), then $\pi$ is permutative.

**Proof. **The proof of this theorem is analogous to the proof of Theorem 6.8 in [19]. The only difference is that in the proof of Theorem 6.8 in [19] the bases are orthonormal bases, while here they are bases only. $\square$

Remark 6.9

The ideas of the proof of the previous theorem may be applied to a larger class of ultragraphs than the one satisfying the hypothesis of the theorem. For example, the ultragraph $\mathcal{G}$

…v_{4}$$v_{3}$$v_{2}$$>$$>$$>$$u_{11}$$u_{12}$$u_{13}$$>⋮u_{22}$$u_{23}$$>⋮u_{21}$$u_{31}…e_{3}$$e_{2}$$h_{1}$$h_{2}$$h_{3}*

does not satisfy the hypothesis of the previous theorem, but each representation $\pi:L_{R}(\mathcal{G})\rightarrow Hom_{R}(N)$ is permutative. See [Remark 6.9, [19]] for more details.

We end the paper with the following result, regarding unitary equivalence of representations.

Theorem 6.10

Let $\mathcal{G}$ be an ultragraph and suppose that there exists $n\geq 1$ such that $X_{1},\dots,X_{n}\neq\emptyset$, and \Big{(}\bigcup\limits_{e\in\mathcal{G}^{1}}r(e)\Big{)}\cup s(\mathcal{G}^{1})=\bigcup\limits_{i=1}^{n}(\overline{X_{i}}\cup I_{i}). Let $R$ be a field, $N$ be an $R$-module, and let $\pi:L_{R}(\mathcal{G})\rightarrow Hom_{R}(N)$ be a representation. Let $N_{r(e)}$, $N_{e}$ and $N_{v}$ be as in the beginning of this section. Suppose that $N_{r(e)}=\oplus_{v\in r(e)}N_{v}$, for each $e\in\mathcal{G}^{1}$. Let $M=\pi(L_{R}(\mathcal{G}))(N)$, and let $\widetilde{\pi}:L_{R}(\mathcal{G})\rightarrow Hom_{R}(M)$ be the restriction of $\pi$. If $N_{v}=\bigoplus_{e\in s^{-1}(v)}N_{e}$, for each vertex $v$ which is not a sink, then $\widetilde{\pi}$ is equivalent to a representation induced by a branching system.

**Proof. **By Theorem 6.8 we get that $\widetilde{\pi}$ is permutative. Let $B$ be the basis obtained in the proof of Theorem 6.8, that is, $B$ is a basis of $M$, $B_{v}$ is a basis of $\widetilde{\pi}(p_{v})(M)$ for each vertex $v$, $B_{e}$ is a basis of $\widetilde{\pi}(s_{e})\widetilde{\pi}(s_{e}^{*})(M)$ for each edge $e$, $B_{v}\supseteq B_{e}$ for each $e\in s^{-1}(v)$, and $B_{v}\subseteq B$ for each vertex $v$. Moreover, by hypothesis, $B_{r(e)}=\bigcup\limits_{v\in r(e)}B_{v}$. Notice that $B=\bigcup\limits_{v\in G^{0}}B_{v}$. By Theorem 6.5, we need to show that $\widetilde{\pi}(p_{A})(h_{x})=0$ for each $h_{x}\in B\setminus B_{A}$, and $\widetilde{\pi}(s_{e}^{*})(h_{x})=0$ for all $h_{x}\in B\setminus B_{e}$.

Let $h_{x}\in B\setminus B_{A}$. Then $h_{x}\in B_{u}$ for some $u\notin A$, and so $\widetilde{\pi}(p_{A})(h_{x})=\widetilde{\pi}(p_{A})\widetilde{\pi}(p_{u})(h_{x})=0$ ( $\widetilde{\pi}(p_{A})\widetilde{\pi}(p_{u})=0$).

Let $e$ be an edge and $h_{x}\in B\setminus B_{e}$. If $h_{x}\in B_{u}$ with $u\neq s(e)$ then $\widetilde{\pi}(s_{e}^{*})(h_{x})=\widetilde{\pi}(s_{e}^{*})\widetilde{\pi}(p_{s(e)})(h_{x})=0$ since $\widetilde{\pi}(p_{s(e)})(h_{x})=0$. So, let $h_{x}\in B_{u}$ with $u=s^{-1}(e)$. Since $B_{u}=\bigcup\limits_{f\in s^{-1}(u)}B_{f}$, there exists $f\in s^{-1}(u)$ with $f\neq e$ such that $h_{x}\in B_{f}$. From the proof of the previous theorem we get that $B_{f}=\widetilde{\pi}(s_{f})(B_{r(f)})$, and so $h_{x}=\widetilde{\pi}(s_{f})(h)$ for some $h\in B_{r(f)}$. Then $\widetilde{\pi}(s_{e}^{*})(h_{x})=\widetilde{\pi}(s_{e}^{*})\widetilde{\pi}(s_{f})(h)=0$ since $\widetilde{\pi}(s_{e}^{*})\widetilde{\pi}(s_{f})=0$.

$\square$

Remark 6.11

Note that in the previous theorem, the condition $N_{v}=\bigoplus_{e\in s^{-1}(v)}N_{e}$ is automatically satisfied if $0<|s^{-1}(v)|<\infty$.