Some examples of nil Lie algebras

Generalizing Petrogradsky`s construction, we give examples of infinite-dimensional nil Lie algebras of finite Gelfand-Kirillov dimension over any field of positive characteristic.

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).

Structurable superalgebras of Cartan type

We describe the simple Lie superalgebras arising from the unital structurable superalgebras of characteristic 0 and construct four series of the unital simple structurable superalgebras of Cartan type. We give a classification of simple structurable superalgebras of Cartan type over an algebraically closed field F of characteristic 0. Together with the Faulkner theorem on the classification of classical such superalgebras, it gives a classification of the simple structurable superalgebras over F. Crown Copyright (C) 2010 Published by Elsevier Inc. All rights reserved.

Boutet de Monvel`s calculus and groupoids I

Can Boutet de Monvel`s algebra on a compact manifold with boundary be obtained as the algebra Psi(0)(G) of pseudodifferential operators on some Lie groupoid G? If it could, the kernel G of the principal symbol homomorphism would be isomorphic to the groupoid C*-algebra C*(G). While the answer to the above question remains open, we exhibit in this paper a groupoid G such that C*(G) possesses an ideal I isomorphic to G. In fact, we prove first that G similar or equal to Psi circle times K with the C*-algebra Psi generated by the zero order pseudodifferential operators on the boundary and the algebra K of compact operators. As both Psi circle times K and I are extensions of C(S*Y) circle times K by K (S*Y is the co-sphere bundle over the boundary) we infer from a theorem by Voiculescu that both are isomorphic.

A Character Formula for the Category (O)over-tilde of Modules for Affine sl(2)

One may construct, for any function on the integers, an irreducible module of level zero for affine sl(2) using the values of the function as structure constants. The modules constructed using exponential-polynomial functions realize the irreducible modules with finite-dimensional weight spaces in the category (O) over tilde of Chari. In this work, an expression for the formal character of such a module is derived using the highest weight theory of truncations of the loop algebra.

Förlorad i övergången från aritmetik till algebra : Hur gymnasieelever översätter aritmetik till algebra

The aim of this thesis is to look for signs of students’ understanding of algebra by studying how they make the transition from arithmetic to algebra. Students in an Upper Secondary class on the Natural Science program and Science and Technology program were given a questionnaire with a number of algebraic problems of different levels of difficulty. Especially important for the study was that students leave comments and explanations of how they solved the problems. According to earlier research, transitions are the most critical steps in problem solving. The Algebraic Cycle is a theoretical tool that can be used to make different phases in problem solving visible. To formulate and communicate how the solution was made may lead to students becoming more aware of their thought processes. This may contribute to students gaining more understanding of the different phases involved in mathematical problem solving, and to students becoming more successful in mathematics in general.The study showed that the students could solve mathematical problems correctly, but that they in just over 50% of the cases, did not give any explanations to their solutions.

Gymnasieelevers uppfattningar om algebra och problemlösning : En undersökning med utgångspunkt i elevernas kön, slutbetyg i grundskolan och val av gymnasieprogram

Syftet med den här uppsatsen är att undersöka elevers uppfattningar om algebra och problemlösning samt granska hur dessa uppfattningar påverkas beroende på elevernas val av gymnasieprogram, kön och slutbetyg i grundskolan. Syftet är vidare att ta reda på vilka eventuella hinder och svårigheter eleverna själva uppfattar då de använder algebra för att lösa matematiska problem. Som metod för att söka svar på syfte och frågeställningar har valts att genomföra en enkätundersökning med elever som går första året på gymnasiet och som läser antingen naturvetenskapsprogrammet eller bygg- och anläggningsprogrammet. Enkätundersökningen består av två delar, en del som undersöker elevers uppfattningar om matematik i allmänhet och algebra och problemlösning i synnerhet, samt en del som försöker reda ut vilka svårigheter eleverna uppfattar då de ska lösa matematiska problem med algebra. Svaren sammanställs genom en analys av vilka eventuella skillnader och likheter som finns beroende på elevernas val av gymnasieprogram, kön och betyg i grundskolan. Resultatet visar på att elever på naturvetenskapsprogrammet som hade MVG i betyg i grundskolan har en mer positiv inställning till algebra och problemlösning i jämförelse med elever från bygg- och anläggningsprogrammet som fått G i betyg. Vad gäller elevernas kön finns det inte några indikationer på att denna faktor har någon större påverkan på deras uppfattningar. Resultatet kan vara en indikation på att elevernas uppfattningar främst påverkas av deras förståelse för det algebraiska tankesättet. Det eleverna upplever som svårast när de ska lösa problem med hjälp av algebra är att översätta den skrivna texten till en algebraisk framställning. När eleverna löser matematiska problem indikerar även resultatet att de till stor del styrs av sina förväntningar och förutfattade föreställningar om uppgiften. Resultatet ger en indikation om att eleverna behöver arbeta mer med problemlösning i olika former för att genom det kunna träna upp sin resonemangsförmåga och sin förmåga att behärska alla de tre faserna, översättning, omskrivning och tolkning, i den algebraiska cykeln.

Derivações de ordem superior em anéis primos e semiprimos

Nesta tese estudamos as derivações de ordem superior (DOS) em anéis não-comutativos. Inicialmente, mostramos que toda derivação tripla de Jordan de ordem superior em um anel semiprimo livre de 2-torção é uma DOS. Em particular, toda derivação de Jordan de ordem superior (DJOS) num anel deste tipo é uma DOS. Estendemos também o resultado a ideais de Lie U, provando que se R é um anel primo livre de 2-torção e D é uma DJOS de U em R onde U ct Z(R) é tal que U2E U para todo u E U, então D é uma DOS de U em R. Nestas condições, se U C Z(R), então o resultado não é válido. Estudamos ainda as DOS cujas componentes satisfazem relações de dependência linear sobre R ou Q (o anel de quocientes à direita de M artindale de R). Caracterizamos tais DOS, e mostramos que as relações de dependência linear são preservadas ao estendermos uma DOS de R a Q.

Curso de matematica para economistas, Capitulos I e II: funções, algebra linear e aplicações

Os autores objetivam, com este trabalho preliminar, bem como com aqueles que lhe darão continuidade, na sequência de composição de um livro de matemática para economistas, registrar as suas experiências ao longo dos últimos anos ministrando cadeiras de matemática nos cursos de pós-graduação em economia da Fundação Getúlio Vargas, da UFF (Universidade Federal Fluminense) e da PUC-RJ. Reveste-se de constante repetição em tais cursos a discussão sobre que pontos abordar, bem como com qual grau de profundidade, e em que ordem. É neste sentido que os autores esperam, com a sequência didática que aqui se inicia, trazer alguma contribuição para o assunto.

Solução da equação advectivo-difusiva utilizando regras para manipulação de exponenciais de operadores diferenciais e simetrias de Lie : aplicações em engenharia ambiental

Vários métodos analíticos, numéricos e híbridos podem ser utilizados na solução de problemas de difusão e difusão-advecção. O objetivo deste trabalho é apresentar dois métodos analíticos para obtenção de soluções em forma fechada da equação advectivo-difusiva em coordenadas cartesianas que descreve problemas de dispersão de poluentes na água e na atmosfera. Um deles é baseado em regras de manipulação de exponenciais de operadores diferenciais, e o outro consiste na aplicação de simetrias de Lie admitidas por uma equação diferencial parcial linear. Desenvolvem-se regras para manipulação de exponenciais de operadores diferenciais de segunda ordem com coeficientes constantes e para operadores advectivo-difusivos. Nos casos em que essas regras não podem ser aplicadas utiliza-se uma formulação para a obtenção de simetrias de Lie, admitidas por uma equação diferencial, via mapeamento. Define-se um operador diferencial com a propriedade de transformar soluções analíticas de uma dada equação diferencial em novas soluções analíticas da mesma equação. Nas aplicações referentes à dispersão de poluentes na água, resolve-se a equação advectivo-difusiva bidimensional com coeficientes variáveis, realizando uma mudança de variáveis de modo a reescrevê-la em termos do potencial velocidade e da função corrente correspondentes ao respectivo escoamento potencial, estendendo a solução para domínios de contornos arbitrários Na aplicação referente ao problema de dispersão de poluentes na atmosfera, realiza-se uma mudança de variáveis de modo a obter uma equação diferencial parcial com coeficientes constantes na qual se possam aplicar as regras de manipulação de exponenciais de operadores diferenciais. Os resultados numéricos obtidos são comparados com dados disponíveis na literatura. Diversas vantagens da aplicação das formulações apresentadas podem ser citadas, a saber, o aumento da velocidade de processamento, permitindo a obtenção de solução em tempo real; a redução da quantidade de memória requerida na realização de operações necessárias para a obtenção da solução analítica; a possibilidade de dispensar a discretização do domínio em algumas situações.

Some experiments with high order compact methods using a computer algebra software - Part I

We consider a procedure for obtaining a compact fourth order method to the steady 2D Navier-Stokes equations in the streamfunction formulation using the computer algebra system Maple. The resulting code is short and from it we obtain the Fortran program for the method. To test the procedure we have solved many cavity-type problems which include one with an analytical solution and the results are compared with results obtained by second order central differences to moderate Reynolds numbers. (c) 2005 Elsevier B.V. All rights reserved.

Some experiments with high order compact methods using a computer algebra software - Part II (non-uniform grid)

We generalize a procedure proposed by Mancera and Hunt [P.F.A. Mancera, R. Hunt, Some experiments with high order compact methods using a computer algebra software-Part 1, Appl. Math. Comput., in press, doi: 10.1016/j.amc.2005.05.015] for obtaining a compact fourth-order method to the steady 2D Navier-Stokes equations in the streamfunction formulation-vorticity using the computer algebra system Maple, which includes conformal mappings and non-uniform grids. To analyse the procedure we have solved a constricted stepped channel problem, where a fine grid is placed near the re-entrant corner by transformation of the independent variables. (c) 2006 Elsevier B.V. All rights reserved.