Orientador: Dr. Alessandro Jacques Ribeiro / Tese (doutorado) - Universidade Federal do ABC, Programa de Pós-Graduação em Neurociência e Cognição, 2017. / O presente estudo preocupou-se em investigar se e como o conceito anel de polinomios e (re)construido por professores de Matematica que lecionam na Educacao Basica. Neste estudo, discutiu-se a importancia da construcao de conceitos matematicos, tendo por um lado a contribuicao do campo da ciencia cognitiva, principalmente os trabalhos Anna Sfard, e as recentes pesquisas sobre conhecimento matematico para o ensino, na area de Educacao Matematica, utilizando, essencialmente os trabalhos de Debora Ball, Jose Carrillo e seus colaboradores. Adotou-se a metodologia de pesquisa de natureza quantiqualitativa e o processo de coleta de dados se desenvolveu por meio de encontros do Curso de Extensao \O Ensino de Algebra para a Educacao Basica., ministrado na Universidade Federal do ABC, no estado de Sao Paulo, e conduzido por professores universitarios integrantes do programa Observatorio da Educacao. Para a producao de dados da pesquisa, utilizou-se como instrumentos metodologicos os questionarios e os registros escritos, elaborados/produzidos pelos professores-participantes da pesquisa durante os encontros do referido curso. A partir da analise dos dados, os resultados da investigacao apontam para a necessidade de promover acoes que possam ampliar e aprofundar o conhecimento especifico matematico desses professores, dado que ninguem pode ensinar o que nao sabe. Tambem evidenciamos a necessidade de um (re)pensar sobre o ensino de polinomios, uma vez que tal a analise dos dados realizados revelou que os professores desconhecem procedimentos para se operar com polinomios. Espera-se com este estudo chamar a atencao das politicas publicas para a necessidade de investimento na formacao continuada dos professores de matematica e, por conseguinte, na valorizacao da carreira docente. / This study intended to investigate mathematical knowledge building for teaching the concept of polynomial with Math teachers in Basic Education. In this study, the importance of building mathematical concepts was discussed, considering contributions from the cognitive sciences field, particularly Anna Sfard`s works, and recent research on mathematical knowledge for Algebra teaching from the Math Education field, using essentially works by Ball, Carrillo and their collaborators. A qualitative-quantitative approach for our research design was adopted, and the data gathering process was developed from meetings of a Extracurricular Course on Algebra Teaching for Basic Education, offered at the Federal University of ABC, in São Paulo State, conducted by university professors from the Education Observatory program. In producing the research data, questionnaires and written registers were used, elaborated by research participants themselves during the Course`s meetings. From the analysis of the data, the research results point to the need to promote actions that can broaden and deepen the specific mathematical knowledge of these teachers, given that no one can teach what they do not know. We also show the need for a new thinking about the teaching of polynomials, once such analysis of the data revealed that teachers are not aware of procedures to operate with polynomials. It is hoped that this study will draw the attention of public policies to the need for investment in the continuing education of mathematics teachers and, consequently, in the valorization of the teaching career.

Orientadora: Profa. Dra. Ana Carolina Boero / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Mestrado Profissional em Matemática em Rede Nacional, 2016. / O Teorema Fundamental da Álgebra é um tópico de grande relevância para a Matemática, com o qual o aluno toma contato na 3a série do Ensino Médio. Talvez porque todas as demonstrações conhecidas desse resultado utilizem argumentos que não podem ser apresentados de modo preciso nessa etapa de ensino, sua abordagem em diversos livros didáticos resume-se, basicamente, a destacar algumas de suas consequências e aplicações. O propósito deste trabalho é fornecer um material que possa ser utilizado por professores da Educação Básica no intuito de explorar esse fascinante resultado. Para atingirmos esse objetivo, apresentamos uma breve contextualizaçãohistória do Teorema Fundamental da Álgebra, que serve tanto para apontar sua utilidade em outros ramos da Matemática como também para observar a evolução de certos conceitos matemáticos. Em seguida, apresentamos uma prova rigorosa desse resultado, com o menor nível de complexidade possível, além de duas abordagens alternativas com apelo visual que podem ser utilizadas para apresentar uma justificativa de sua validade aos alunos do Ensino Médio. / The Fundamental Theorem of Algebra is a topic of great relevance to Mathematics, with which the student makes contact in the 3rd grade of High School. Perhaps because all known demonstrations of this result use arguments that can not be accurately presented at this stage of teaching, its approach in several textbooks basically boils down to highlighting some of its consequences and applications. The purpose of this work is to provide a material that can be used by teachers of Basic Education in order to explore this fascinating result. To reach this goal, we present a brief history of the Fundamental Theorem of Algebra, which serves both to point out its usefulness in other branches of mathematics and also to observe the evolution of certain mathematical concepts. Next, we present a rigorous proof of this result, with the lowest level of complexity possible, as well as two alternative approaches with visual appeal that can be used to present a justification of its validity to high school students.

