arxiv: v3 [math.ra] 6 Jul 2018

Transcription

1 SIMPLICITY OF SKEW INVERSE SEMIGROUP RINGS WITH APPLICATIONS TO STEINBERG ALGEBRAS AND TOPOLOGICAL DYNAMICS arxiv: v3 [math.ra] 6 Jul 208 VIVIANE BEUTER, DANIEL GONÇALVES, JOHAN ÖINERT, AND DANILO ROYER Abstract. Given a partial action π of an inverse semigroup S on a ring A one may construct its associated skew inverse semigroup ring A π S. Our main result asserts that, when A is commutative, the ring A π S is simple if, and only if, A is a maximal commutative subring of A π S and A is S-simple. We apply this result in the context of topological inverse semigroup actions to connect simplicity of the associated skew inverse semigroup ring with topological properties of the action. Furthermore, we use our result to present a new proof of the simplicity criterion for a Steinberg algebra A R (G) associated with a Hausdorff and ample groupoid G.. Introduction The notion of a partial action of a group on a C*-algebra, and the construction of its associated crossed product C*-algebra (initially introduced by Exel [8]), is a key ingredient in the study of many C*-algebras, e.g. Cuntz-Krieger algebras [20], Cuntz-Li algebras [5], graph C*-algebras [8], ultragraph C*-algebras [28, 29], and algebras associated with Bratteli diagrams [23, 26], to name a few. In a purely algebraic context, partial skew group rings were introduced by Dokuchaev and Exel [6] as a generalization of classical skew group rings and as an algebraic analogue of partial crossed product C*-algebras. The theory of partial skew group rings, which is still quite young, is less developed than its analytical counterpart, but it has evolved quickly in recent years. In particular many important algebras, such as Leavitt path algebras [27] and ultragraph Leavitt path algebras [30], can be realized as partial skew group rings and general results about the theory, as the ones in [3, 7, 24, 25, 32], have been applied to study these algebras (see [5] for a comprehensive overview of developments in the theory of partial actions). This recent development of the area indicates that the theory of non-commutative rings may benefit from the theory of partial skew group rings. In this article we shall be concerned with skew inverse semigroup rings. This class of rings was introduced by Exel and Vieira (see e.g. [4, 22]) and generalizes the class of partial skew group rings (see [22, Theorem 3.7]). Our interest to study this class of rings comes from its connections with topological dynamics (see Section 4), and the fact that any Steinberg algebra, associated with a Hausdorff and ample groupoid, can be realized as a skew inverse semigroup ring (see [4]). Recall that Steinberg algebras were introduced by Steinberg in [33] and, independently, by Clark et al. in [3] (see Section 5 for the definition). They are algebraisations of Renault s C*-algebras of groupoids. Lately, Steinberg algebras have attracted a lot of attention, partly since they include all Kumjian-Pask algebras of higher-rank graphs introduced in [] and therefore also all Leavitt path algebras. For some examples of the theory of Steinberg algebras, we refer the reader to [9,, 4, 34]. The interplay between topological dynamics and crossed products algebras is a driving force in the field of C*-algebras and has motivated the study of relations between topological dynamics and purely algebraic objects (as Steinberg algebras). By applying our main results we can describe connections between simplicity of the skew inverse semigroup ring associated with a topological Date: 208/07/ Mathematics Subject Classification. 6S99, 6W22, 6W55, 22A22, 37B05. Key words and phrases. skew inverse semigroup ring, Steinberg algebra, partial action, inverse semigroup. The second autor was partially supported by CNPq- Conselho Nacional de Desenvolvimento Científico e Tecnológico - Brazil.

2 2 VIVIANE BEUTER, DANIEL GONÇALVES, JOHAN ÖINERT, AND DANILO ROYER partial action and topological properties of the action. The techniques we employ here are quite different from the ones used in [25]. This article is organized as follows. In Section 2, we recall some important properties of partial actions of inverse semigroups and the construction of the skew inverse semigroup ring. For the latter a quotient by an ideal, which we denote by N, is necessary. We provide a description of this ideal in Lemma 2.3. In Section 3, we define the diagonal of A π S, denoted by D, which is isomorphic to A (see Proposition 3.). Furthermore, we prove our main result, which yields a complete characterization of simplicity of skew inverse semigroup rings in the case when A is commutative (see Theorem 3.7). In Section 4 we apply our result in the context of topological dynamics: Given an topological partial action of an inverse semigroup on a zero-dimensional locally compact Hausdorff space, we show that the associated skew inverse semigroup ring is simple if, and only if, the action is minimal, topologically principal and a certain condition on the existence of functions with non-empty support in ideals of the skew inverse semigroup ring holds. (The aforementioned condition has the same flavour as the one presented in [2] for groupoids. We were not aware of the work in [2] while developing Section 4.) Finally, in Section 5, based on the above mentioned work of Beuter and Gonçalves [4], we apply our main result to get a new proof of the simplicity criterion for a Steinberg algebra A R (G) associated with a Hausdorff and ample groupoid G (see Theorem 5.3). 2. Preliminaries 2.. Inverse semigroups and their partial actions. Throughout this article S will denote an inverse semigroup. Recall that this means that S is a semigroup such that for each element s S there is a unique element s S satisfying ss s = s and s ss = s. We denote by E(S) = {e S e 2 = e} the set of idempotents of S. E(S) is a commutative sub-inverse semigroup of S and it is moreover a lattice under the partial order: e f if and only if e = ef. This partial order can be extended to S by putting s t s = ts s s = ss t, for any s,t S. Products and inverses in S are preserved by this partial order in the sense that if s t and u v, then su tv; if s t, then s t. It is easy to see that es s and se s, for any s S and e E(S). In particular, if S is unital then e, for any e E(S). We now introduce the type of partial action that we shall be concerned with in this article. Definition 2.. A partial action of an inverse semigroup S on a ring A is a collection of ideals {D s } s S of A and ring isomorphisms {π s : D s D s } s S such that, for any s,t S, the following three assertions hold: (i) A, viewed as an additive group, is generated by the set e E(S) D e; (ii) π s (D s D t ) = D s D st ; (iii) π s (π t (x)) = π st (x), for all x D t D t s. The following proposition shows how Definition 2. is related to e.g. [4, Definition 2.4] and [7, Definition 3.3]. Proposition 2.2. Let ({π s } s S,{D s } s S ) be a partial action of S on a ring A, as defined in Definition 2.. The following assertions hold: (a) D s D ss, for any s S; (b) π e = id De, for any e E(S); (c) πs = π s, for any s S; (d) Let s,t S. If s t, then D s D t ; (e) Let s,t S. If s t, then π s (x) = π t (x), for all x D s. (f) If S is unital, then D = A and π = id A ;

