Fractal, group theoretic, and relational structures on Cantor space

Cantor space, the set of infinite words over a finite alphabet, is a type of metric space with a `self-similar' structure. This thesis explores three areas concerning Cantor space with regard to fractal geometry, group theory, and topology. We find first results on the dimension of intersections of fractal sets within the Cantor space. More specifically, we examine the intersection of a subset E of the n-ary Cantor space, C[sub]n with the image of another subset Funder a random isometry. We obtain almost sure upper bounds for the Hausdorff and upper box-counting dimensions of the intersection, and a lower bound for the essential supremum of the Hausdorff dimension. We then consider a class of groups, denoted by V[sub]n(G), of homeomorphisms of the Cantor space built from transducers. These groups can be seen as homeomorphisms that respect the self-similar and symmetric structure of C[sub]n, and are supergroups of the Higman-Thompson groups V[sub]n. We explore their isomorphism classes with our primary result being that V[sub]n(G) is isomorphic to (and conjugate to) V[sub]n if and only if G is a semiregular subgroup of the symmetric group on n points. Lastly, we explore invariant relations on Cantor space, which have quotients homeomorphic to fractals in many different classes. We generalize a method of describing these quotients by invariant relations as an inverse limit, before characterizing a specific class of fractals known as Sierpiński relatives as invariant factors. We then compare relations arising through edge replacement systems to invariant relations, detailing the conditions under which they are the same