Made available in DSpace on 2014-06-11T19:32:15Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-11-24Bitstream added on 2014-06-13T19:42:44Z : No. of bitstreams: 1 laureano_mmm_dr_jabo.pdf: 1370732 bytes, checksum: 917b233b8c336006b0fff4eae272a7b4 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Parâmetros genéticos para o fluxo lácteo medido no dia do controle (FLDC) de primeiras lactações de vacas da raça Holandesa foram estimados utilizando modelos de dimensão finita (TDM) e modelos de regressão aleatória. Para os TDM foram analisadas 10 características por meio de modelos uni e bi e multi-características e de repetibilidade, que continham como aleatórios, o efeito genético aditivo e o efeito residual e, como efeitos fixos, o grupo de contemporâneos e as covariáveis idade da vaca ao parto. A variável número de dias em lactação foi incluída somente no modelo de repetibilidade. Para os MRA, foram considerados os efeitos aleatórios genético aditivo direto, de ambiente permanente e o residual. Foram considerados como efeitos fixos, o grupo de contemporâneos, os efeitos linear e quadrático da covariável idade da vaca ao parto e a curva média de lactação da população, modelada por meio de polinômios ortogonais de Legendre de quarta ordem. Os efeitos aleatórios genético aditivo e de ambiente permanente foram modelados por meio de regressão aleatória sobre polinômios ortogonais de Legendre e por meio de funções b-splines. Diferentes estruturas de variâncias residuais foram testadas, por meio de classes contendo 1, 7, 10, 20 e 43 variâncias residuais, para os MRA modelados por meio de polinômios de Legendre. Já, para os MRA modelados por funções b-splines, a estrutura residual foi considerada heterogênea, contendo 7 classes de variâncias. Os MRA foram comparados usando o teste de razão de verossimilhança, o critério de informação de Akaike e o critério de informação de Bayesiano de Schwarz. As estimativas de herdabilidade (h2) para os FLDC variaram de 0,23 a 0,32 nas análises unicaracterísticas, de 0,24 a 0,32 nas bi-características e de 0,28 a 0,37 nas multicaracterísticas. Os valores de h2 estimados variaram no decorrer da... / Flow milk genetic parameters to the first lactation test-day milk yields of Holstein cattle were estimated using Test-day models (TDM) and Random regression models (RRM). Ten TDM differents traits were analyzed using uni, bi and multi-trait and repeatability animal models, that included the additive genetic as random effect and the fixed effects of contemporary group, age of cow (linear and quadratic) as covariables. The days in milk (linear) variable was included only at repeatability model. To RRM were included the additive genetic, permanent environmental and residual as random effects, the fixed effects of contemporary group, age of cow as covariable (linear and quadratic effects) and a 4th-order Legendre orthogonal polynomials of days in milk, to model the mean trend. The additive genetic and permanent environmental effects were fitted by Legendre orthogonal polynomials and b-splines functions. Different structures of residual variances were used, through the variances classes containing 1, 7, 10, 20, and e 43 residual variances, to the models fitted by Legendre orthogonal polynomials. Moreover, for the RRM fitted by b-splines-functions, the residual estructure was considered heterogeneous, having 7 variance classes. The RRM were compared by Likelihood ratio test, Bayesian and Akaike´s information criteria. The heritability estimated ranged from 0.23 to 0.32 by uni-trait analyses, from 0.24 to 0.32 by bi-traits analyses and from 0.28 to 0.37 by multi-trait analyses. The h2 estimates varied during the lactation being the highest estimate at the fourth month. The estimate obtained by the repeatability model was 0.27, and a repeatability estimate of 0.66. For the MRA fitted by Legendre orthogonal polynomials, related to the residual variance, the best model the one that deemed 7 residual classes. For the additive and permanent environmental effects, the having 3th-order... (Complete abstract click electronic access below)

