A quantization theorem for the edge currents is proven for discrete magnetic half-plane operators. Hence the edge channel number is a valid concept also in presence of a disordered potential. Under a gap condition on the corresponding planar model, this quantum number is shown to be equal to the quantized Hall conductivity as given by the Kubo–Chern formula. For the proof of this equality, we consider an exact sequence of C*-algebras (the Toeplitz extension) linking the half-plane and the planar problem, and use a duality theorem for the pairings of K-groups with cyclic cohomology.

A partial action of a group G on a set X is a weakening of the usual notion of a group action: the function G×X→X that defines a group action is replaced by a partial function; in addition, the existence of g·(h·x) implies the existence of (gh)·x, but not necessarily conversely. Such partial actions are extremely widespread in mathematics, and the main aim of this paper is to prove two basic results concerning them. First, we obtain an explicit description of Exel's universal inverse semigroup [Formula: see text], which has the property that partial actions of the group G give rise to actions of the inverse semigroup [Formula: see text]. We apply this result to the theory of graph immersions. Second, we prove that each partial group action is the restriction of a universal global group action. We describe some applications of this result to group theory and the theory of E-unitary inverse semigroups.

To a given tiling a non commutative space and the corresponding C * -algebra are constructed. This includes the definition of a topology on the groupoid induced by translations of the tiling. The algebra is also the algebra of observables for discrete models of one or many particle systems on the tiling or its periodic identification. Its scaled ordered K 0 -group furnishes the gap labelling of Schrödinger operators. The group is computed for one dimensional tilings and Cartesian products thereof. Its image under a state is investigated for tilings which are invariant under a substitution. Part of this image is given by an invariant measure on the hull of the tiling which is determined. The results from the Cartesian products of one dimensional tilings point out that the gap labelling by means of the values of the integrated density of states is already fully determined by this measure.

No abstract