CLASSIFICATION OF SUBALGEBRAS OF THE CAYLEY ALGEBRA OVER A FINITE FIELD

We classify all unital subalgebras of the Cayley algebra O(q) over the finite field F(q), q = p(n). We obtain the number of subalgebras of each type and prove that all isomorphic subalgebras are conjugate with respect to the automorphism group of O(q). We also determine the structure of the Moufang loops associated with each subalgebra of O(q).

SIGMA THEORY AND TWISTED CONJUGACY CLASSES

Using Sigma theory we show that for large classes of groups G there is a subgroup H of finite index in Aut(G) such that for phi is an element of H the Reidemeister number R(phi) is infinite. This includes all finitely generated nonpolycyclic groups G that fall into one of the following classes: nilpotent-by-abelian groups of type FP(infinity); groups G/G `` of finite Prufer rank; groups G of type FP(2) without free nonabelian subgroups and with nonpolycyclic maximal metabelian quotient; some direct products of groups; or the pure symmetric automorphism group. Using a different argument we show that the result also holds for 1-ended nonabelian nonsurface limit groups. In some cases, such as with the generalized Thompson`s groups F(n,0) and their finite direct products, H = Aut(G).

Spherical space forms - Homotopy self-equivalences and homotopy types, the case of the groups Z/a x (Z/b x TL(2)(F(p)))

Let G = Z/a x(mu) (Z/b x TL(2)(F(p))) and X(n) be an n-dimensional CW-complex with the homotopy type of the n-sphere. We determine the automorphism group Aut(G) and then compute the number of distinct homotopy types of spherical space forms with respect to free and cellular G-actions on all CW-complexes X(2dn - 1), where 2d is a period of G. Next, the group E(X(2dn - 1)/alpha) of homotopy self-equivalences of spherical space forms X(2dn - 1)/alpha, associated with such G-actions alpha on X(2dn - 1) are studied. Similar results for the rest of finite periodic groups have been obtained recently and they are described in the introduction. (C) 2009 Elsevier B.V. All rights reserved.

COMMUTATIVE AUTOMORPHIC LOOPS OF ORDER p(3)

A loop is said to be automorphic if its inner mappings are automorphisms. For a prime p, denote by A(p) the class of all 2-generated commutative automorphic loops Q possessing a central subloop Z congruent to Z(p) such that Q/Z congruent to Z(p) x Z(p). Upon describing the free 2-generated nilpotent class two commutative automorphic loop and the free 2-generated nilpotent class two commutative automorphic p-loop F-p in the variety of loops whose elements have order dividing p(2) and whose associators have order dividing p, we show that every loop of A(p) is a quotient of F-p by a central subloop of order p(3). The automorphism group of F-p induces an action of GL(2)(p) on the three-dimensional subspaces of Z(F-p) congruent to (Z(p))(4). The orbits of this action are in one-to-one correspondence with the isomorphism classes of loops from A(p). We describe the orbits, and hence we classify the loops of A(p) up to isomorphism. It is known that every commutative automorphic p-loop is nilpotent when p is odd, and that there is a unique commutative automorphic loop of order 8 with trivial center. Knowing A(p) up to isomorphism, we easily obtain a classification of commutative automorphic loops of order p(3). There are precisely seven commutative automorphic loops of order p(3) for every prime p, including the three abelian groups of order p(3).

Maximal Subgroups of Compact Lie Groups

This report aims at giving a general overview on the classification of the maximal subgroups of compact Lie groups (not necessarily connected). In the first part, it is shown that these fall naturally into three types: (1) those of trivial type, which are simply defined as inverse images of maximal subgroups of the corresponding component group under the canonical projection and whose classification constitutes a problem in finite group theory, (2) those of normal type, whose connected one-component is a normal subgroup, and (3) those of normalizer type, which are the normalizers of their own connected one-component. It is also shown how to reduce the classification of maximal subgroups of the last two types to: (2) the classification of the finite maximal Sigma-invariant subgroups of centerfree connected compact simple Lie groups and (3) the classification of the Sigma-primitive subalgebras of compact simple Lie algebras, where Sigma is a subgroup of the corresponding outer automorphism group. In the second part, we explicitly compute the normalizers of the primitive subalgebras of the compact classical Lie algebras (in the corresponding classical groups), thus arriving at the complete classification of all (non-discrete) maximal subgroups of the compact classical Lie groups.

Konstruktion symmetrischer Designs

In dieser Arbeit werden zehn neue symmetrische (176,50,14) Designs und ein neues symmetrisches (144,66,30) Design durch Vorgabe von nichtauflösbaren Automorphismengruppen konstruiert. Im Jahre 1969 entdeckte G. Higman ein symmetrisches (176,50,14) Design, dessen volle Automorphismengruppe die sporadische einfache Gruppe HS der Ordnung 44.352.000 ist. Hier wurden nun Designs gesucht, die eine Untergruppe von HS zulassen. Folgende Untergruppen wurden betrachtet: die transitive und die intransitive Erweiterung einer elementarabelschen Gruppe der Ordnung 16 durch Alt(5), AGL(3,2), das direkte Produkt einer zyklischen Gruppe der Ordnung 5 mit Alt(5) und PSL(2,11). Die transitive Erweiterung von E(16) durch Alt(5) lieferte zwei neue Designs mit Automorphismengruppen der Ordnungen 960 bzw. 11.520; letzteres konnte auch mit der transitiven Erweiterung erhalten werden. Die Gruppe PSL(2,11) operiert auf den Punkten des Higman-Designs in drei Bahnen; sucht man nach symmetrischen (176,50,14) Designs, auf denen diese Gruppe in zwei Bahnen operiert, so erhält man acht neue Designs. Die übrigen Gruppen lieferten keine neuen Designs. Schließlich konnte ein neues symmetrisches (144,66,30) Design unter Verwendung der sporadischen Mathieu-Gruppe M(12) konstruiert werden. Dies war zu diesem Zeitpunkt außer dem Higman-Design das einzige bekannte symmetrische Design, dessen volle Automorphismengruppe im Wesentlichen eine sporadische einfache Gruppe ist.

Über die Linearität der Teichmüllerschen Modulgruppe des Torus mit zwei Punktierungen

Über die Liniarität der Teichmüllerschen Modulgruppe des Torus mit zwei Punktierungen. In meiner Arbeit beschäftige ich mich mit Darstellungen der Teichmüllerschen Modulgruppe des Torus mit zwei Punktierungen. Mein Ansatz hierbei ist, die Teichmüllersche Modulgruppe in eine p-adische Liegruppe einzubetten. Sei nun F die von zwei Elementen erzeugte freie Gruppe und Aut(F) die Automorphismengruppe von F. Inhalt des ersten Kapitels ist es nun zu zeigen, daß folgende Aussagen äquivalent sind: - Die Teichmüllersche Modulgruppe des Torus mit zwei Punktierungen ist linear, - Aut(F)ist linear, - F besitzt eine p-Kongruenzstruktur, deren Folgen- glieder von Aut(F) festgehalten werden, also charak- teristisch sind. Im zweiten Kapitel wird unter anderem gezeigt, daß es eine Einbettung einer Untergruppe endlichen Indexes der Aut(F) in die Automorphismengruppe einer einfachen p-adischen Liegruppe gibt. Bisher ist unbekannt, ob die Buraudarstellung treu ist.In dieser Arbeit wird ein unendliches, lineares Gleichungssystem, dessen Lösungen gerade die Koeffizienten der Wörter des Kernes der Buraudarstellung sind, vorgestellt.Im dritten Kapitel wird mit den Methoden des 1.Kapitels gezeigt, daß der Torus mit zwei Punktierungen genau dann linear ist, wenn die Teichmüllersche Modulgruppe der Sphäre mit 5 Punktierungen es auch ist. Bekanntlich ist die 4. Braidgruppe linear. Nun ist aber die 4. Braidgruppe letztlich die Teichmüllersche Modulgruppe der abgeschlossenen Kreisscheibe mit 5 Punktierungen. Wenn man nun deren Randpunkte miteinander identifiziert und anschließend wegläßt, erhält man die 5-fach punktiereSphäre.Mit der eben beschriebenen Abbildung kann man zeigen, daß die Teichmüllersche Modulgruppe der fünffach punktierten Sphäre linear ist.

Algorithms for Finding Unitals and Maximal Arcs in Projective Planes of Order 16

The paper has been presented at the International Conference Pioneers of Bulgarian Mathematics, Dedicated to Nikola Obreshkoff and Lubomir Tschakalo ff , Sofia, July, 2006.

Relação de alcance em dígrafos transitivos e a propriedade Z

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2016.

Domains in complex surfaces with non-compact automorphism groups

Let X be an arbitrary complex surface and D a domain in X that has a non-compact group of holomorphic automorphisms. A characterization of those domains D that admit a smooth, weakly pseudoconvex, finite type boundary orbit accumulation point is obtained.

Class two p groups as fixed point free automorphism groups

Suppose that AG is a solvable group with normal subgroup G where (|A|, |G|) = 1. Assume that A is a class two odd p group all of whose irreducible representations are isomorphic to subgroups of extra special p groups. If p^c ≠ r^d + 1 for any c = 1, 2 and any prime r where r^2d+1 divides |G| and if C_G(A) = 1 then the Fitting length of G is bounded by the power of p dividing |A|.

The theorem is proved by applying a fixed point theorem to a reduction of the Fitting series of G. The fixed point theorem is proved by reducing a minimal counter example. IF R is an extra spec r subgroup of G fixed by A₁, a subgroup of A, where A₁ centralizes D(R), then all irreducible characters of A₁R which are nontrivial on Z(R) are computed. All nonlinear characters of a class two p group are computed.

TWISTED CONJUGACY CLASSES IN R. THOMPSON`S GROUP F