Dans ce travail, nous abordons les problèmes de l'analyse de la stabilité et de la synthèse de contrôleur pour une Equation aux Dérivées Partielles (EDP) parabolique linéaire de dimension 1. Ces problèmes sont résolus avec des méthodologies analogues au cadre des inégalités matricielles linéaires (LMI) pour les équations différentielles ordinaires (EDO). Nous développons une méthode pour EDP paraboliques dans laquelle nous testons la faisabilité de certaines LMIs utilisant la programmation semi-définie (SDP) pour construire des fonctions de Lyapunov quadratiques et des contrôleurs. Le cœur de notre démarche est la construction de fonctions de Lyapunov quadratiques paramétrées par les opérateurs définis positifs sur les espaces de Hilbert de dimension infinie. Contrairement aux matrices positives, il n'y a pas de méthode unique paramétrisant l'ensemble des opérateurs positifs sur un espace de Hilbert. Bien sûr, nous pouvons toujours paramétrer un sous-ensemble des opérateurs positifs en utilisant, par exemple, des scalaires positifs. Cependant, nous devons nous assurer que le paramétrage des opérateurs positifs ne doit pas être conservatif. Notre contribution est de construire une paramétrisation qui a seulement une petite quantité de conservatisme comme indiqué par nos résultats numériques. Nous utilisons des polynômes en somme des carrés (SOS) pour paramétrer l'ensemble des opérateurs positifs, linéaire et bornés sur les espaces de Hilbert. Comme son nom l'indique, un polynôme SOS est celui qui peut être représenté comme une somme de polynômes carrés. La propriété la plus importante d'un polynôme SOS est qu'il peut être représenté au moyen d'une matrice (semi-)définie positive. Cela implique que, même si le problème de polynôme (semi-)positif est NP-difficile, le problème de vérifier si polynôme est SOS (et donc (semi-)positif) peut être résolu en utilisant la SDP. Par conséquent, nous nous efforçons de construire des fonctions de Lyapunov quadratiques paramétrées par les opérateurs positifs. Ces opérateurs positifs sont à leur tour paramétrés par des polynômes SOS. Cette paramétrisation SOS nous permet de formuler le problème de faisabilité pour l'existence d'une fonction de Lyapunov quadratique comme un problème de faisabilité LMI. Le problème de la faisabilité LMI peut alors être adressé à l'aide de SDP. Dans la première partie de la thèse nous considérons analyse de stabilité et la synthèse de contrôleur aux frontières pour une large classe d'EDP paraboliques. Les EDP ont des coefficients de transport distribués spatialement. Ces EDP sont utilisés pour modéliser les processus de diffusion, de convection et de réaction de quantités physiques dans les milieux anisotropes. Nous considérons la synthèse de contrôleurs limite à la fois pour le cas de retour d'état et le cas de retour de sortie (à l'aide d'un observateur). Dans la deuxième partie de la thèse, nous concevons un contrôleur distribué pour la régulation du flux magnétique poloïdal dans un tokamak (procédé de fusion thermonucléaire par confinement magnétique). Tout d'abord, nous concevons un contrôleur régulant la pente des lignes de champ magnétique (le facteur de sécurité). La régulation du profil du facteur de sécurité est importante pour supprimer les instabilités MHD dans un tokamak. Ensuite, nous concevons un contrôleur maximisant la densité de courant bootstrap généré en interne. Une proportion accrue du courant bootstrap conduirait à une réduction des besoins énergétiques exogènes pour l'exploitation d'un tokamak. / In this work we address the problems of stability analysis and controller synthesis for one dimensional linear parabolic Partial Differential Equations (PDEs). To achieve the tasks of stability analysis and controller synthesis we develop methodologies akin to the Linear Matrix Inequality (LMI) framework for Ordinary Differential Equations (ODEs). We develop a method for parabolic PDEs wherein we test the feasibility of certain LMIs using SDP to construct quadratic Lyapunov functions and controllers. The core of our approach is the construction of quadratic Lyapunov functions parametrized by positive definite operators on infinite dimensional Hilbert spaces. Unlike positive matrices, there is no single method of parametrizing the set of all positive operators on a Hilbert space. Of course, we can always parametrize a subset of positive operators, using, for example, positive scalars. However, we must ensure that the parametrization of positive operators should not be conservative. Our contribution is constructing a parametrization which has only a small amount of conservatism as indicated by our numerical results. We use Sum-of-Squares (SOS) polynomials to parametrize the set of positive, linear and bounded operators on Hilbert spaces. As the name indicates, an SOS polynomial is one which can be represented as a sum of squared polynomials. The most important property of an SOS polynomial is that it can be represented using a positive (semi)-definite matrix. This implies that even though the problem of polynomial (semi)-positivity is NP-hard, the problem of checking if polynomial is SOS (and hence (semi)-positive) can be solved using SDP. Therefore, we aim to construct quadratic Lyapunov functions parametrized by positive operators. These positive operators are in turn parametrized by SOS polynomials. This parametrization using SOS allows us to cast the feasibility problem for the existence of a quadratic Lyapunov function as the feasibility problem of LMIs. The feasibility problem of LMIs can then be addressed using SDP. In the first part of the thesis we consider stability analysis and boundary controller synthesis for a large class of parabolic PDEs. The PDEs have spatially distributed coefficients. Such PDEs are used to model processes of diffusion, convection and reaction of physical quantities in anisotropic media. We consider boundary controller synthesis for both the state feedback case and the output feedback case (using and observer design). IN the second part of thesis we design distributed controllers for the regulation of poloidal magnetic flux in a tokamak (a thermonuclear fusion devise). First, we design the controllers to regulate the magnetic field line pitch (the safety factor). The regulation of the safety factor profile is important to suppress the magnetohydrodynamic instabilities in a tokamak. Then, we design controllers to maximize the internally generated bootstrap current density. An increased proportion of bootstrap current would lead to a reduction in the external energy requirements for the operation of a tokamak.

