Given a presentation of G, the word problem asks whether there exists an algorithm to determine which words in the free group, F(A), represent the identity in G. In this thesis, we study small cancellation theory, developed by Lyndon, Schupp, and Greendlinger in the mid-1960s, which contributed to the resurgence of geometric group theory. We investigate the connection between Van Kampen diagrams and the small cancellation hypotheses. Groups that have a presentation satisfying the small cancellation hypotheses C'(1/6), or C'(1/4) and T(4) have a nice solution to the word problem known as Dehn’s Algorithm.

No description available.

No description available.

<p>This thesis concerns itself with drawing out some interesting connections between the fields of group theory and formal language theory. Given a group with a finite set of generators, it is natural to consider the set of generators and their inverses as an alphabet. We can then consider formal languages such that every group element has at least one representative in the language. We examine what the structure of the language can tell us about group theoretic properties, focusing on the word problem, automatic structures on groups, and generalizations of automatic structures. Finally we prove new results concerning applications of languages of nested words for studying the word problem.</p> / Master of Science (MSc)

<p dir="ltr">In this article, we establish results concerning the nilpotent representation theory of groups. In particular, we utilize a theorem of Stallings to provide a general method that constructs pairs of groups that have isomorphic universal nilpotent quotients. We then prove by counterexample that absolute Galois groups of number fields are not determined by their universal nilpotent quotients. We also show that this is the case for residually nilpotent Kleinian groups and in fact, there exist non-isomorphic pairs that have arbitrarily large nilpotent genus. We additionally provide examples of non-isomorphic curves whose geometric fundamental groups have isomorphic universal nilpotent quotients and the isomorphisms are compatible with the outer Galois actions. </p>

This essay is about the significance of group climate for students in physical education. Groupwork and group processes are dealt with in the essay and its importance to students' experiences of the subject and goal attainment. During the autumn of 2015 two different classes in high school were studied in the subject physical education and health. These classes were observed at two different occasions and eight students, four in each class, were selected to participate in the study based on “the role of assumptions” described in the previous research section. Questions regarding group climate and groupwork were asked in order to investigate how the groups were composed, and how the students explained the significance of group climate. Students' responses were connected to Bion’s group theory and the FIRO model which was used as the theoretical foundation and previous research explains groupwork and group processes. The results of the study indicate that students experienced group climate in the class as problematic. Students in the selected classes were divided into many small groups and they explained that they were not talking to the other small groups. The group climate influenced some of the students to the extent that they did not attend classes which may obstruct their goal attainment. According to students, classes had not had any practice in trusting eachother which contradicts the fact that many researchers indicate that it is the teacher's responsibility to create a better climate in classes. Therefore, it may be important for teachers to work actively with exercises that promote group climate. Authors point out that it is becoming more important in today's society to cooperate in most professions. This was also something the students felt they had the opportunity to practice during group work. Students felt that it could sometimes be effective to let the teacher decide the groups in advance because they had the opportunity to get to know more people in the class. Even though a student wants to be in the same group as his best friend it does not mean that it is mutual.

The Lyons group denoted by Ly is a Sporadic Simple Group of order 51765179004000000 = 28 37 56 7 11 31 37 67. It(Ly) has a trivial Schur Multiplier and a trivial Outer Automorphism Group. Its maximal subgroups are G2(5) of order 5859000000 and index 8835156, 3 McL:2 of order 5388768000 and index 9606125, 53 L3(5) of order 46500000 and index 1113229656, 2 A11 of order 29916800 and index 1296826875, 51+4 + :4S6 of order 9000000 and index 5751686556, 35:(2 M11) of order 3849120 and index 13448575000, 32+4:2 A5 D8 of order 699840 and index 73967162500, 67:22 of order 1474 and index 35118846000000 and 37:18 of order 666 and index 77725494000000. Its existence was suggested by Richard Lyons. Lyons characterized its order as the unique possible order of any nite simple group where the centralizer of some involution is isomorphic to the nontrivial central extension of the alternating group of degree 11 by the cyclic group of order 2. Sims proved the existence of this group and its uniqueness using permutations and machine calculations. In this dissertation, we compute the (p; q; t)-generations of the Lyons group for dis- tinct primes p, q and t which divide the order of Ly such that p < q < t. For computations, we made use of the Computer Algebra System GAP / Mathematical Sciences / M.Sc. (Mathematics)