3 SIMPLICITY OF SKEW INVERSE SEMIGROUP RINGS 3 Proof. (a): From Definition 2.(ii) we get that D s = π s (D s D s ) = D s D ss D ss. (b): Notice that e = e for each e E(S). Take any x D e D (e ) 2 = D e = D e. By Definition 2.(iii) we get that π e (π e (x)) = π e 2(x) = π e (x) which shows that π e = id De. (c): Take any x D s. By (a) we get that x D ss = D (ss ) and hence, by Definition 2.(iii), we may write π s (π s (x)) = π ss (x). Using the fact that ss E(S) we get, by (b), that π s (π s (x)) = x. Analogously one may show that π s (π s (x)) = π s s(x) = x, for all x D s. This shows that πs = π s. (d): Take any y D s. Put x = πs (y) D s. Using that s t we get that s = ts s. By (a) we notice that x D s D s s = D (ts s) D (s s). Hence, using Definition 2.(iii) we get that y = π s (x) = π ts s(x) = π t (π s s(x)) D t. This shows that D s D t. (e): We have that s t and by (d) we get that D s D t. Moreover,s = ts s and s = s st. For every x D s we have that x D s s D s st. Hence, by Definition 2.(iii), we conclude that π s (x) = π ts s(x) = π t (π s s(x)) = π t (x). (f): We know that if S is unital, then e for every e E(S). By (a) we get that D s D ss D. Hence, Definition 2.(i) yields that A = D and by (b) we get that π = id A The skew inverse semigroup ring. Given a partial action ({π s } s S,{D s } s S ) of S on a ring A, the construction of the corresponding skew inverse semigroup ring is done in three steps. () First we consider the set L = { finite s S a s δ s as D s } where δ s, for s S, is a formal symbol. We equip L with component-wise addition and with a multiplication defined as the linear extension of the rule (a s δ s )(b t δ t ) = π s (π s (a s )b t )δ st. If we assume that A is associative, which we will, then using the assumption that A and each D s, s S, have local units one can show that L is an associative ring (see [22, Theorem 3.4]). (2) Then, we consider the ideal N = aδ r aδ s r,s S, r s and a D r, i.e. N is the ideal of L generated by all elements of the form aδ r aδ s, where r s and a D r. (Notice that a D s, by Proposition 2.2(d).) (3) Finally, we define the corresponding skew inverse semigroup ring, which we denote by A π S, as the quotient ring L/N. Elements of A π S will be written as x, where x L. It is not difficult to see that the construction of L yields a ring which is a generalization of a partial skew group ring [6]. But in fact, one can also show that even A π S is a generalization of a partial skew group ring. Indeed, given a partial skew group ring A α G one may define Exel s semigroup S G (see e.g. [9]) associated with the group G and construct a certain skew inverse semigroup ring A π S G which is isomorphic to A α G (see [22, Theorem 3.7]). Next we describe the ideal N which was used above to define A π S. Recall that a ring R is said to have local units if, for every finite subset F of R, there exists an idempotent f R such that F frf. In this case, x = fx = xf holds for each x F and the element f will be referred to as a local unit for the set F.

4 4 VIVIANE BEUTER, DANIEL GONÇALVES, JOHAN ÖINERT, AND DANILO ROYER Lemma 2.3. The ideal N is equal to the additive group generated by the set {aδ r aδ s r,s S, r s and a D r }. Proof. It is enough to show that for r,s,t,u S with r s, and a D r, b D t, c D u, it holds that the elements bδ t (aδ r aδ s ), (aδ r aδ s )cδ u and bδ t (aδ r aδ s )cδ u are all of the form xδ v xδ w for some v,w S and x D v, such that v w. Notice that bδ t (aδ r aδ s ) = bδ t aδ r bδ t aδ s = π t (π t (b)a)δ tr π t (π t (b)a)δ ts and, since tr ts, we are done in this case. In the next case we get (aδ r aδ s )cδ u = π r (π r (a)c)δ ru π s (π s (a)c)δ su. Using that r s we get that r s and ru su. By Proposition 2.2(e), π r (a) = π s (a) and π r (π r (a)c) = π r (π s (a)c) = π s (π s (a)c) and hence the desired conclusion follows. Finally, notice that bδ t (aδ r aδ s )cδ u is of the form (xδ tr xδ ts )cδ u by the first case, and now, by the second case, (xδ tr xδ ts )cδ u has the desired form. Remark 2.4. Let s,t S. Notice that if s t and a D s, then aδ s = aδ t. Just as for the skew group rings, we may define an additive map τ : L A defined by ( ) τ a s δ s = s. s Sa s S Remark 2.5. By Lemma 2.3, we have that τ(n) = {0} and hence we get a well-defined additive map τ : A π S A defined by τ(x) = τ(x), for x L. Lemma 2.6. Let H L be the set of all homogeneous elements of L, that is, H = {a s δ s s S and a s D s }. Then H N = {0}. Proof. Take x H N. Then x = a s δ s for some s S and a s D s. By applying τ on x we get that a s = τ(a s δ s ) = τ(x) = 0, where the last equality follows from Lemma 2.3. This shows that x = Simplicity of skew inverse semigroup rings Throughout this section we shall make the following assumption: Any given partial action ({π s } s S,{D s } s S ) of S on a ring A has the property that A and each ideal D s, for s S, have local units. We define the diagonal of A π S as the following set: { n } D = a i δ ei n Z+, e i E(S), a i D ei. Proposition 3.. Let A be a commutative and associative ring. Then A is embedded in A π S and is isomorphic to D, which is a commutative subring of A π S. Proof. It is easy see that D is a subring of A π S because, by Proposition 2.2(b), ( ) n m m a i δ ei b j δ fj = a i b j δ eif j D. j= j= Commutativity of D follows from the fact that A and E(S) are commutative. Next we show that D is isomorphic to A. Notice that, by Definition 2.(i), given a A we can write a = n a e i, where n Z +, e i E(S), and a ei D ei for each i {,...,n}. Let φ : A D be the map defined by φ(a) = a ei δ ei, for a = n a e i A. Clearly, φ is additive.