Made available in DSpace on 2014-10-09T12:46:58Z (GMT). No. of bitstreams: 0 / Made available in DSpace on 2014-10-09T14:10:10Z (GMT). No. of bitstreams: 1 08315.pdf: 2209007 bytes, checksum: da772613fbbd4e5110a0d2f25639c69c (MD5) / Dissertacao (Mestrado) / IPEN/D / Instituto de Pesquisas Energeticas e Nucleares - IPEN/CNEN-SP

Made available in DSpace on 2015-03-26T13:42:23Z (GMT). No. of bitstreams: 1 texto completo.pdf: 2141668 bytes, checksum: b7f9269723d229ff78c781b127e1558b (MD5) Previous issue date: 2011-07-25 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Data from the herd of goat industry, Federal University of Viçosa were used to evaluate the factors that influence milk production on the control (PLDC) and content of the Milk constituents (percentages of protein, fat, lactose and total solids in days of collection) in dairy goats fitness, define the best model of random regression using Legendre polynomials orthogonal to the first lactation in Alpine goats and check the effect of different control intervals (7, 14, 21 and 28 days) on genetic evaluation of Alpine goats. The editing of the data was performed using the SAS program, recoding and correction of the pedigree was made using the program RENPED. The program WOMBAT was used in all genetic evaluations. The program RENPED was used to calculate the area under the curve of breeding values for ranges from 7 to 210 and 7 to 290 days of production, resulting accumulated genetic values, A210 and A290 respectively. The Pearson and Spearman correlations were obtained using the SAS program. It was concluded that there is variation in the factors that significantly influenced each trait studied and each race. In genetic evaluation using random regression models, it is recommended to use only the covariate age of dam at kidding, avoiding the use of fixed effect of birth order. The random regression model using orthogonal Legendre polynomials more suitable for genetic evaluation of Alpine goat breed used was fixed regression of order 4, the regression of additive genetic effects of order 2, the regression of permanent environmental effects of order 7 and at least Five classes of residual variance. The prior study of the best model for genetic evaluation of a herd is very important to increase the precision and accuracy of the analysis. Range of controls to evaluate the milk production of Alpine goat breed using random regression models, must be seven days for breeding and improvement programs with high technical level. / Dados do rebanho do setor de caprinocultura da Universidade Federal de Viçosa foram utilizados para avaliar os fatores que influenciam a produção de leite no dia do controle (PLDC) e teor dos constituintes do leite (porcentagens de proteína, gordura, lactose e extrato seco total no dia da coleta) em caprinos de aptidão leiteira, definir o melhor modelo de regressão aleatória, utilizando polinômios ortogonais de Legendre, para primeira lactação de cabras Alpinas e verificar o efeito de diferentes intervalos de controle (7, 14, 21 e 28 dias) sobre a avaliação genética de cabras Alpinas. A edição dos dados foi feita utilizando o programa SAS, a recodificação e correção de erros do pedigree foi feita utilizando o programa RENPED. O programa WOMBAT foi utilizado em todas as avaliações genéticas. O programa RENPED foi utilizado para calcular a área abaixo da curva de valores genéticos dos animais para intervalos de 7 a 210 e 7 a 290 dias de produção, gerando os valores genéticos acumulados, a210 e a290 respectivamente. As correlações de Pearson e Spearman foram obtidas utilizando o programa SAS. Concluiu-se que existe variação quanto aos fatores que influenciaram significativamente cada característica estudada e cada raça. Em avaliações genéticas, utilizando modelos de regressão aleatória, recomenda-se a utilização apenas da covariável idade da cabra ao parto, evitando o uso do efeito fixo de ordem de parto. O modelo de regressão aleatória utilizando polinômios ortogonais de Legendre mais indicado para avaliação genética dos caprinos da raça Alpina utilizados, foi regressão fixa de ordem 4, a regressão de efeitos genéticos aditivos de ordem 2, a regressão de efeitos de ambiente permanente de ordem 7 e ao menos 5 classes de variância residual. O estudo do melhor modelo de análise previamente à avaliação genética de um rebanho é imprescindível para aumentar a precisão e acurácia das análises. Intervalos de controles para avaliar a produção de leite de caprinos da raça alpina utilizando modelos de regressão aleatória, devem ser de sete dias para programas de melhoramento e criatórios com alto nível de tecnificação.

