Este trabalho é sobre as geométrias finitas com 3 ou 4 pontos na cada reta e os loops e qiasigrupos relacionados. Em caso de 3 pontos na cada reta descrevemos o loop de Steiner correspondente livre e calculamos o grupo de automorfismos em caso de 3 geradores livres. Além disso descrevemos os loopos de Steiner nilpotentes de clase dois e classificamos estes loopos com 3 geradores. Em caso de 4 pontos na cada reta construimos as geometrias novas atraves de expanção central de um análogo não comutativo do quasigrupo de Steiner. Temos fortes indícios que esta construção é universal em algum sentido. / This work is about finite geometries with 3 or 4 points on every line and related loops and quasigroups. In the case of 3 points on any line we describe the structure of free loops in the variety of corresponding Steiner loops and we calculate the group of automorphisms of free Steiner loop with three generators. We describe the structure of nilpotent class two Steiner loops and classifiy all such loops with three generators. In the case of 4 points on a line we constructe new series of such geometries as central extension of corresponding non-commutative Steiner quasigroups. We conjecture that those geometries are universal in some sense.

Neste trabalho, são discutidas algumas propriedades básicas sobre a convergência de métodos de passo múltiplo lineares aplicados à solução numérica de problemas de condições iniciais para uma ampla classe de funções f de interesse nas aplicações. Além disso, também são discutidos vários aspectos básicos da teoria de equações algébrico-diferenciais lineares onde A(t),B(t) são matrizes nxn suficientemente diferenciáveis, com A(t) singular (i.e., não inversível) em todo o intervalo de interesse. / In this work, we discuss some of the basic results about the convergence of linear multistep methods as applied to the solution of the initial value problem for a large class of functions f including practically ali cases of interest in applications. Moreover, we also discuss some basic theoretical results regarding linear systems of differential algebraic equations where A(t), B(t) are sufficiently smooth n x n matrices, with A(t) singular (i.e., noninvertible) for every value of t concerned.

Made available in DSpace on 2015-05-15T11:46:20Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 685495 bytes, checksum: 924951307927847259c1bd0253812600 (MD5) Previous issue date: 2014-02-19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The main goal of this work is to furnish a proof of the well-known Rentschler s Theorem, which describes the structure of the locally nilpotent derivations on the polynomial ring in two indeterminates (over a field of characteristic zero), up to conjugation by tame automorphisms. As a central application of this result, we prove Jung s Theorem, concerning the generators of the group of automorphisms in two variables. Finally, some examples are discussed, illustrating connections to other important topics. / O principal objetivo deste trabalho é fornecer uma demonstração do bem-conhecido Teorema de Rentschler, que descreve a estrutura das derivações localmente nilpotentes sobre o anel de polinômios em duas variáveis (sobre um corpo de característica zero), a menos de conjugação por automorfismos tame . Como aplicação central deste resultado, provamos o Teorema de Jung, sobre os geradores do grupo de automorfismos em duas variáveis. Finalmente, alguns exemplos são discutidos, ilustrando conexões com outros tópicos importantes.

Neste trabalho, são discutidas algumas propriedades básicas sobre a convergência de métodos de passo múltiplo lineares aplicados à solução numérica de problemas de condições iniciais para uma ampla classe de funções f de interesse nas aplicações. Além disso, também são discutidos vários aspectos básicos da teoria de equações algébrico-diferenciais lineares onde A(t),B(t) são matrizes nxn suficientemente diferenciáveis, com A(t) singular (i.e., não inversível) em todo o intervalo de interesse. / In this work, we discuss some of the basic results about the convergence of linear multistep methods as applied to the solution of the initial value problem for a large class of functions f including practically ali cases of interest in applications. Moreover, we also discuss some basic theoretical results regarding linear systems of differential algebraic equations where A(t), B(t) are sufficiently smooth n x n matrices, with A(t) singular (i.e., noninvertible) for every value of t concerned.