5 SIMPLICITY OF SKEW INVERSE SEMIGROUP RINGS 5 We prove by induction that φ is well-defined. More precisely, we will show that if n a e i = 0 for n Z +, e i E(S), and a ei D ei for i {,...,n}, then n a e i δ ei = 0. If a e = 0, then clearly a e δ e = 0. Let n Z + be arbitrary. As our induction hypothesis, suppose that if n a e i = 0, then n a e i δ ei = 0. Now, let f E(S), a f D f, and suppose that a f + n a e i = 0. Let u A be a local unit for a f,a e,...,a en, and let u f D f be a local unit for a f. Then ( ) ( n ) 0 = (u u f ) a f + a ei = ua f u f a f +(u u f ) a ei ( n ) = a f a f +(u u f ) a ei = (u u f )a ei. By the induction hypothesis, we conclude that n (u u f)a ei δ ei = 0. Using this, together with Remark 2.4 and the fact that fe i e i and fe i f, and hence D fei = D f D ei, for each i {,...,n}, we get that a ei δ ei = u f a ei δ ei = u f a ei δ fei = u f a ei δ f Therefore, ( n ( = u f a ei )δ n f = u f a ei )δ f = (u f ( a f ))δ f = a f δ f. aδ f + a ei δ ei = 0, proving that φ is well-defined. Clearly, φ is onto and multiplicative (using Proposition 2.2(b)) and thus a surjective ring morphism. Now, consider the map τ which was defined in Remark 2.5. Notice that ( n ) ( n ) τ φ a ei = τ a ei δ ei = a ei, that is, τ φ = id A, and hence φ is injective. Remark 3.2. Suppose that S is unital, with identity element S. In this case, if e E(S), then e, and therefore for each a D e we have aδ e = aδ. Hence, Aδ = D. It does not make sense to speak of the support-length of an element in the quotient ring A π S. However, given any element a A π S we may speak of the minimal support-length of a representative of a, i.e. an element x L such that a = x. We make the following definition. Definition 3.3. For each non-zero a A π S we define the number { n(a) = min F a = } a s δ s and a s 0 for all s F, where F denotes the cardinality of the finite set F. Our goal is to give a characterization of simplicity for skew inverse semigroup rings A π S in the case when A is commutative (see Theorem 3.7). By Proposition 3., the ring A is isomorphic to D which is a subring of A π S. Therefore, we will identify A with D and use A and D interchangeably. Recall that the centralizer of a non-empty subset M of a ring R, denoted by C R (M), is the set of all the elements of R that commute with each element of M. If C R (M) = M holds, then M is said to be maximal commutative in R. Notice that a maximal commutative subring is necessarily commutative.

6 6 VIVIANE BEUTER, DANIEL GONÇALVES, JOHAN ÖINERT, AND DANILO ROYER Theorem 3.4. Let A be an associative and commutative ring. Then A is a maximal commutative subring of A π S if, and only if, J A {0} for each non-zero ideal J of A π S. Proof. We first show the if statement. To this end, suppose that A = D is not a maximal commutative subring of A π S. We now wish to conclude that there is some non-zero ideal J of A π S such that J D = {0}. Let c = c s δ s (A π S) \ D be an element which commutes with all the elements of D. Since c commutes with aδ e, for each e E(S) and a D e, we get that ac s δ es = π s (π s (c s )a)δ se, and hence ac s δ es π s (π s (c s )a)δ se N. Using that τ(n) = {0} we get that () (ac s π s (π s (c s )a)) = 0. Notice that x := c s δ ss c s δ s 0. Otherwise we would havec = c s δ s = c s δ ss D. Now, let J be the non-zero ideal of A π S generated by the element x. Each element of J is a finite sum of elements of the form a u δ u xa v δ v, a u δ u x and xa v δ v for u,v S and a u D u, b v D v. By Proposition 2.2(b) and the fact that ss E(S) we notice that a u δ u xa v δ v = a u δ u ( = and hence, by Equation (), we get that τ ( a u δ u xa v δ v ) = c s δ ss c s δ s )a v δ v π u (π u (a u )c s a v )δ uss v π u (π u (a u )π s (π s (c s )a v ))δ usv, π u (π u (a u )π s (π s (c s )a v )) π u (π u (a u )c s a v ) ( = π u π u (a u ) (c ) s a v π s (π s (c s )a v )) = 0. Analogously, one may show that τ(a u δ u x) = 0 and τ(xa v δ v ) = 0. This shows that τ(j) = {0}. Take any y J D. Then y = n a iδ ei, for some n Z + and e i E(S), a i D ei for i {,...,n}. Notice that ( n ) a i = τ a i δ ei = τ(y) = 0. Hence y = 0 (for the same reason that φ is well-defined in Proposition 3.). We now conclude that J D = {0}. Now we show the only if statement. Suppose that D = A is a maximal commutative subring of A π S. Let J be a non-zero ideal of A π S. Take x J \{0} such that n(x) = min{n(y) y J \{0}} and write x = x s δ s, where F = n(x). Choose some h F, and let h D h be a local unit for x h. By Proposition 2.2(a), h D hh. Notice that h δ hh x = x h δ h + h x s δ hh s. Using that hh s s, for each s S, we get that h x s δ hh s = h x s δ s and hence h δ hh x = x h δ h + h x s δ s.

7 Let y = x h δ hh x = SIMPLICITY OF SKEW INVERSE SEMIGROUP RINGS 7 and y J we conclude that y = 0. Thus, we have that ( h x s x s )δ s and notice that y J. Using that n(x) is minimal x = x h δ h + h x s δ s. h x s δ s = x s δ s and hence In particular, h δ hh x = x 0 and, since h δ hh x = h δ h π h ( h )δ h x, we have that π h ( h )δ h x 0. Let z = π h ( h )δ h x J and notice that z is non-zero and that z = π h ( h )δ h x = π h (x h )δ h h + π h ( h )δ h x s δ s = π h (x h )δ h h + π h ( h x s )δ h s. Now, let aδ e D be arbitrary and consider the element p = aδ e z z aδ e J. We have that p = aπ h (x h )δ ehh + aπ h ( h x s )δ eh s π h (x h )aδ hh e π h s(π s h(π h ( h x s ))a)δ h se. Since A and E(S) are commutative, we have that p = aπ h ( h x s )δ eh s π h s(π s h(π h ( h x s ))a)δ h se. Using that eh s h s and h se h s, we have that p = aπ h ( h x s )δ h s π h s(π s h(π h ( h x s ))a)δ h s. Hence, n(p) < n(x) and by the minimality of n(x) we conclude that p = 0. But this implies that aδ e z = z aδ e. Therefore a i δ ei z = z a i δ ei, for all n a iδ ei D. Since D = A is maximal commutative, we get that z D. We conclude that J D = {0}. Corollary 3.5. Let A be an associative and commutative ring. If A π S is simple, then A is a maximal commutative subring of A π S. Recall that an ideal I of A is S-invariant if π s (I D s ) I holds for each s S. The ring A is said to be S-simple if A has no non-zero S-invariant proper ideal. Proposition 3.6. Let A be an associative ring. If A π S is simple, then A is S-simple. Proof. Let I be a non-zero S-invariant ideal of A. Define the set { } H = a s δ s A π S a s I D s, s S. s S Notice that H {0}. Indeed, let a I be non-zero and let u A be a local unit for a. By Definition 2.(i) there are idempotents e,...,e n E(S) such that u = n u i, with u i D ei for i {,...,n}. Clearly, 0 a = ua = u i a. Using that I is an ideal of A, we get that u i a I D ei for i {,...,n}, and hence n u iaδ ei H. Let φ denote the ring isomorphism from the proof of Proposition 3.. Using that a 0, we get that n u iaδ ei = φ( n u ia) = φ(a) 0.