Submitted by Leonardo Cavalcante (leo.ocavalcante@gmail.com) on 2018-04-23T21:42:23Z No. of bitstreams: 1 Arquivototal.pdf: 889863 bytes, checksum: feeec177f9d947c98727574b765d8acb (MD5) / Made available in DSpace on 2018-04-23T21:42:23Z (GMT). No. of bitstreams: 1 Arquivototal.pdf: 889863 bytes, checksum: feeec177f9d947c98727574b765d8acb (MD5) Previous issue date: 2017-07-25 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work, we study the notion of index of summability for pairs of Banach spaces. This index plays the role of a kind of “measure” of how the space of m-homogeneous polynomials from E to F (or the space of multilinear operators of E1×···×Em to F) are far from being the space of absolutely summing m-homogeneous polynomials (or with the space of multiple summing multilinear operators). In some cases the optimal index of summability is presented. / Neste trabalho, estudamos a noção de índice de somabilidade para pares de espaços de Banach. Esse índice desempenha o papel de um tipo de \medida" de como o espaço dos polinômios m-homogêneos de E em F (ou o espaço dos operadores multilineares de E Em em F) está longe de coincidir com o espaço dos polinômios m- homogêneos absolutamente somantes (ou com o espaço dos operadores multilineares multiplo somantes). Em alguns casos o índice ótimo de somabilidade e apresentado. Palavras-chave: Polinômios absolutamente somantes, operadores multilineares absolutamente somantes, espaços de Banach, índice de somabilidade.