Neste trabalho, são discutidas algumas propriedades básicas sobre a convergência de métodos de passo múltiplo lineares aplicados à solução numérica de problemas de condições iniciais para uma ampla classe de funções f de interesse nas aplicações. Além disso, também são discutidos vários aspectos básicos da teoria de equações algébrico-diferenciais lineares onde A(t),B(t) são matrizes nxn suficientemente diferenciáveis, com A(t) singular (i.e., não inversível) em todo o intervalo de interesse. / In this work, we discuss some of the basic results about the convergence of linear multistep methods as applied to the solution of the initial value problem for a large class of functions f including practically ali cases of interest in applications. Moreover, we also discuss some basic theoretical results regarding linear systems of differential algebraic equations where A(t), B(t) are sufficiently smooth n x n matrices, with A(t) singular (i.e., noninvertible) for every value of t concerned.

Le cône diamant a été introduit par N. J. Wildberger pour l'algèbre de Lie sl(n;R). C'est une présentation combinatoire d'une base de l'espace C[N] des fonctions polynomiales sur le facteur nilpotent N de la décompositon d'Iwasawa de SL(n;R), qui respecte la stratification naturelle de ce N-module indécomposable. Cette approche combinatoire peut se réaliser à l'aide de tableaux de Young, qui indexent une telle base. On réalise l'algèbre C[N] comme un quotient, appelé algèbre de forme réduite, de l'algèbre de forme S_ de SL(n;R), on en déduit une base indexée par des tableaux de Young semi standards particuliers, dits tableaux quasi standards. Dans cette thèse cette construction est étendue aux cas des algèbres semi simples de rang 2, puis des algèbres sp(2n), enfin aux super algèbres de Lie sl(m; 1). Dans chaque cas, on définit les tableaux quasi standards, et on montre qu'ils forment une bonne base de l'algèbre de forme réduite, soit directement, soit en utilisant une variante du jeu de taquin de Schützenberger. / The diamond cone was introduced by N. J. Wildberger for the Lie algebra sl(n;R). It is a combinatoric presentation for the space C[N] of polynomials functions on the nilpotent factor N in the Iwasawa decomposition of SL(n;R). This presentation describes the natural layering of this indecomposable N-module. This basis can be indexeded by using some semi standard Young tableaux. We realize the algebra C[N] as a quotient of the shape algebra S_ for SL(n;R). Let us call reduced shape algebra this quotient. It is possible to select a family of semi standard Young tableaux, the quasi standard tableaux, in such a manner to get a basis for the reduced shape algebra. In the present thesis, this construction is extended to the case of rank 2 semi simple Lie algebras, then to the cas of the Lie algebras sp(2n), finally, to the case of the super simple Lie algebra sl(m; 1). In each case, we define the quasi standard Young tableaux, and show they define a good basis for the reduced shape algebra, either directly, or using an adapted version of the jeu de taquin defined by Schützenberger.

Neste trabalho estudamos loops de Bol 2-nilpotentes e de expoente 2. Além disso, mostramos que o ideal de aumento de uma álgebra de loop, de um loop finito p-nilpotente em característica p > 0, é nilpotente. Com este resultado conseguimos caracterizar os elementos inversíveis da álgebra de loop de um loop 2-nilpotente sobre um corpo de dois elementos. Provamos também que loops de Bol finitos 2-nilpotentes e de expoente 2 podem ser mergulhados em um loop de Bol à direita de elementos inversíveis de uma álgebra alternativa à direita, sobre um corpo de característica dois. / In this work we study 2-nilpotent Bol loops of exponent 2. Besides, we prove that the augmentation ideal of a loop algebra, of a finite p-nilpotent loop in characteristic p > 0, is nilpotent. With this result we characterized the invertible elements of the loop algebra of a 2-nilpotent loop over a field with two elements. We also proof that 2-nilpotent Bol loops of exponent 2 may be embedded into a right Bol loop of invertible elements of a right alternative algebra, over a field of characteristic 2.