8 8 VIVIANE BEUTER, DANIEL GONÇALVES, JOHAN ÖINERT, AND DANILO ROYER Moreover, H is a left ideal of A π S. Indeed, if a r δ r A π S and a s I D s then (a r δ r )(a s δ s ) = π r (π r (a r )a s )δ rs. Since I is S-invariant, π r (π r (a r )a s ) I, and from the definition of a partial action we get that π r (π r (a r )a s ) D rs. Hence, a r δ r a s δ s H. Similarly, H is a right ideal of A π S and hence, by the simplicity of A π S, we obtain that H = A π S. From the definition of H we immediately see that τ(h) I, and from what was done above, τ(h) = τ(a π S) = A. Thus, I = A and therefore A is S-simple. We are now ready to state and prove the main result of this article. Theorem 3.7. If A is an associative and commutative ring, then the following two assertions are equivalent: (i) The skew inverse semigroup ring A π S is simple; (ii) A is S-simple, and A = D is a maximal commutative subring of A π S. Proof. (i) (ii): This follows from Corollary 3.5 and Proposition 3.6. (ii) (i): Let J be a non-zero ideal of A π S. By Theorem 3.4, J D = {0}. Put K = J D and K = φ (K), where φ : A D is the ring isomorphism from Proposition 3.. Clearly, K is a non-zero ideal of A. Now we show that K is S-invariant. Take an arbitrary s S and an arbitrary a s K D s. Pick a local unit s for a s in D s. By the definition of A there are idempotents e,...,e n S, and elements a ei D ei, for i {,...,n}, such that a s = n a e i and φ(a s ) = n a e i δ ei K. We notice that π s ( s )δ s a ei δ ei s δ s = π s ( s )δ s a ei δ ei s δ s = π s ( s a ei )δ s e i s δ s s e i s = = π s ( π s ( s a ei )δ s s δ s = π s ( s a ei s )δ s s ( n ) s a ei s )δ s s = π s (a s )δ s s is in J A = K and hence π s (a s ) = φ (π s (a s )δ s s) K. Therefore K is S-invariant. Using that A is S-simple we conclude that K = A. Now, consider the arbitrary element a s δ s A π S. By letting s be a local unit for a s in D s, we have that s A = K. Hence there are idempotents f,...,f m E(S) and u j D fj, for j {,...,m}, such that s = m j= u j K and φ( s ) = m j= u jδ fj K J. Thus, m a s δ s = s a s δ s = j= u j a s δ s = m j= f js s u j a s δ s = m m = u j δ fj (a s δ s ) = u j δ fj a s δ s J. j= This shows that A π S = J as desired. j= m u j a s δ fjs j= 4. An application to topological dynamics In this section we will apply our main results and connect topological properties of a partial action of an inverse semigroup S on a topological space X with algebraic properties of the associated skew inverse semigroup ring L c (X) α S. Definition 4.. A topological partial action of an inverse semigroup S on a locally compact Hausdorff space X is a collection of open sets {X s } s S of X and homeomorphisms {θ s : X s X s } s S such that, for any s,t S, the following three assertions hold: (i) X is the union e E(S) X e; (ii) θ s (X s X t ) = X s X st ;