We study the problem of proving lower bounds for depth four arithmetic circuits. Depth four circuits have been receiving much attraction when it comes to recent circuit lower bound results, as a result of the series of results culminating in the fact that strong enough lower bounds for depth four circuits will imply super-polynomial lower bounds for general arithmetic circuits, and hence solve one of the most central open problems in algebraic complexity i.e a separation between the VP and VNP classes. However despite several efforts, even for general arithmetic circuits, the best known lower bound is Omega(N log N) by Baur and Strassen (1983), where N is the number of input variables. In the case of arithmetic formulas, Kalorkoti (1985) proved a lower bound that is quadratic in the number of input variables, which has not seen any improvement since then. The situation for depth three arithmetic circuits was also similar for many years, until a recent result by Kayal et. al. (2016) achieved an almost cubic lower bound that improved over the previous best quadratic bound by Shpilka and Wigderson (1999). As the main contribution of this thesis, we prove an Omega(N^1.5) lower bound on the size of a depth four circuit, for an explicit multilinear N-variate polynomial in VNP with degree d = Theta(sqrt(N)). Our approach offers a potential route to proving a super-quadratic lower bound for depth four circuits. Taking cue from the numerous successful results recently, we use the technique of the shifted partial derivatives measure to achieve the said lower bound. Particularly, we use the Dimension of Projected Shifted Partials (DPSP) measure which has been previously used in recent depth four results. Coming to the choice of the hard polynomial, we again follow the status quo and use a variant of the Nisan-Wigderson (NW) polynomial family that has proved to be very helpful over the past few years in arithmetic circuit complexity. Finally, we do a careful analysis of Shoup-Smolensky (1997) and Raz (2010) and compare their techniques to ours. We conclude that our result can potentially be used as a starting point, and techniques similar to Kayal et. al. (2016) can likely be used to strengthen our lower bound to Omega(N^2.5), for general depth four arithmetic circuits. However, unlike depth three circuits, proving a super-quadratic lower bound for depth four circuits remains a prevalent open problem for many years. Previous work like Shoup-Smolensky and Raz implied super-linear lower bounds. To the best of our knowledge, the previous best known lower bound for general depth four circuits is Omega(N^1.33).

CAPES / Este trabalho tem como objetivo aprofundar o conhecimento dos professores do ensino médio fundamental a respeito de congruência e polinômios. Apesar de congruência não ser abordado nas escolas, este assunto justifica alguns conceitos repassados aos alunos, como por exemplo a divisibilidade de um número por outro. A congruência ainda pode auxiliar na verificação de raízes de polinômios. Aqui, os polinômios são tratados como elementos de um anel, o anel dos polinômios, e vários resultados utilizados em sala de aula são justificados a partir da estrutura desse anel. Com esses dois conceitos, ainda e feito um breve estudo de congruência polinomial. / The aim of this work is to deepen the knowledge of elementary and high school teachers about congruence and polynomials. Although congruence is not studied in schools, this subject justifies some concepts passed to the students, such as the divisibility of one number by another. The congruence can also help to verify roots of polynomials. Here, polynomials are treated as elements of a ring, the ring of polynomials, and several results used in the classroom are justified from the structure of this ring. These concepts are used for a brief study of polynomial congruence.

CAPES / A resolução de equações polinomiais com coeficientes racionais consiste em parte significativa da história do desenvolvimento da álgebra. O problema era encontrar fórmulas que expressassem uma raiz por meio de operações aritméticas efetuadas sobre a equação original, isto é, determinar a resolubilidade por radicais da equação. O trabalho de vários matemáticos culminou, no século XVI, com a obtenção das fórmulas para a resolução de equações polinomiais de grau menor ou igual a 4. Três séculos depois, Niels Abel mostrou que não é possível obter uma fórmula para a equação geral de grau 5. Finalmente, Evariste Galois resolveu completamente o problema estudando o grupo de permutação das raízes e estabelecendo as condições exatas para a resolubilidade de uma equação polinomial. Neste trabalho apresentamos um breve histórico da obtenção de fórmulas para as raízes das equações de grau menor ou igual a 4 e a essência da matemática envolvida no estudo da resolubilidade por radiciais de equações polinomiais de grau maior ou igual a 5. / The solvability by radicals of polynomial equations with rational coefficients is an important part of the history of algebra. The problem was to express a root by means of basic arithmetic operations and radicals. Formulas to solve polynomial equations of degree lower than or equal to 4 were obtained in XVIth century. About three centuries later, Niels Abel showed that it is not possible to find a formula for the general equation of degree 5. Finally, Evariste Galois solved the problem by studying the permutations groups, establishing the exact conditions for the solvability of a polynomial equation. In this work we present a brief history of the classic formulas for the roots of equations with degree lower or equal to 4. Then we study solvability by radicals of polynomial equations of degree higher than or equal to 5.