In this article, we prove that any automorphism of R. Thompson`s group F has infinitely many twisted conjugacy classes. The result follows from the work of Brin, together with standard facts about R. Thompson`s group F, and elementary properties of the Reidemeister numbers.

FREE GROUP ALGEBRAS IN DIVISION RINGS

Let k be an algebraically closed field of characteristic zero and let L be an algebraic function field over k. Let sigma : L -> L be a k-automorphism of infinite order, and let D be the skew field of fractions of the skew polynomial ring L[t; sigma]. We show that D contains the group algebra kF of the free group F of rank 2.

Holomorphic families of nonequivalent embeddings and of holomorphic group actions on affine space

We construct holomorphic families of proper holomorphic embeddings of \mathbb {C}^{k} into \mathbb {C}^{n} (0\textless k\textless n-1), so that for any two different parameters in the family, no holomorphic automorphism of \mathbb {C}^{n} can map the image of the corresponding two embeddings onto each other. As an application to the study of the group of holomorphic automorphisms of \mathbb {C}^{n}, we derive the existence of families of holomorphic \mathbb {C}^{*}-actions on \mathbb {C}^{n} (n\ge5) so that different actions in the family are not conjugate. This result is surprising in view of the long-standing holomorphic linearization problem, which, in particular, asked whether there would be more than one conjugacy class of \mathbb {C}^{*}-actions on \mathbb {C}^{n} (with prescribed linear part at a fixed point).

Subvarieties of the Hyperelliptic Moduli Determined by Group Actions

2000 Mathematics Subject Classification: 14Q05, 14Q15, 14R20, 14D22.