9 SIMPLICITY OF SKEW INVERSE SEMIGROUP RINGS 9 (iii) θ s (θ t (x)) = θ st (x), for all x X t X t s. Let X be a zero-dimensional locally compact Hausdorff space (this means that X has a basis formed by compact-open subsets) and letrbe a unital commutative ring. We denote byl c (X) the commutative R-algebra formed by all locally constant, compactly supported, R-valued functions on X (with pointwise addition and multiplication). If D is a compact-open subset of X, then the characteristic function of D, D, is an element of L c (X). Moreover, every f L c (X) may be written as f = c i Di, where the D i s are compact-open, pairwise disjoint subsets of X. For f L c (X), we define the support of f by supp(f) = {x X f(x) 0}, and notice that it is a clopen set. Notice that an R-valued function is locally constant if, and only if, it is continuous once we equip R with the discrete topology. For a subset T X, we define I(T) = {f L c (X) f(x) = 0, x T}. Clearly, the set I(T) is an ideal of L c (X). Moreover, since every function in L c (X) is continuous, we conclude that I(T) = I ( T ), where T denotes the closure of T. Lemma 4.2. Let R be a field. Then every ideal J of L c (X) is of the form where F is a closed subset of X given by I(F) := {f L c (X) f(x) = 0, x F}, F = {x X f(x) = 0, f J}. Proof. Let J be an ideal of L c (X). Using that every function f L c (X) is continuous, we have that the subset F = {x X f(x) = 0, f J} is closed in X. Clearly, J I(F). Now, take any f I(F). Consider the set U = supp(f). Notice that U F =. If x U, then x / F and there exists some f x J such that f x (x) 0. We have that U {y X f x (y) 0} = supp(f x ). x U By compactness of U we may find finitely many points x,...,x n such that n n U {y X f xi (y) 0} = supp(f xi ). Consider U := supp(f x ) and U i := supp(f xi )\ i k= supp(f x k ) for all i {2,...,n}. We have that n n supp(f xi ) = U i, where the last union is a disjoint union of compact-open subsets. Let g := n f x i Ui. Using that f xi J, for each i {,...,n}, we have that g J. Notice that g(x) 0 for all x U. We define h(x) := { g(x) x U if x U 0 if x / U and notice that h L c (X). Clearly, f = f g h J. Actually, g h is a local unit for f. Remark 4.3. Let R be a field. Notice that, by Lemma 4.2, every ideal J of L c (X) is of the form I(U) = {f L c (X) f(x) = 0, x X \U} = {f L c (X) supp(f) U}, where U is an open subset of X defined as U = {x X f J such that f(x) 0} = f J supp(f).

10 0 VIVIANE BEUTER, DANIEL GONÇALVES, JOHAN ÖINERT, AND DANILO ROYER From the partial action θ = ({θ s } s S,{X s } s S ) of an inverse semigroup S on a locally compact, Hausdorff, zero-dimensional spacex, we get a corresponding partial actionα = ({α s } s S,{D s } s S ) of the semigroup S on the R-algebra L c (X) of all locally constant, compactly supported, R-valued functions on X, where R is a unital and commutative ring. More precisely, for each s S, we have that α s is an isomorphism from onto which is defined by D s = {f L c (X) supp(f) X s } L c (X s ) D s = {f L c (X) supp(f) X s } L c (X s ) α s (f)(x) = { f θs (x) if x X s 0 if x / X s. Remark 4.4. It is routine to check that α is a partial action. We wish to convince the reader that α is non-degenerate. Let f be an element of L c (X). By non-degeneracy of θ, for any x supp(f) there is a compact-open neighborhood D of x contained in X e, for some e E(S), and such that f D is constant. By compactness of supp(f) we can find finitely many compact-open subsets D,...,D n such that D i X ei, e i E(S), and supp(f) n ( D i. By puttingk = D supp(f) and K j = D j \ ) j (D i) supp(f), for all j {2,...,n}, we get that supp(f) is equal to the disjoint union of the compact-open subsets K,...,K n, and that f = f Ki = r i Ki Span R D e. Notice that the K i s are pairwise disjoint subsets. e E(S) Definition 4.5. Let θ = ({θ s } s S,{X s } s S ) be a topological partial action of an inverse semigroup S on a locally compact Hausdorff space X. A subset U of X is invariant if θ s (U X s ) U for all s S. The topological partial action θ is minimal if there is no non-empty, proper and open invariant subset of X. Let R be a field. It is easy to see that if U is an open invariant subset of X then the associated ideal I(U) is invariant. Conversely, every invariant ideal corresponds to an open invariant subset of X. Indeed, suppose that I is an invariant ideal of L c (X). By Remark 4.3 there is an open subset U of X such that I = I(U). Take s S, x U X s, and suppose that θ s (x) / U. Let K U be a compact-open neighborhood of x (it exists since X is zero-dimensional). Notice that the function K is contained in I(U). Since I is invariant, α s ( K ) I(U), that is, K θ s I(U). But then we get that = K (x) = K (θ s θ s (x)) = K θ s (θ s (x)) = 0. Therefore U is invariant. From the previous paragraph we obtain the following result. Proposition 4.6. Let R be a field and let θ = ({θ s } s S,{X s } s S ) be a topological partial action of an inverse semigroup S on a zero-dimensional locally compact Hausdorff space X. Then θ is minimal if, and only if, L c (X) is S-simple (with respect to the action α associated with θ). The notion of a topologically free partial action is already well-known for partial group actions. Recall that, if G is a group with neutral element then a topological partial action θ = ({X t } t G,{θ t } t G ) of G on X is topologically free if, for all t, the set Λ t (θ) := {x X t θ t (x) x} is dense in X t. This is equivalent to saying that, for all t, the set has empty interior. F t (θ) := {x X t θ t (x) = x}

11 SIMPLICITY OF SKEW INVERSE SEMIGROUP RINGS Proposition 4.7. Suppose that θ = ({X t } t G,{θ t } t G ) is a topologically free partial action of a group G on X. Then L c (X)δ is maximal commutative in L c (X) α G. Proof. The proof is analogous to the proof of [25, Proposition 4.7]. With the intention of generalizing the above result, we will now present and use the definition of topologically principal partial actions of inverse semigroups, which was introduced in [2], and the definition of topologically free (effective) partial actions of inverse semigroups, which was introduced in [2]. If θ is a partial action of an inverse semigroup S on a set X, then for any fixed x X we define the subset S x := {s S x X s } of S. Definition 4.8. ([2, Definition 7.]) Let θ = ({X s } s S,{θ s } s S ) be a topological partial action of an inverse semigroup S on a locally compact Hausdorff space X. We define Λ(θ) := {x X s S x, if θ s (x) = x then there is e E(S) with e s and x X e }. We say that θ is topologically principal if, and only if, Λ(θ) is dense in X. The notion topologically principal stems from the fact that, by [2, Proposition 7.9], the groupoid of germs S X associated with a partial action θ = ({X s } s S,{θ s } s S ) is topologically principal if, and only if, the partial action θ is topologically principal. Remark 4.9. Notice that if θ = ({X s } s S,{θ s } s S ) is a topological partial action of S on X then Λ(θ) = {x X s,t S x if θ s (x) = θ t (x) then there exists u s,t with x X u }. In particular, given x X and s,t S x, if θ s (x) = θ t (x) and there is u s,t with x X u, then θ s and θ t coincide in the neighbourhood X u of x. Proposition 4.0. Let S be a countable inverse semigroup and let X be a locally compact, Hausdorff, and second-countable topological space X. Then a topological partial action θ = ({X s } s S,{θ s } s S ) of S on X is topologically principal if, and only if, for any s S the set is dense in X s. Λ s (θ) := {x X s if θ s (x) = x then there is e E(S) with e s and x X e } Proof. The only if statement is easy to show, using that Λ(θ) X s Λ s (θ). Notice that in this direction we need to use the fact that S is countable. Now we show the if statement. Notice that Λ s (θ) is an open subset of X and that Λ s (θ) int(x \X s ) is dense in X. Thus Λ(θ) = ( Λ s (θ) ) int(x \X s ) s S is dense in X by the Baire category theorem. Definition 4.. ([2, Definition 4.]) Let θ = ({X s } s S,{θ s } s S ) be a topological partial action of an inverse semigroup S on a locally compact Hausdorff space X. We say that θ is topologically free or effective if, and only if, int{x X s θ s (x) = x} = {x X s there is e E(S) such that e s and x X e } for all s S. Remark 4.2. (a) If S is a group, then Definition 4. coincides with the usual definition of a topologically free partial action of a group. (b) By [2, Thereom 4.7], the groupoid of germs S X associated with a topological partial action θ = ({X s } s S,{θ s } s S ) is effective if, and only if, θ is topologically free. Lemma 4.3. Let S be a countable inverse semigroup and let X be a locally compact, Hausdorff, and second-countable topological space X. If θ = ({X s } s S,{θ s } s S ) is a topologically free partial action of S on X, then θ is topologically principal.

12 2 VIVIANE BEUTER, DANIEL GONÇALVES, JOHAN ÖINERT, AND DANILO ROYER Proof. Suppose that θ is not topologically principal. We will show that θ is not topologically free. By Proposition 4.0, there is some s S such that Λ s (θ) is not dense in X s. Now, pick some y X s such that y / Λ s (θ) and y is not a limit point of Λ s (θ). Notice that {x X s θ s (x) x} Λ s (θ). Clearly, y {x X s θ s (x) = x}. Moreover, there is an open neighbourhood U of y such that U Λ s (θ) =. Thus, U {x X s θ s (x) = x}. This shows that y int{x X s θ s (x) = x} and therefore θ is not topologically free. The next example shows that the conclusion of Lemma 4.3 does not hold for an arbitrary topological space X. Example 4.4. Let K denote the Cantor set and equip T = {e iω ω R} with the discrete topology. Consider the topological product space X = (K (0,)) T. Define an action θ of the additive group R on X by θ t (s,e iω ) = (s,e i(ω+2stπ) ) for t R and (s,e iω ) X. For any t R\{0}, we have that int{(s,e iω ) X θ t (s,e iω ) = (s,e iω )} = int{(s,e iω ) X st Z} =, and therefore θ is topologically free. However, θ is not topologically principal. Indeed, let x = (s,e iω ) X be arbitrary. Put t = s and notice that θ t(x) = θ s (s,eiω ) = (s,e i(ω+2π) ) = (s,e iω ) = x. But 0 is the only idempotent element of the additive group R, and using that t = s 0 we conclude that 0 s. In other words, (s,eiω ) / Λ(θ). This shows that Λ(θ) =, and in particular θ is not topologically principal. The next example shows that the converse of Lemma 4.3 does not hold. That is, there is a topologically principal partial action θ of a countable inverse semigroup S on a second-countable space X (locally compact, Hausdorff and zero-dimensional) such that θ is not topologically free. Example 4.5. We shall consider a particular case of the Munn representation (see [3]). Given an inverse semigroup S, we consider the set X = E(S) equipped with the discrete topology. Moreover, for s S, we put X s = {e E(S) e ss } and θ s (e) = ses, for all e X s. Then θ = ({X s } s S,{θ s } s S ) is the Munn representation of S. Let us now consider the inverse semigroup S = N {, z} whose product, for any m, n N, is given by nm = min(n,m), n = n = nz = zn = n, z = z = z and zz = =. Then X = E(S) = N { }, can be seen as the one-point compactification of the natural numbers. Notice that the compact-open sets of X are either cofinite or contained in N. Now, let θ the Munn representation of S = N {, z}. More precisely, for n N, X n = {,2,...,n} and θ n = id Xn ; X = N { } and θ = id X ; X z = N { } and θ z = id Xz. Notice that S is countable and that X is second-countable. Since n, E(S), clearly Λ n (θ) = X n and Λ (θ) = X. Moreover, we notice that Λ z (θ) = N which is a dense subset of N { } = X z. Hence, by Proposition 4.0, θ is topologically principal. Notice that θ is not a topologically free partial action. Indeed, int{x X z θ z (x) = x} = int(n { }) = N { }, but {x X z there is e E(S) such that e z and x X e } = N. Let α be the partial action of S on L c (X) associated with θ, then for n N, D n L c ({,2,...,n}) and α n = id Dn. D L(N { }) and α = id D. D z = L(N { }) and α z = id Dz. Now we will see that the diagonal of L c (X) α S is not a maximal commutative subring. Fix n N. We denote by [n, ] the characteristic function of the set {n,n +,n + 2,...} { }.

13 SIMPLICITY OF SKEW INVERSE SEMIGROUP RINGS 3 We have that [n, ] D z L(N { }) and that [n, ] δ z does not belong to the diagonal D of L c (X) α S. It is not difficult to see that [n, ] δ z commutes with all elements of the diagonal. It is also worth noticing that in this example the ring L c (X) α S has an infinite number of non-zero ideals whose intersection with the diagonal is zero. Indeed, for each n N, consider the ideal J generated by [n, ] δ z [n, ] δ and notice that { k } J = r i [ni, ]δ z r i [ni, ]δ ni n and r i R. In this case, supp ( τ ( f )) =, for every f J. Next we present a sufficient condition to obtain the ideal intersection property for the skew inverse semigroup ring arising from a topologically principal partial action. Proposition 4.6. Let θ = ({θ s } s S,{X s } s S ) be a topologically principal partial action of S on a locally compact Hausdorff space X. If I is a non-zero ideal of L c (X) α S, and there is some f I such that supp ( τ ( f )), then I D {0}. Proof. Let I be a non-zero ideal of L c (X) α S and let f = f s δ s I be such that supp( τ(f)). Since supp( τ(f)) is an open subset of X, and θ is topologically principal, there is some x supp ( τ ( f )) Λ(θ). We fix this x throughout the rest of the proof. Notice that there exists at least one s F such that f s (x) 0 and that the subset {θ s (x) s F and f s (x) 0} is non-empty and finite. Let r := f s (x) 0, s T where T := {s F x supp(f s ) and θ s (x) = θ s (x)}. Lety := θ s (x). Furthermore, letb be a compact-open neighborhood ofxcontained inx s X u, for some u E(S) such that We have that g = f B δ u I and that {θ s (x) s F and f s (x) 0} B = {y}. g = Put g s := α s (α s (f s ) B ) = f s ( B θ s ). Then Furthermore, α s (α s (f s ) B )δ us = α s (α s (f s ) B )δ s. {θ s (x) s F and g s (x) 0} = {y}. {s F g s (x) 0} = {s F f s (x) 0 and θ s (x) = θ s (x)} = T. We now divide the proof into two cases. Case T = {s }: We have that g s (x) = f s (x) 0 and g s (x) = 0, for every other s F. Since each g s is locally constant, we can find a compact-open neighborhood x such that g s K is constant, for all s F, and that K X e, for some e E(S). Hence, K δ e g α s ( K )δ s I and K δ e g α s ( K )δ s = K g s δ es α s ( K )δ s = K g s (x)δ s α s ( K )δ s = α s ( K g s (x))δ ss I D. Using that K g s (x) 0, we get that α s ( K g s (x)) 0. Case T = {s,...,s n }, with n 2 : Using that x Λ(θ), there is some e E(S) such that x X e and e s i, for all i {,...,n}.

14 4 VIVIANE BEUTER, DANIEL GONÇALVES, JOHAN ÖINERT, AND DANILO ROYER Let C X e be a compact-open neighbourhood of x. We may now rewrite g as g = g s δ s + g s C g s X\C δ s = = :g s(x)=0 :g s(x)=0 :g s(x)=0 g s δ s + g s δ s + :g s(x) 0 :g s(x) 0 :g s(x) 0 g s C δ s g s C δ e :g s(x) 0 :g s(x) 0 g s X\C δ s g s X\C δ s. Let K be another compact-open neighbourhood of x contained in C and such that, for each s F, g s K is constant. Thus, K δ e g I and where r 0. K δ e g = K g s δ e = g s (x) K δ e = :g s(x) 0 g s (x) K δ e = :g s(x) 0) :g s(x) 0 s T ( ) f s (x) K δ e = r K δ e I D, Corollary 4.7. Let θ = ({θ s } s S,{X s } s S ) be a topologically principal partial action of S on a locally compact Hausdorff space X. If for each non-zero ideal I of L c (X) α S there is some f I such that supp( τ(f)), then the diagonal D is a maximal commutative subring of L c (X) α S. Proof. This follows from Proposition 4.6 and Theorem 3.4. Finally, we show that maximal commutativity of D in L c (X) α S implies that the underlying action is topologically principal (we also show the condition involving ideals and support of elements in L c (X) α S). Proposition 4.8. Suppose that θ = ({θ s } s S,{X s } s S ) is a topological partial action of S on a locally compact Hausdorff space X. If the diagonal D is a maximal commutative subring of L c (X) α S, then θ is topologically principal, and for each non-zero ideal I of L c (X) α S there is some f I such that supp( τ(f)). Proof. We show the contrapositive statement. Suppose that θ is not topologically principal. Then there is an open subset U of X such that U Λ(θ) =. This means that there is y U and there is s S\E(S) such that θ s (y) = y and e s, for all e E(S). Take B X s U a compact-open neighborhood of y. Notice that θ s (x) = x, for all x B, and that B δ s / D. Let D be a compact-open subset of X e, for some e E(S). If x B, then If x / B, then α s (α s ( B ) D )(x) = B (x) D (θ s (x)) = B D (x) = ( B D )(x). α s (α s ( B ) D )(x) = B (x) D (θ s (x)) = 0 = B (x) D (x) = ( B D )(x). Hence, α s (α s ( B ) D ) = B D. Then, D δ e B δ s = D B δ s = B D δ s = α s (α s ( B ) D )δ s = B δ s D δ e. This implies that B δ s commutes with all elements of the diagonal D, and hence D is not maximal commutative. By Theorem 3.4, for every non-zero ideal I of L c (X) α S we have that I D {0}. Let f = n f iδ ei I D be non-zero. By the isomorphism of the diagonal D with L c (X) we have that f = 0 if, and only if, n f e i = 0, and thus supp ( τ ( f )) = supp( n f e i ).

15 SIMPLICITY OF SKEW INVERSE SEMIGROUP RINGS 5 Corollary 4.9. Let R be a field, and let θ = ({θ s } s S,{X s } s S ) be a topological partial action of S on a zero-dimensional locally compact Hausdorff space X. The skew inverse semigroup ring L c (X) α S is simple if, and only if, θ is minimal, topologically principal, and for every non-zero ideal I there is some f I such that supp(f). Proof. This follows from Theorem 3.7, Proposition 4.6, and Proposition 4.8. Corollary Let S be a countable inverse semigroup, let X be a locally compact, Hausdorff, zero-dimensional, and second-countable topological space, and let R be a field. If θ = ({θ s } s S,{X s } s S ) is a topological free and minimal partial action of S on X, and for every non-zero ideal I there is f I such that supp(f), then the skew inverse semigroup ring L c (X) α S is simple. 5. An application to Steinberg algebras In this section we will apply our main result and obtain a new proof of the simplicity criterion for a Steinberg algebra A R (G) associated with a Hausdorff and ample groupoid G. 5.. Steinberg algebras. Given a groupoid G, we denote its unit space by G (0), and its source and range maps by s and r, respectively. A bisection in G is a subset B G such that the restrictions of r and s to B are both injective. A topological groupoid G is said to be étale if G (0) is locally compact and Hausdorff, and its source map is a local homeomorphism from G to G (0). An étale groupoid G is said to be ample if G has a basis of compact bisections. One can show that a Hausdorff étale groupoid is ample if, and only if, G (0) is totally disconnected. In this article, we only consider groupoids which are both Hausdorff and ample. A subset U of the unit space G (0) of G is invariant if s(b) U implies r(b) U. We call G minimal if G (0) has no nontrivial open invariant subset. We let Iso(G) denote the isotropy subgroupoid of G, that is, Iso(G) := {b G r(b) = s(b)}. A Hausdorff and ample groupoid G is said to be effective if the interior of Iso(G) is G (0), or equivalently, for every non-empty compact bisection B G \G (0), there exists some b B such that s(b) r(b). Let R be a commutative ring with identity and let G be a Hausdorff and ample groupoid. The Steinberg algebra A R (G) is the collection of compactly supported locally constant functions from G to R with pointwise addition, and convolution product (f g)(b) = r(c)=r(b) f(c)g(c b) = cd=b f(c)g(d). The support of f A R(G), is denoted by supp(f) = {b G f(b) 0} (a clopen subset of G). By [33, Proposition 4.3], every element of A R (G) is a linear combination of characteristic functions of pairwise disjoint compact bisections. Moreover, by [33, Proposition 3.2.], A R (G) is a unital ring if, and only if, G (0) is compact. Let G be a Hausdorff and ample groupoid. The set G a of all compact bisections in G is an inverse semigroup under the operations defined by BC = {bc G b B,c C and s(b) = r(c)}, and B = {b b B}. The inverse semigroup partial order in G a is the inclusion of sets. Notice that E(G a ) = {U G a U G (0) }. Given any compact bisection B we define the map θ B : s(b) r(b) by θ B (u) = r B (s B (u)). The correspondence B θ B gives an action of G a on the unit space G (0). From the action θ of the semigroup G a on the locally compact, Hausdorff, totally disconnected space G (0), we get a corresponding action α of the semigroup G a on the R-algebra L c (G (0) ) of all locally constant, compactly supported, R-valued functions on G (0), where R is a unital and commutative ring. More precisely, for each B G a, we have that α B is an isomorphism from D B = {f L c (G (0) ) f(x) = 0, x G (0) \ s(b)} L c (s(b)) onto D B = {f L c (G (0) ) f(x) = 0, x G (0) \r(b)} L c (r(b)) which is defined by α B (f)(x) = { f θb (x) if x r(b) 0 if x / r(b) In [4, Theorem 5.2] Beuter and Gonçalves showed that any Steinberg algebra can be seen as a skew inverse semigroup ring as follows..

16 6 VIVIANE BEUTER, DANIEL GONÇALVES, JOHAN ÖINERT, AND DANILO ROYER Theorem 5.. Let G be a Hausdorff and ample groupoid, let θ be the action of the inverse semigroup G a on the unit space G (0), and let α be the corresponding action of G a on L c (G (0) ). Then the Steinberg algebra A R (G) is isomorphic, as an R-algebra, to the skew inverse semigroup ring L c (G (0) ) G a. Remark 5.2. The isomorphism of Theorem 5. is given by the map ψ : L c (G (0) ) G a A R (G), which is defined on elements of the form f B δ B, by ψ(f B δ B )(x) = { fb (r(x)) if x B 0 if x / B, and extended linearly to L c (G (0) ) G a. In the proof of Theorem 5. it was shown that ψ admits a left inverse, namely the map ϕ : A R (G) L c (G (0) ) G a defined as follows: Given f = n j= b j Bj A R (G), where the B j s are pairwise disjoint compact bisections of G, let ( n ) ϕ(f) = ϕ b j Bj := b j r(bj)δ Bj. Actually ϕ is the inverse of ψ, and, in particular, it is bijective. By the surjectivity of ϕ, given any f L c (G (0) ) G a we can write f = b j r(bj)δ Bj, j= where the B j s are pairwise disjoint compact bisections of G. Furthermore, by the injectivity of ϕ, if b j r(bj)δ Bj = c j r(cj)δ Cj, j= where the B j s and C j s are pairwise disjoint compact bisections, then b i Bi = c i Ci Simplicity of Steinberg algebras. Using that there is a description of Steinberg algebras via skew inverse semigroup rings (which satisfies the assumptions of the previous section), we can apply the results of the previous section to characterize simplicity of Steinberg algebras. We then obtain a new proof of the following result, which was first proved in [6] for functions over the complex numbers. Theorem 5.3. [9, Corollary 4.6.] Let G be a Hausdorff and ample groupoid, and let R be a unital and commutative ring. Then the Steinberg algebra A R (G) is simple if, and only if, G is effective, minimal, and R is a field. Let G be a Hausdorff and ample groupoid, and let R be a unital and commutative ring. Then A R (G) = L c (G (0) ) G a. Our first step towards a proof of the above theorem is to characterize minimality of G in terms of G a -simplicity of L c (G (0) ). We set up notation and prove an auxiliary result below. We can now prove the following. Proposition 5.4. Let G be a Hausdorff and ample groupoid, and let R be a field. Then G is minimal if, and only if, L c (G (0) ) is G a -simple. Proof. Suppose that G is minimal. Let J be a G a -invariant non-zero ideal of L c (G (0) ). We know that J = {f L c (G (0) ) f(x) = 0, x G (0) \U}, where U is an open subset of G (0) given by j= j= U = {u G (0) f J such that f(u) 0}.

17 SIMPLICITY OF SKEW INVERSE SEMIGROUP RINGS 7 Notice that, since G is minimal, if we prove that U is an invariant subset of G (0), then U = G (0) and hence J = L c (G (0) ). We prove the invariance of U below. Let x G be such that s(x) U. Then there exists a function g J such that g(s(x)) 0. Furthermore, we can take x B, where B is a compact bisection of G. Since U and s(b) are open, we can consider g J L c (r(b)) = {f L c (G (0) ) f(x) = 0, x G (0) \(U s(b))}. Using that J is G a -invariant we get that α B (g) J. Notice that α B (g)(r(x)) = g(θ B (r(x))) = g(s(r B (r(x)))) = g(s(x)) 0. Therefore, r(x) U and hence U is G a -invariant, as desired. Now, suppose that L c (G (0) ) is G a -simple. Let U G (0) be a non-empty invariant open subset. Consider the set J = {f L c (G (0) ) f(x) = 0, x G (0) \U}. Clearly, J is an ideal of L c (G (0) ). To see that J is G a -invariant, suppose that B G a, g J D B, and x G (0) \U. If x r(b), then there exists some y B such that x = r(y), and hence α B (g)(x) = α B (g)(r(y)) = g(s(r B (r(y)))) = g(s(y)). Since U is invariant, and r(y) = x / U, we have that s(y) / U. Hence, g(s(y)) = 0. If x / r(b), then from the definition of α B, we also have that α B (g)(x) = 0. Therefore, α B (g) J, and hence J is G a -invariant. Using that L c (G (0) ) is G a -simple it follows that J = L c (G (0) ) and U = G (0). Proposition 5.5. Let G be a Hausdorff and ample groupoid. Then G is effective if, and only if, D L c (G (0) ) { n } D := f i δ Ui n N,U i E(G a ) and f i L c (r(u i )) = L c (U i ) is a maximal commutative subring of L c (G (0) ) G a. Proof. Suppose that G is effective. We already know that D is a commutative subring. Let 0 f = n r i r(bi)δ Bi L c (G (0) ) G a, where r i R \ {0} and the B i s are pairwise disjoint compact bisections ofg for alli {,...,n}. Suppose thatf is an element which commutes with all elements of D. We need to show that f D. By the effectiveness of G it suffices to show that B i Iso(G) for every i {,...,n} (since B i is open and B i int(iso(g)) = G (0) ). To this end, suppose that there exists some k {,...,n}, and b B k, such that r(b) s(b). Since G is Hausdorff, there exists a compact bisection U G (0) such that r(b) U and s(b) / U. Notice that U E(G a ). Using that f belongs to the centralizer of D we have that This implies that r i U r(bi)δ UBi = U δ U f = f U δ U. r i α Bi (α B i ( r(bi)) U )δ BiU. Since UB i,b i U B i, for all i {,...,n}, we get that (2) r i U r(bi)δ Bi = r i α Bi (α B i ( r(bi)) U )δ Bi. Developing the left side of (2) we obtain r i U r(bi)δ Bi = r i U r(bi)δ Bi.

18 8 VIVIANE BEUTER, DANIEL GONÇALVES, JOHAN ÖINERT, AND DANILO ROYER For each i {,...,n}, define C i := r B i (U r(b i )). Notice that C i B i and r(c i ) = U r(b i ). Thus (3) r i U r(bi)δ Bi = r i U r(bi)δ Bi = r i r(ci)δ Ci. Now, developing the right side of (2) we get that r i α Bi (α B i ( r(bi)) U )δ Bi = r i α Bi ( s(bi) U )δ Bi = = r i α Bi ( s(bi) U)δ Bi r i r(bi) θ Bi (s(b i) U)δ Bi. Define D i := r B i (r(b i ) θ Bi (s(b i ) U)). Notice that D i B i and r(d i ) = r(b i ) θ Bi (s(b i ) U). Then (4) r i α Bi (α B i ( r(bi)) U )δ Bi = r i r(di)δ Di. By substituting (3) and (4) into Equation (2) we obtain that r i r(ci)δ Ci = r i r(di)δ Di. Since C i B i, for each i {,...,n}, we have that the C i s are pairwise disjoint compact bisections, and similarly the D i s are also pairwise disjoint compact bisections. By Remark 5.2 we have that b i Ci = b i Di. Next we evaluate the above equality on the element b of B k such that r(b) s(b). Since the B i s are pairwise disjoint we have that b / C i,b / D i for i k and hence (5) b k Ck (b) = b k Dk (b). Notice that and b C k = r B k (U r(b k )) r(b) U r(b k ), b D k b r B k (r(b k ) θ Bk (s(b k ) U)) r(b) r(b k ) θ Bk (s(b k ) U) r(b) r(b k ) and r(b) r(s B k (s(b k ) U)) b B k r(b) r(bk ) and b s B k (s(b k ) U) r(b) r(b k ) and s(b) s(b k ) U b B k r(b) r(bk ) and s(b) U. Recall that, by construction, b C k and s(b) / U. Thus, Equation (5) yields b k = 0, a contradiction. Therefore, r(b) = s(b), b Iso(G) and B i Iso(G) as desired. In order to prove the converse we show the contrapositive statement. Suppose that G is not effective. Then there exists a bisection B G \G (0) such that s(b) = r(b) for all b B. Recall that θ B : s(b) r(b) is defined by r(u) = r(s B (u)). Thus, in this case, θ B(s(b)) = r(s B (s(b))) = r(b) = s(b), that is, θ B = id s(b). Similarly, θ B = id r(b). This implies that α B = id DB and α B = id DB.