Pour une variété affine S définie sur un corps k de caracteristique nulle, il y a une correspondence bijective entre les actions algébriques du groupe additif k+=(k,+) sur S et les dérivations localement nilpotentes de l'algèb re des fonctions régulières sur S. Dans cette thèse, nous transposons cette équi valence entre actions et dérivations à la situation plus générale où π:S → X est un schéma de base X donnée, admettant des actions d'un fibré en droites p:L → X sur X. Nous étudions en détail une sous-classe de schémas S de ce type, ayant la propriété d'être muni d'une structure de fibré principal homogène sous l'action d'un second fibré en droites p':L' → Y sur un X-schéma δ:Y → X, de telle sorte que l'action de δ*L sur S se factorise via celle de L'. Nous les appelons schémas de Danielewski-Fieseler. Nous donnons plusieurs procédés de construction de ces schémas. En particulier, lorsque X est affine, nous décrivons un algorithmique permettant d'obtenir des plongements explicites d'un schéma de ce type dans un espace affine relatif de base X. Dans un second temps, nous étudions la situation où le schéma de base X est une droite affine sur un corps k de caractéristique nulle. Dans ce cas, nous établissons qu'un sc héma de Danielewski-Fieseler X est déterminé de manière unique par la donnée combinatoire d'un arbre pondéré. Nous donnons une classification de ces schémas en fonction des arbres associés. Finalement, nous caractérisons les schémas de ce type qui admettent plusieurs actions du groupe additif k+ avec orbites générales distinctes.

Une T-variété est une variété algébrique munie d'une action effective d'un tore algébrique T. Cette thèse est consacrée à l'étude de deux aspects des T-variétés normales affines : les actions du groupe additif et la caractérisation des singularités. Soit X = Spec A une T-variété affine normale et soit D une dérivation homogène localement nilpotente de l'algèbre affine intègre Z^n-graduée A, alors D engendre une action du groupe additif dans X. On donne une classification complète des couples (X, D) dans trois cas : pour les variétés toriques, dans le cas de complexité un, et dans le cas où D est de type fibre. Comme application, on calcule l'invariant de Makar-Limanov (ML) homogène de ces variétés. On en déduit que toute variété d'invariant de ML trivial est birationnelle à Y × P^2 , pour une certaine variété Y . Inversement, pour toute variété Y , il existe une T-variété affine X d'invariant de ML trivial birationnelle a Y × P2. Dans la seconde partie concernant les singularités d'une T-variété X, on calcule les images directes supérieures du faisceau structural d'une désingularisation de X. Comme conséquence, on donne un critère pour qu'une T-variété ait des singularités rationnelles. On présente aussi une condition pour qu'une T-variété soit de Cohen-Macaulay. Comme application, on caractérise les singularités elliptiques des surfaces quasi-homogènes.

Le cône diamant a été introduit par N. J. Wildberger pour l'algèbre de Lie sl(n;R). C'est une présentation combinatoire d'une base de l'espace C[N] des fonctions polynomiales sur le facteur nilpotent N de la décompositon d'Iwasawa de SL(n;R), qui respecte la stratification naturelle de ce N-module indécomposable. Cette approche combinatoire peut se réaliser à l'aide de tableaux de Young, qui indexent une telle base. On réalise l'algèbre C[N] comme un quotient, appelé algèbre de forme réduite, de l'algèbre de forme S_ de SL(n;R), on en déduit une base indexée par des tableaux de Young semi standards particuliers, dits tableaux quasi standards. Dans cette thèse cette construction est étendue aux cas des algèbres semi simples de rang 2, puis des algèbres sp(2n), enfin aux super algèbres de Lie sl(m; 1). Dans chaque cas, on définit les tableaux quasi standards, et on montre qu'ils forment une bonne base de l'algèbre de forme réduite, soit directement, soit en utilisant une variante du jeu de taquin de Schützenberger.