Thesis (MSc)--Stellenbosch University, 2014. / ENGLISH ABSTRACT: In this thesis we develop a self-dual categorical approach to some topics in non-abelian algebra, which is based on replacing the framework of a category with that of a category equipped with a functor to it. We also make some first steps towards a possible link between this theory and the theory of databases in computer science. Both of these theories are based around the study of Grothendieck bifibrations and their generalisations. The main results in this thesis concern correspondences between certain structures on a category which are relevant to the study of categories of non-abelian group-like structures, and functors over that category. An investigation of these correspondences leads to a system of dual axioms on a functor, which can be considered as a solution to the proposal of Mac Lane in his 1950 paper "Duality for Groups" that a self-dual setting for formulating and proving results for groups be found. The part of the thesis concerned with the theory of databases is based on a recent approach by Johnson and Rosebrugh to views of databases and the view update problem. / AFRIKAANSE OPSOMMING: In hierdie tesis word ’n self-duale kategoriese benadering tot verskeie onderwerpe in nie-abelse algebra ontwikkel, wat gebaseer is op die vervanging van die raamwerk van ’n kategorie met dié van ’n kategorie saam met ’n funktor tot die kategorie. Ons neem ook enkele eerste stappe in die rigting van ’n skakel tussen hierdie teorie and die teorie van databasisse in rekenaarwetenskap. Beide hierdie teorieë is gebaseer op die studie van Grothendieck bifibrasies en hul veralgemenings. Die hoof resultate in hierdie tesis het betrekking tot ooreenkomste tussen sekere strukture op ’n kategorie wat relevant tot die studie van nie-abelse groep-agtige strukture is, en funktore oor daardie kategorie. ’n Verdere ondersoek van hierdie ooreemkomste lei tot ’n sisteem van duale aksiomas op ’n funktor, wat beskou kan word as ’n oplossing tot die voorstel van Mac Lane in sy 1950 artikel “Duality for Groups” dat ’n self-duale konteks gevind word waarin resultate vir groepe geformuleer en bewys kan word. Die deel van hierdie tesis wat met die teorie van databasisse te doen het is gebaseer op ’n onlangse benadering deur Johnson en Rosebrugh tot aansigte van databasisse en die opdatering van hierdie aansigte.

This thesis contains four related papers which study different aspects of double constructions for braided Hopf algebras. The main result is a categorical action of a braided version of the Drinfeld center on a Heisenberg analogue, called the Hopf center. Moreover, an application of this action to the representation theory of rational Cherednik algebras is considered. Chapter 1 : In this chapter, the Drinfeld center of a monoidal category is generalized to a class of mixed Drinfeld centers. This gives a unified picture for the Drinfeld center and a natural Heisenberg analogue. Further, there is an action of the former on the latter. This picture is translated to a description in terms of Yetter-Drinfeld and Hopf modules over quasi-bialgebras in a braided monoidal category. Via braided reconstruction theory, intrinsic definitions of braided Drinfeld and Heisenberg doubles are obtained, together with a generalization of the result of Lu (1994) that the Heisenberg double is a 2-cocycle twist of the Drinfeld double for general braided Hopf algebras. Chapter 2 : In this chapter, we present an approach to the definition of multiparameter quantum groups by studying Hopf algebras with triangular decomposition. Classifying all of these Hopf algebras which are of what we call weakly separable type, we obtain a class of pointed Hopf algebras which can be viewed as natural generalizations of multiparameter deformations of universal enveloping algebras of Lie algebras. These Hopf algebras are instances of a new version of braided Drinfeld doubles, which we call asymmetric braided Drinfeld doubles. This is a generalization of an earlier result by Benkart and Witherspoon (2004) who showed that two-parameter quantum groups are Drinfeld doubles. It is possible to recover a Lie algebra from these doubles in the case where the group is free and the parameters are generic. The Lie algebras arising are generated by Lie subalgebras isomorphic to sl2. Chapter 3 : The universal enveloping algebra <i>U</i>(tr_n) of a Lie algebra associated to the classical Yang-Baxter equation was introduced in 2006 by Bartholdi-Enriquez-Etingof-Rains where it was shown to be Koszul. This algebra appears as the A_<i>n</i>-1 case in a general class of braided Hopf algebras in work of Bazlov-Berenstein (2009) for any complex reection group. In this chapter, we show that the algebras corresponding to the series <i>B_n</i> and <i>D_n</i>, which are again universal enveloping algebras, are Koszul. This is done by constructing a PBW-basis for the quadratic dual. We further show how results of Bazlov-Berenstein can be used to produce pairs of adjoint functors between categories of rational Cherednik algebra representations of different rank and type for the classical series of Coxeter groups. Chapter 4 : Quantum groups can be understood as braided Drinfeld doubles over the group algebra of a lattice. The main objects of this chapter are certain braided Drinfeld doubles over the Drinfeld double of an irreducible complex reflection group. We argue that these algebras are analogues of the Drinfeld-Jimbo quantum enveloping algebras in a setting relevant for rational Cherednik algebra. This analogy manifests itself in terms of categorical actions, related to the general Drinfeld-Heisenberg double picture developed in Chapter 2, using embeddings of Bazlov and Berenstein (2009). In particular, this work provides a class of quasitriangular Hopf algebras associated to any complex reflection group which are in some cases finite-dimensional.

Models of geometry that are intrinsically quantum-mechanical in nature arise from the recoupling theory of space-time symmetry groups. Roger Penrose constructed such a model from SU(2) recoupling in his theory of spin networks; he showed that spin measurements in a classical limit are necessarily consistent with a three-dimensional Euclidian vector space. T. Regge and G. Ponzano expressed the semi-classical limit of this spin model in a form resembling a path integral of the Einstein-Hilbert action in three Euclidian dimensions. This thesis gives new proofs of the Penrose spin geometry theorem and of the Regge-Ponzano decomposition theorem. We then consider how to generalize these two approaches to other groups that give rise to new models of quantum geometries. In particular, we show how to construct quantum models of four-dimensional relativistic space-time from the re-coupling theory of the Poincare group.