Weyl group. Chapter locally finite and nilpotent elements
|
|
- Ethel Bates
- 5 years ago
- Views:
Transcription
1 Chapter 4 Weyl group In ths chapter, we defne and study the Weyl group of a Kac-Moody Le algebra and descrbe the smlartes and dfferences wth the classcal stuaton Here because the Le algebra g(a) s not fnte dmensonal, we wll need to be more careful wth sums In partcular, we wll need locally fnte and locally nlpotent elements as well as ntegrable representatons In all the chapter g(a) wll be a Kac-Moody Le algebra 41 locally fnte and nlpotent elements We start wth the Defnton 411 (ı) Let T : V V be an endomorphsm of a complex vector space V It s called locally fnte at v V f there exsts a fnte dmensonal subspace W of V contanng v and stable by T If T W s nlpotent, then T s called locally nlpotent at v The endomorphsm T s called locally fnte (resp locally nlpotent) f t s locally fnte (resp locally nlpotent) at every v V (ıı) For a locally fnte T : V V, we can defne an automorphsm expt : V V by expt = n 0 T n and we have the formula exp(kt) = (expt) k If T s locally fnte at v, we can defne (expt)(v) Let us prove some useful formulas: Lemma 412 (ı) Let A be an assocatve algebra, let D be a dervaton on A, let x, y and z be elements n A and let [x,y] = xy yx, then we have the followng formulas: D k [x,y] = [D x,d k y], x k y = ((ad x) y)x k and (ad x) k y = ( 1) x k yx (ıı) Let g be a Le algebra and x, y and z be elements n g, then we have: (ad x) k [y,z] = [(ad x) y, (ad x) k z] 25
2 26 CHAPTER 4 WEYL GROUP Proof : (ı) We prove the frst formula by nducton (t s smply the Lebntz rule For k = 0 ths s true and for k = 1 t s the formula D[x, y] = [x, Dy] + [Dx, y] Compute ( ( ) ) k D k+1 [x,y] = D [D x,d k y] and the result follows from the prevous formula For the second formula, consder the operators L x and R x of left and rght multplcaton by x These operators commute and ad x = L x R x or L x = adx+r x so that the three operators commute Applyng the bnomal formula to L x = adx+r x yelds the frst formula whle applyng t to adx = L x R x yelds the second (ıı) The frst formula s true n U(g) where ad x s a dervaton Applyng t to the adjont representaton gves the result Corollary 413 Let T and S be two endomorphsms of V and assume that T s locally fnte and that {(ad T) k S ; k N} spans a fnte-dmensonal subspace of End(V ), then we have the formula: (expt)s exp( T) = (ad T) n S = (exp(ad T))(S) n 0 Proof : The hypothess on ad T s smply that ad T s locally fnte at S End(V ) In partcular both parts of the equalty are well defned The proof s now a formal computaton usng the prevous Lemma: (expt)s exp( T) = n 0 T n S ( T) n = n 0 n 0 n ( 1) T n ST!(n )! = n 0 Let us prove the followng Lemmas on fnte and nlpotent elements (adt) n S Lemma 414 (ı) Let s be a Le algebra and let π : s gl(v ) be a representaton Assume that y s s such that ad y s locally fnte (resp locally nlpotent) on x s, then π(ad y) s locally fnte (resp locally nlpotent) on π(x) gl(v ) (ıı) Let T End(V ) be a locally fnte (resp locally nlpotent element) and let f : V W be an somorphsm, then f T f 1 s locally fnte (resp locally nlpotent) Proof : (ı) Let U be a fnte dmensonal subspace of s such that x U and ad y stablzes U (and furthermore (ady) U s nlpotent s the locally nlpotent case) Consder the subspace π(u) V whch contans π(x) It s π(ady) stable (and the restrcton s nlpotent n the nlpotent case) (ıı) For ths part smply take f(u) Lemma 415 (ı) Let s be a Le algebra and let x s Defne s x = {y s / (ad x) n y y = 0 for some n y N} Then s x s a Le subalgebra of s (ıı) Let π : s gl(v ) be a representaton of s and let x s Defne V x = {v V / π(x) nv v = 0 for some n v N} Then V x s a s x -submodule of V (ııı) Let π : s gl(v ) be a representaton of s such that s s generated as a Le algebra by the set F V = {x s / ad x s locally fnte on s and π(x) s locally fnte on V } Then
3 41 LOCALLY FINITE AND NILPOTENT ELEMENTS 27 the Le algebra s s spanned by F V as a C vector space In partcular, f s s generated as a Le algebra by the set F of ts ad -locally fnte vectors, then F spans s as a vector space If dms <, then any v V les n a fnte-dmensonal s-submodule of V Proof : The ponts (ı) and (ıı) follow drectly from the formulas 2 and 4 of Lemma 412 (ııı) Let x and y n F V and t C Because ady s locally fnte, we may consder exp(ady) and even exp(t ady) Ths s an endomorphsm of s so we may apply t to x and get (exp(t ady))(x) s We want to prove that ths element s n F V For ths we want to apply Corollary 413 to π((exp(t ady))(x)) But because π s a Le algebra morphsm, we have π((ady) n x) = (adπ(y)) n π(x) and because of Lemma 414 we have π(exp(ad y))(x)) = (exp(ad π(y)))(π(x)) But π(y) s locally fnte and ad π(y) s locally fnte on π(x) so we may apply Corollary 413 to get π(exp(ady))(x)) = (exp(π(y)))π(x)(exp( π(y))) Because π(x) s locally fnte, ths proves thanks to Lemma 414 (ıı) that π(exp(ad y))(x)) s locally fnte The same proof shows that ad (exp(ad y))(x))s locally fnte and that exp(ad y))(x)) F V Now we have the formula (exp(tady))x x lm = [y,x] t 0 t Provng that the lnear span of elements n F V s a Le subalgebra of s The last result follows from the prevous one and Poncaré-Brkhoff-Wtt Theorem Let us now prove the followng characterzatons of locally nlpotent elements Lemma 416 (ı) Let y 1,y 2, be a system of generators of a Le algebra g and let x g such that (ad x) N y = 0 for some postve ntegers N Then ad x s locally nlpotent on g (ıı) Let v 1,v 2, be a system of generators of a g-module V and let x g be such that ad x s locally nlpotent on g and x N (v ) = 0 for some postve nteger N Then x s nlpotent on V Proof : (ı) If an element s locally nlpotent on a vector space bass, then t s locally nlpotent on the space Ths together wth formula (ıı) of the Lemma 412 concludes the proof (ıı) To prove ths result, we need to prove that a power of x wll kll an element of the form y 1 y s (v) where y g and v V We apply the second formula of Lemma 412 (ı) to x k y 1 y k n U(g) and get the result Corollary 417 The elements ad e and ad f and locally nlpotent on g(a) Proof : We gve two proofs We have ade (f j ) = 0 and (ade ) 1 a,j (e j ) = 0 for j Furthermore, ade (e ) = 0, (ade ) 2 (h) = 0 for any h h Indeed, we have (ad e ) 2 (h) = α,h ad e (e ) = 0 Fnally, we have (ad e ) 3 (f ) = 0 and the result follows from Lemma 416 (ı) The same proof works for adf Second proof Let x = e and consder g(a) x = {y g(a) / (ad x) ny y = 0 for some n y N} as n Lemma 415 We know that g(a) x s a Le subalgebra and because of the defnng relatons of g(a) and of Proposton 326, we know that h and all the e j and the f j are n g(a) x so that g(a) x = g(a)
4 28 CHAPTER 4 WEYL GROUP 42 Integrable representatons and Weyl group 421 Integrable representatons Defnton 421 (ı) A g(a)-module V s h-dagonalsable (sometmes also called a weght module) f there s a decomposton V = λ h V α where V λ = {v V / h(v) = λ,h v h h} The subspace V λ s called a weght space, λ s called a weght f V λ 0 and dmv λ s the multplcty of λ denoted by mult V λ (ıı) An h-dagonalsable module V over g(a) s called ntegrable f e and f are locally nlpotent on V for all n [1,n] Let us gve a Proposton explanng the termnology of ntegrable representatons Proposton 422 Let V be an ntegral representaton of g(a) and let g () be the sl 2 somorphc Le subalgebra of g(a) defned by e, f and α Then V decomposes as a drect sum of fnte dmensonal rreducble h-nvarant modules and n partcular the acton of g () can be ntegrated to an acton of SL 2 (C) Proof : We only need to apply Lemma 415 Because g () s fnte dmensonal, we know that any element v V sts n a g () -stable fnte dmensonal subspace of V These fnte dmensonal subspaces are ntegrable Proposton 423 The adjont representaton of g(a) s ntegrable Proof : We already know that the adjont representaton s h-dagonalsable and the rest follows from Corollary Defnton of the Weyl group and acton on ntegrable representatons Defnton 424 (ı) For any [1, n], defne the reflecton s Auth by s (λ) = λ λ,α α, for λ h It s the reflecton wth respect to the hyperplane {λ h / λ,α = 0} In partcular we have s 2 = 1 (ıı) Let W the subgroup of Auth generated by the reflectons s for [1,n] Ths group s the Weyl group of the Kac-Moody Le algebra g(a) and the reflectons s are called smple reflectons The fathful representaton of W n h s called the standard representaton of W (ııı) Dualzng the representaton, we get the congradent representaton W Auth, whch s explctly gven for any 1 n by s (h) = h α,h α, for h h (ıv) The length of an element w W s the smallest k such that we can wrte w = s 1 s k wth the s j smple reflectons Defnton 425 Let π : g(a) gl(v ) be an ntegrable representaton of g(a) We may defne the followng element s (π) End(V ) by s (π) = (expπ(f ))(exp( π(e )))(exp(π(f ))) Proposton 426 Let π : gl(a) V be an ntegrable representaton Let λ h and s W a smple reflecton (ı) We have the equalty s (π)(v λ ) = V s (λ), n partcular mult V λ = mult V wλ for all w W (ıı) For any v V and x g(a), we have s (π)(xv) = (s (ad )x)(s (π)v) In partcular s (ad ) s a Le algebra automorphsm of g(a) (preserves the Le bracket)
5 42 INTEGRABLE REPRESENTATIONS AND WEYL GROUP 29 (ııı) For v V λ, we have s (π) 2 (v) = ( 1) λ,α v and f v 0, then λ,α Z (ıv)let m,j be the order of s s j n W, then f m,j <, we have s (π)s j (π)s (π) }{{} m,j factors = s j (π)s (π)s j (π) }{{} m,j factors Proof : (ı) Let us prove the ncluson s (π)(v λ ) V s (λ) A very smlar proof gves the ncluson s (π) 1 (V λ ) V s (λ) and the result follows from the fact that s s an nvoluton (the element s (π) s however not an nvoluton as proved n (ııı)) Let v V λ and consder the element h(s (π)(v)) n V If α, h = 0, then h and e commute n U(g(A)) and also h and f commute n U(g(A)) In partcular, we get h(s (π)(v)) = s (π)(h(v)) = λ,h s (π)(v) But n that case we have s (λ) = λ λ, α α and s (λ),h = λ, h We thus have the result for the hyperplane of weghts orthogonal to α To prove the result we only need to prove t on one element not n that orthogonal (by lnearty) For example, t s enough to prove t for h = α that s to say t s enough to prove the relaton α (s (π)v) = λ,α s (π)v for v V λ or s (π) 1 (α (s (π)v)) = λ,α v for v V λ or the equalty s (π) 1 π(α )s (π) = π(α ) of elements n End(V ) Usng Corollary 413, we get the equalty s (π) 1 π(α )s (π) = π((exp( adf ))(expade )(exp( adf ))(α )) But because of the defnng relatons of g(a), we get the equaltes (exp( ad f ))(α ) = α 2f, (exp( adf ))(f ) = f, (expade )(α ) = α 2e and (exp ade )(f ) = f + α e We thus get the formula (exp( adf ))(expade )(exp( adf ))(α ) = α (ıı) We compute s (π)(xv) = s (π)π(x)s (π) 1 s (π)(v) but the composton s (π)π(x)s (π) 1 s equal to (expπ(f ))(expπ( e ))(expπ(f ))x(expπ( f ))(expπ(e ))(expπ( f )) and applyng Corollary 413 we obtan the equalty s (π)π(x)s (π) 1 = π((expadf )(exp( ade ))(expadf )x) = π(s (ad)(x)) (ııı) To prove ths result, we may assume that g(a) = g () sl 2 and by Lemma 415 we may assume that V s fnte dmensonal By Proposton 325, we obtan that f v 0 then λ,α Z Furthermore, we have the commutatve dagram sl 2 π End(V ) Exp exp SL 2 Aut(V ) and t s enough to check the relaton (Exp(f)Exp( e)exp(f)) 2 = 1 = Exp(πh) n SL 2 Ths s an easy calculaton Now we compute Exp(πh)(v) = exp(π λ,h )v = ( 1) λ,h v (ıv) To prove ths part, we may assume that A s a 2 2 matrx of the from A = ( 2 a,j a j, 2 Let us frst prove that we may assume that a = a,j a j, s an nteger n the nterval [0, 3] For ths we prove that f a 4, then the order m,j of s s j s nfnte We know that both a,j and a j, are non )
6 30 CHAPTER 4 WEYL GROUP postve so a s non negatve Consder the 2-dmensonal subspace U of h generated by α and α j The matrx of s (resp s j ) n the bass {α,α j } s gven by ( ) ( ( )) 1 a,j 1 0 resp The composton s s j s gven by the matrx ( 1 + a a,j 1 a j, The egenvalues of ths matrx are roots of the polynomal X 2 + (2 a)x + 1 and thus gven by a 2 ± a(a 4) If a > 5, then one egenvalue s bgger than 1 and the composton s s j has to be 2 of nfnte order If a = 4, then the egenvalues are equal to 1 But as the composton s not dentty, t has to be of nfnte order Now we may assume that a = 0,1,2 or 3 Ths mples that g(a) s of type A 1 A 1, A 2, B 2 or G 2 (because Serre relatons are satsfed and because there s no non trval deal meetng h trvally n such Le algebras) By Lemma 415 we may assume that V s fnte dmensonal We have the commutatve dagram g(a) π End(V ) Exp a j, ) exp G(A) Aut(V ) where G(A) s the smply-connected group assocated to g(a) We need to prove the followng relaton S S j S = S j S S j wth m,j terms and where S = Exp(f )Exp( e )Exp(f ) (smlar defnton for S j ) Ths can be proved case-by-case (see for example [Sp98, Proposton 932]) Corollary 427 (ı) For any smple reflecton s, we have s (ad ) h = s as an automorphsm of h (ıı) Assume that for some and j n [1,n] and for w W we have α j = w(α ), then w(α ) = α j Proof : (ı) Take any ntegrable representaton (V, π) of g(a) and let v V of weght λ and x h We have by the prevous Proposton: λ(x)s (π)(v) = s (π)(xv) = (s (ad)(x))(s (π)(v)) = ((s λ)(s (ad)(x)))(s (π)(v)) hence λ(x) = (s λ)(s (ad )(x)) Replacng λ by s λ we get that (s λ)(x) = λ(s (x)) = λ(s (ad )(x)) Ths s true for any weght λ so that s (x) = s (ad)(x) and we have the result (we shall see later that the lnear span of the weghts of ntegrable representatons s h ) We may gve a drect proof of ths result by smple computaton, ndeed, we want to compute s (ad )(h) = exp(ad (f )) exp( ad (e ))exp(ad (f ))(h) for h h But we have the formulas: exp(ad(f ))(h) = h + h,α f, exp( ad (e ))(h) = h + h,α e, exp( ad(e ))(f ) = f + α e and exp(ad(f ))(f ) = f Ths gves the formula s (ad)(h) = h h,α α (ıı) We know from (ı) that there exsts a Le algebra automorphsm ŵ : g(a) g(a) such that ŵ h = w In partcular, we have [ŵ(e ),ŵ(f )] = ŵ[e,f ] = w(α ) But because w(α ) = α j and by the prevous Proposton, we have that ŵ(e ) g αj and ŵ(f ) g αj thus [ŵ(e ), ŵ(f )] = cαj for some c C We thus have w(α ) = cα j Apply α j to ths equalty to get α j (w(α )) = (w 1 (α j )(α ( )) = α (α ) = 2 and α j(cαj ) = 2c thus c = 1 and we are done Defnton 428 Let α be a root such that α = w(α ) for some w n the Weyl group and some ndex [1,n] Such roots wll be called real roots We may defne the coroot of α, denoted α by w(α ) The prevous Corollary mples that ths s well defned
7 Bblography [Bo54] Bourbak, N Groupes et algèbres de Le 4,5,6, Hermann 1954 [Hu72] [Ku02] [PK83] Humphreys, JE Introducton to Le algebras and representaton theory GTM 9, Berln- Hedelberg-New York, Sprnger, 1972 Kumar, S Kac-Moody groups, ther flag varetes and representaton theory Progress n Mathematcs, 204 Brkhäuser Boston, Inc, Boston, MA, 2002 Peterson, DH and Kac, VG Infnte flag varetes and conjugacy theorems, Proc Natl Acad Sc USA, 80 (1983), pp [Sp98] Sprnger, TA Lnear algebrac groups Second edton Progress n Mathematcs, 9 Brkhäuser Boston, Inc, Boston, MA, 1998 Ncolas Perrn, HCM, Unverstät Bonn emal: ncolasperrn@hcmun-bonnde 31
2.3 Nilpotent endomorphisms
s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms
More informationNOTES FOR QUANTUM GROUPS, CRYSTAL BASES AND REALIZATION OF ŝl(n)-modules
NOTES FOR QUANTUM GROUPS, CRYSTAL BASES AND REALIZATION OF ŝl(n)-modules EVAN WILSON Quantum groups Consder the Le algebra sl(n), whch s the Le algebra over C of n n trace matrces together wth the commutator
More informationLecture 14 - Isomorphism Theorem of Harish-Chandra
Lecture 14 - Isomorphsm Theorem of Harsh-Chandra March 11, 2013 Ths lectures shall be focused on central characters and what they can tell us about the unversal envelopng algebra of a semsmple Le algebra.
More informationRepresentation theory and quantum mechanics tutorial Representation theory and quantum conservation laws
Representaton theory and quantum mechancs tutoral Representaton theory and quantum conservaton laws Justn Campbell August 1, 2017 1 Generaltes on representaton theory 1.1 Let G GL m (R) be a real algebrac
More informationMATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS
MATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS These are nformal notes whch cover some of the materal whch s not n the course book. The man purpose s to gve a number of nontrval examples
More informationHomework 1 Lie Algebras
Homework 1 Le Algebras Joshua Ruter February 9, 018 Proposton 0.1 Problem 1.7a). Let A be a K-algebra, wth char K. Then A s alternatve f and only f the folowng two lnear) denttes hold for all a, b, y A.
More informationFixed points of IA-endomorphisms of a free metabelian Lie algebra
Proc. Indan Acad. Sc. (Math. Sc.) Vol. 121, No. 4, November 2011, pp. 405 416. c Indan Academy of Scences Fxed ponts of IA-endomorphsms of a free metabelan Le algebra NAIME EKICI 1 and DEMET PARLAK SÖNMEZ
More informationFINITELY-GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN
FINITELY-GENERTED MODULES OVER PRINCIPL IDEL DOMIN EMMNUEL KOWLSKI Throughout ths note, s a prncpal deal doman. We recall the classfcaton theorem: Theorem 1. Let M be a fntely-generated -module. (1) There
More informationThe Pseudoblocks of Endomorphism Algebras
Internatonal Mathematcal Forum, 4, 009, no. 48, 363-368 The Pseudoblocks of Endomorphsm Algebras Ahmed A. Khammash Department of Mathematcal Scences, Umm Al-Qura Unversty P.O.Box 796, Makkah, Saud Araba
More informationAn Introduction to Morita Theory
An Introducton to Morta Theory Matt Booth October 2015 Nov. 2017: made a few revsons. Thanks to Nng Shan for catchng a typo. My man reference for these notes was Chapter II of Bass s book Algebrac K-Theory
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More informationInner Product. Euclidean Space. Orthonormal Basis. Orthogonal
Inner Product Defnton 1 () A Eucldean space s a fnte-dmensonal vector space over the reals R, wth an nner product,. Defnton 2 (Inner Product) An nner product, on a real vector space X s a symmetrc, blnear,
More informationFACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP
C O L L O Q U I U M M A T H E M A T I C U M VOL. 80 1999 NO. 1 FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP BY FLORIAN K A I N R A T H (GRAZ) Abstract. Let H be a Krull monod wth nfnte class
More information12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA. 4. Tensor product
12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA Here s an outlne of what I dd: (1) categorcal defnton (2) constructon (3) lst of basc propertes (4) dstrbutve property (5) rght exactness (6) localzaton
More informationPacific Journal of Mathematics
Pacfc Journal of Mathematcs IRREDUCIBLE REPRESENTATIONS FOR THE ABELIAN EXTENSION OF THE LIE ALGEBRA OF DIFFEOMORPHISMS OF TORI IN DIMENSIONS GREATER THAN CUIPO JIANG AND QIFEN JIANG Volume 23 No. May
More informationON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES. 1. Introduction
ON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES TAKASHI ITOH AND MASARU NAGISA Abstract We descrbe the Haagerup tensor product l h l and the extended Haagerup tensor product l eh l n terms of
More informationGELFAND-TSETLIN BASIS FOR THE REPRESENTATIONS OF gl n
GELFAND-TSETLIN BASIS FOR THE REPRESENTATIONS OF gl n KANG LU FINITE DIMENSIONAL REPRESENTATIONS OF gl n Let e j,, j =,, n denote the standard bass of the general lnear Le algebra gl n over the feld of
More informationLECTURE V. 1. More on the Chinese Remainder Theorem We begin by recalling this theorem, proven in the preceeding lecture.
LECTURE V EDWIN SPARK 1. More on the Chnese Remander Theorem We begn by recallng ths theorem, proven n the preceedng lecture. Theorem 1.1 (Chnese Remander Theorem). Let R be a rng wth deals I 1, I 2,...,
More informationALGEBRA SCHEMES AND THEIR REPRESENTATIONS
ALGEBRA SCHEMES AND THEIR REPRESENTATIONS AMELIA ÁLVAREZ, CARLOS SANCHO, AND PEDRO SANCHO Introducton The equvalence (Carter dualty) between the category of topologcally flat formal k-groups and the category
More informationRandom Walks on Digraphs
Random Walks on Dgraphs J. J. P. Veerman October 23, 27 Introducton Let V = {, n} be a vertex set and S a non-negatve row-stochastc matrx (.e. rows sum to ). V and S defne a dgraph G = G(V, S) and a drected
More informationALGEBRA SCHEMES AND THEIR REPRESENTATIONS
ALGEBRA SCHEMES AND THEIR REPRESENTATIONS AMELIA ÁLVAREZ, CARLOS SANCHO, AND PEDRO SANCHO Introducton The equvalence (Carter dualty) between the category of topologcally flat formal k-groups and the category
More informationMore metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
More informationLecture 7: Gluing prevarieties; products
Lecture 7: Glung prevaretes; products 1 The category of algebrac prevaretes Proposton 1. Let (f,ϕ) : (X,O X ) (Y,O Y ) be a morphsm of algebrac prevaretes. If U X and V Y are affne open subvaretes wth
More informationErrata to Invariant Theory with Applications January 28, 2017
Invarant Theory wth Applcatons Jan Drasma and Don Gjswjt http: //www.wn.tue.nl/~jdrasma/teachng/nvtheory0910/lecturenotes12.pdf verson of 7 December 2009 Errata and addenda by Darj Grnberg The followng
More informationMath 217 Fall 2013 Homework 2 Solutions
Math 17 Fall 013 Homework Solutons Due Thursday Sept. 6, 013 5pm Ths homework conssts of 6 problems of 5 ponts each. The total s 30. You need to fully justfy your answer prove that your functon ndeed has
More informationCategorification of quantum groups
Categorfcaton of quantum groups Aaron Lauda Jont wth Mkhal Khovanov Columba Unversty June 29th, 2009 Avalable at http://www.math.columba.edu/ lauda/talks/ Aaron Lauda Jont wth Mkhal Khovanov (Columba Categorfcaton
More informationRestricted Lie Algebras. Jared Warner
Restrcted Le Algebras Jared Warner 1. Defntons and Examples Defnton 1.1. Let k be a feld of characterstc p. A restrcted Le algebra (g, ( ) [p] ) s a Le algebra g over k and a map ( ) [p] : g g called
More informationJournal of Algebra 368 (2012) Contents lists available at SciVerse ScienceDirect. Journal of Algebra.
Journal of Algebra 368 (2012) 70 74 Contents lsts avalable at ScVerse ScenceDrect Journal of Algebra www.elsever.com/locate/jalgebra An algebro-geometrc realzaton of equvarant cohomology of some Sprnger
More informationDIFFERENTIAL FORMS BRIAN OSSERMAN
DIFFERENTIAL FORMS BRIAN OSSERMAN Dfferentals are an mportant topc n algebrac geometry, allowng the use of some classcal geometrc arguments n the context of varetes over any feld. We wll use them to defne
More information2 More examples with details
Physcs 129b Lecture 3 Caltech, 01/15/19 2 More examples wth detals 2.3 The permutaton group n = 4 S 4 contans 4! = 24 elements. One s the dentty e. Sx of them are exchange of two objects (, j) ( to j and
More informationCANONICAL BASES OF QUANTUM SCHUBERT CELLS AND THEIR SYMMETRIES
CANONICAL BASES OF QUANTUM SCHUBERT CELLS AND THEIR SYMMETRIES ARKADY BERENSTEIN AND JACOB GREENSTEIN Abstract. The goal of ths work s to provde an elementary constructon of the canoncal bass B(w) n each
More informationHOPF ALGEBRAS WITH TRACE AND CLEBSCH-GORDAN COEFFICIENTS. 1. Recollections and the problem
HOPF ALGEBRAS WITH TRACE AND CLEBSCH-GORDAN COEFFICIENTS CORRADO DE CONCINI Abstract. In ths lecture I shall report on some jont work wth Proces, Reshetkhn and Rosso [1]. 1. Recollectons and the problem
More information8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS
SECTION 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS 493 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS All the vector spaces you have studed thus far n the text are real vector spaces because the scalars
More informationD.K.M COLLEGE FOR WOMEN (AUTONOMOUS), VELLORE DEPARTMENT OF MATHEMATICS
D.K.M COLLEGE FOR WOMEN (AUTONOMOUS), VELLORE DEPARTMENT OF MATHEMATICS SUB: ALGEBRA SUB CODE: 5CPMAA SECTION- A UNIT-. Defne conjugate of a n G and prove that conjugacy s an equvalence relaton on G. Defne
More informationwhere a is any ideal of R. Lemma 5.4. Let R be a ring. Then X = Spec R is a topological space Moreover the open sets
5. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More information9 Characteristic classes
THEODORE VORONOV DIFFERENTIAL GEOMETRY. Sprng 2009 [under constructon] 9 Characterstc classes 9.1 The frst Chern class of a lne bundle Consder a complex vector bundle E B of rank p. We shall construct
More informationRandić Energy and Randić Estrada Index of a Graph
EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 5, No., 202, 88-96 ISSN 307-5543 www.ejpam.com SPECIAL ISSUE FOR THE INTERNATIONAL CONFERENCE ON APPLIED ANALYSIS AND ALGEBRA 29 JUNE -02JULY 20, ISTANBUL
More informationLinear, affine, and convex sets and hulls In the sequel, unless otherwise specified, X will denote a real vector space.
Lnear, affne, and convex sets and hulls In the sequel, unless otherwse specfed, X wll denote a real vector space. Lnes and segments. Gven two ponts x, y X, we defne xy = {x + t(y x) : t R} = {(1 t)x +
More informationHomework Notes Week 7
Homework Notes Week 7 Math 4 Sprng 4 #4 (a Complete the proof n example 5 that s an nner product (the Frobenus nner product on M n n (F In the example propertes (a and (d have already been verfed so we
More informationLie Algebra Cohomology and the Borel-Weil-Bott Theorem. 1 Lie algebra cohomology and cohomology of G/T with coefficients in a line bundle
Le Algebra Cohomology and the Borel-Wel-Bott Theorem Math G4344, Sprng 2012 We have seen that rreducble fnte dmensonal representatons of a complex smple Le algebra g or correspondng compact Le group are
More informationOn functors between module categories for associative algebras and for N-graded vertex algebras
On functors between module categores for assocatve algebras and for N-graded vertex algebras Y-Zh Huang and Jnwe Yang Abstract We prove that the weak assocatvty for modules for vertex algebras are equvalent
More informationAppendix B. Criterion of Riemann-Stieltjes Integrability
Appendx B. Crteron of Remann-Steltes Integrablty Ths note s complementary to [R, Ch. 6] and [T, Sec. 3.5]. The man result of ths note s Theorem B.3, whch provdes the necessary and suffcent condtons for
More informationQuantum groups and quantized q-difference birational Weyl group actions
q Weyl Quantum groups and quantzed q-dfference bratonal Weyl group actons ( ) Gen KUROKI (Tohoku Unversty, Japan) 24 September 2010 2010 2010 9 22 25 (24 September 2010, Verson 1.7) Quantum bratonal Weyl
More informationAn application of non-associative Composition-Diamond lemma
An applcaton of non-assocatve Composton-Damond lemma arxv:0804.0915v1 [math.ra] 6 Apr 2008 Yuqun Chen and Yu L School of Mathematcal Scences, South Chna Normal Unversty Guangzhou 510631, P. R. Chna Emal:
More information( 1) i [ d i ]. The claim is that this defines a chain complex. The signs have been inserted into the definition to make this work out.
Mon, Apr. 2 We wsh to specfy a homomorphsm @ n : C n ()! C n (). Snce C n () s a free abelan group, the homomorphsm @ n s completely specfed by ts value on each generator, namely each n-smplex. There are
More informationSingular Value Decomposition: Theory and Applications
Sngular Value Decomposton: Theory and Applcatons Danel Khashab Sprng 2015 Last Update: March 2, 2015 1 Introducton A = UDV where columns of U and V are orthonormal and matrx D s dagonal wth postve real
More informationBezier curves. Michael S. Floater. August 25, These notes provide an introduction to Bezier curves. i=0
Bezer curves Mchael S. Floater August 25, 211 These notes provde an ntroducton to Bezer curves. 1 Bernsten polynomals Recall that a real polynomal of a real varable x R, wth degree n, s a functon of the
More informationDISCRIMINANTS AND RAMIFIED PRIMES. 1. Introduction A prime number p is said to be ramified in a number field K if the prime ideal factorization
DISCRIMINANTS AND RAMIFIED PRIMES KEITH CONRAD 1. Introducton A prme number p s sad to be ramfed n a number feld K f the prme deal factorzaton (1.1) (p) = po K = p e 1 1 peg g has some e greater than 1.
More informationREAL ANALYSIS I HOMEWORK 1
REAL ANALYSIS I HOMEWORK CİHAN BAHRAN The questons are from Tao s text. Exercse 0.0.. If (x α ) α A s a collecton of numbers x α [0, + ] such that x α
More informationLectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix
Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could
More informationRoot Structure of a Special Generalized Kac- Moody Algebra
Mathematcal Computaton September 04, Volume, Issue, PP8-88 Root Structu of a Specal Generalzed Kac- Moody Algebra Xnfang Song, #, Xaox Wang Bass Department, Bejng Informaton Technology College, Bejng,
More informationOn a Certain Subalgebra of U q (ŝl 2) Related to the Degenerate q-onsager Algebra
Symmetry, Integrablty and Geometry: Methods and Applcatons SIGMA 11 (2015), 007, 13 pages On a Certan Subalgebra of U q (ŝl 2) Related to the Degenerate q-onsager Algebra Tomoya HATTAI and Tatsuro ITO
More informationLecture Notes Introduction to Cluster Algebra
Lecture Notes Introducton to Cluster Algebra Ivan C.H. Ip Updated: Ma 7, 2017 3 Defnton and Examples of Cluster algebra 3.1 Quvers We frst revst the noton of a quver. Defnton 3.1. A quver s a fnte orented
More informationREGULAR POSITIVE TERNARY QUADRATIC FORMS. 1. Introduction
REGULAR POSITIVE TERNARY QUADRATIC FORMS BYEONG-KWEON OH Abstract. A postve defnte quadratc form f s sad to be regular f t globally represents all ntegers that are represented by the genus of f. In 997
More informationSL n (F ) Equals its Own Derived Group
Internatonal Journal of Algebra, Vol. 2, 2008, no. 12, 585-594 SL n (F ) Equals ts Own Derved Group Jorge Macel BMCC-The Cty Unversty of New York, CUNY 199 Chambers street, New York, NY 10007, USA macel@cms.nyu.edu
More informationMath 101 Fall 2013 Homework #7 Due Friday, November 15, 2013
Math 101 Fall 2013 Homework #7 Due Frday, November 15, 2013 1. Let R be a untal subrng of E. Show that E R R s somorphc to E. ANS: The map (s,r) sr s a R-balanced map of E R to E. Hence there s a group
More informationOn the partial orthogonality of faithful characters. Gregory M. Constantine 1,2
On the partal orthogonalty of fathful characters by Gregory M. Constantne 1,2 ABSTRACT For conjugacy classes C and D we obtan an expresson for χ(c) χ(d), where the sum extends only over the fathful rreducble
More informationAn efficient algorithm for multivariate Maclaurin Newton transformation
Annales UMCS Informatca AI VIII, 2 2008) 5 14 DOI: 10.2478/v10065-008-0020-6 An effcent algorthm for multvarate Maclaurn Newton transformaton Joanna Kapusta Insttute of Mathematcs and Computer Scence,
More informationwhere a is any ideal of R. Lemma Let R be a ring. Then X = Spec R is a topological space. Moreover the open sets
11. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More informationMath 594. Solutions 1
Math 594. Solutons 1 1. Let V and W be fnte-dmensonal vector spaces over a feld F. Let G = GL(V ) and H = GL(W ) be the assocated general lnear groups. Let X denote the vector space Hom F (V, W ) of lnear
More information5 The Rational Canonical Form
5 The Ratonal Canoncal Form Here p s a monc rreducble factor of the mnmum polynomal m T and s not necessarly of degree one Let F p denote the feld constructed earler n the course, consstng of all matrces
More informationRapid growth in finite simple groups
Rapd growth n fnte smple groups Martn W. Lebeck, Gl Schul, Aner Shalev March 1, 016 Abstract We show that small normal subsets A of fnte smple groups grow very rapdly namely, A A ɛ, where ɛ > 0 s arbtrarly
More informationn α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0
MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector
More informationUNIQUENESS OF REPRESENTATION THEORETIC HYPERBOLIC KAC MOODY GROUPS OVER Z. 1. Introduction
UNIQUENESS OF REPRESENTATION THEORETIC HYPERBOLIC KAC MOODY GROUPS OVER Z LISA CARBONE AND FRANK WAGNER Abstract For a smply laced and hyperbolc Kac Moody group G = G(R) over a commutatve rng R wth 1,
More informationarxiv: v1 [math.ra] 26 Oct 2011
DIRECT SUMS OF ZERO PRODUCT DETERMINED ALGEBRAS arxv:1110.5848v1 [math.ra] 26 Oct 2011 DANIEL BRICE AND HUAJUN HUANG Abstract. We reformulate the defnton of a zero product determned algebra n terms of
More informationINVARIANT STABLY COMPLEX STRUCTURES ON TOPOLOGICAL TORIC MANIFOLDS
INVARIANT STABLY COMPLEX STRUCTURES ON TOPOLOGICAL TORIC MANIFOLDS HIROAKI ISHIDA Abstract We show that any (C ) n -nvarant stably complex structure on a topologcal torc manfold of dmenson 2n s ntegrable
More informationCONJUGACY IN THOMPSON S GROUP F. 1. Introduction
CONJUGACY IN THOMPSON S GROUP F NICK GILL AND IAN SHORT Abstract. We complete the program begun by Brn and Squer of charactersng conjugacy n Thompson s group F usng the standard acton of F as a group of
More informationBOUNDEDNESS OF THE RIESZ TRANSFORM WITH MATRIX A 2 WEIGHTS
BOUNDEDNESS OF THE IESZ TANSFOM WITH MATIX A WEIGHTS Introducton Let L = L ( n, be the functon space wth norm (ˆ f L = f(x C dx d < For a d d matrx valued functon W : wth W (x postve sem-defnte for all
More informationNOTES ON SIMPLIFICATION OF MATRICES
NOTES ON SIMPLIFICATION OF MATRICES JONATHAN LUK These notes dscuss how to smplfy an (n n) matrx In partcular, we expand on some of the materal from the textbook (wth some repetton) Part of the exposton
More informationOn Finite Rank Perturbation of Diagonalizable Operators
Functonal Analyss, Approxmaton and Computaton 6 (1) (2014), 49 53 Publshed by Faculty of Scences and Mathematcs, Unversty of Nš, Serba Avalable at: http://wwwpmfnacrs/faac On Fnte Rank Perturbaton of Dagonalzable
More informationA CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS
Journal of Mathematcal Scences: Advances and Applcatons Volume 25, 2014, Pages 1-12 A CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS JIA JI, WEN ZHANG and XIAOFEI QI Department of Mathematcs
More informationCOMPLEX NUMBERS AND QUADRATIC EQUATIONS
COMPLEX NUMBERS AND QUADRATIC EQUATIONS INTRODUCTION We know that x 0 for all x R e the square of a real number (whether postve, negatve or ero) s non-negatve Hence the equatons x, x, x + 7 0 etc are not
More informationPolynomials. 1 More properties of polynomials
Polynomals 1 More propertes of polynomals Recall that, for R a commutatve rng wth unty (as wth all rngs n ths course unless otherwse noted), we defne R[x] to be the set of expressons n =0 a x, where a
More informationA Note on \Modules, Comodules, and Cotensor Products over Frobenius Algebras"
Chn. Ann. Math. 27B(4), 2006, 419{424 DOI: 10.1007/s11401-005-0025-z Chnese Annals of Mathematcs, Seres B c The Edtoral Oce of CAM and Sprnger-Verlag Berln Hedelberg 2006 A Note on \Modules, Comodules,
More informationThe Order Relation and Trace Inequalities for. Hermitian Operators
Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence
More informationALGEBRA MID-TERM. 1 Suppose I is a principal ideal of the integral domain R. Prove that the R-module I R I has no non-zero torsion elements.
ALGEBRA MID-TERM CLAY SHONKWILER 1 Suppose I s a prncpal deal of the ntegral doman R. Prove that the R-module I R I has no non-zero torson elements. Proof. Note, frst, that f I R I has no non-zero torson
More informationIrreducible representations of the Witt Jacobson Lie algebra of rank 2
Irreducble representatons of the Wtt Jacobson Le algebra of rank 2 2nd October 2005 Ph. D.-thess Peter Johannes Steffensen Advsor: Jens Carsten Jantzen Insttute of Mathematcs Aarhus Unversty 1 Contents
More informationTernary Codes and Vertex Operator Algebras 1
Journal of Algebra 799 do:6jabr99988 avalable onlne at http:wwwdealbrarycom on Ternary Codes and Vertex Operator Algebras Masaak Ktazume Department of Mathematcs and Informatcs Chba Unersty Chba 6-8 Japan
More informationp-adic Galois representations of G E with Char(E) = p > 0 and the ring R
p-adc Galos representatons of G E wth Char(E) = p > 0 and the rng R Gebhard Böckle December 11, 2008 1 A short revew Let E be a feld of characterstc p > 0 and denote by σ : E E the absolute Frobenus endomorphsm
More informationarxiv: v2 [math.ct] 1 Dec 2017
FUNCTORIAL CHARACTERIZATIONS OF FLAT MODULES arxv:1710.04153v2 [math.ct] 1 Dec 2017 Abstract. Let R be an assocatve rng wth unt. We consder R-modules as module functors n the followng way: f M s a (left)
More informationExample: (13320, 22140) =? Solution #1: The divisors of are 1, 2, 3, 4, 5, 6, 9, 10, 12, 15, 18, 20, 27, 30, 36, 41,
The greatest common dvsor of two ntegers a and b (not both zero) s the largest nteger whch s a common factor of both a and b. We denote ths number by gcd(a, b), or smply (a, b) when there s no confuson
More informationLecture 6/7 (February 10/12, 2014) DIRAC EQUATION. The non-relativistic Schrödinger equation was obtained by noting that the Hamiltonian 2
P470 Lecture 6/7 (February 10/1, 014) DIRAC EQUATION The non-relatvstc Schrödnger equaton was obtaned by notng that the Hamltonan H = P (1) m can be transformed nto an operator form wth the substtutons
More informationC/CS/Phy191 Problem Set 3 Solutions Out: Oct 1, 2008., where ( 00. ), so the overall state of the system is ) ( ( ( ( 00 ± 11 ), Φ ± = 1
C/CS/Phy9 Problem Set 3 Solutons Out: Oct, 8 Suppose you have two qubts n some arbtrary entangled state ψ You apply the teleportaton protocol to each of the qubts separately What s the resultng state obtaned
More informationMTH 819 Algebra I S13. Homework 1/ Solutions. 1 if p n b and p n+1 b 0 otherwise ) = 0 if p q or n m. W i = rw i
MTH 819 Algebra I S13 Homework 1/ Solutons Defnton A. Let R be PID and V a untary R-module. Let p be a prme n R and n Z +. Then d p,n (V) = dm R/Rp p n 1 Ann V (p n )/p n Ann V (p n+1 ) Note here that
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
More informationProblem Do any of the following determine homomorphisms from GL n (C) to GL n (C)?
Homework 8 solutons. Problem 16.1. Whch of the followng defne homomomorphsms from C\{0} to C\{0}? Answer. a) f 1 : z z Yes, f 1 s a homomorphsm. We have that z s the complex conjugate of z. If z 1,z 2
More informationBézier curves. Michael S. Floater. September 10, These notes provide an introduction to Bézier curves. i=0
Bézer curves Mchael S. Floater September 1, 215 These notes provde an ntroducton to Bézer curves. 1 Bernsten polynomals Recall that a real polynomal of a real varable x R, wth degree n, s a functon of
More informationOn intransitive graph-restrictive permutation groups
J Algebr Comb (2014) 40:179 185 DOI 101007/s10801-013-0482-5 On ntranstve graph-restrctve permutaton groups Pablo Spga Gabrel Verret Receved: 5 December 2012 / Accepted: 5 October 2013 / Publshed onlne:
More informationAppendix for Causal Interaction in Factorial Experiments: Application to Conjoint Analysis
A Appendx for Causal Interacton n Factoral Experments: Applcaton to Conjont Analyss Mathematcal Appendx: Proofs of Theorems A. Lemmas Below, we descrbe all the lemmas, whch are used to prove the man theorems
More informationLorentz Group. Ling Fong Li. 1 Lorentz group Generators Simple representations... 3
Lorentz Group Lng Fong L ontents Lorentz group. Generators............................................. Smple representatons..................................... 3 Lorentz group In the dervaton of Drac
More informationA ROOT SPACE DECOMPOSITION FOR FINITE VERTEX ALGEBRAS
A ROOT SPACE DECOMPOSITION FOR FINITE VERTEX ALGEBRAS ALESSANDRO D ANDREA AND GIUSEPPE MARCHEI ABSTRACT. Let L be a Le pseudoalgebra, a L. We show that, f a generates a (fnte) solvable subalgebra S = a
More informationLie conformal algebras and the variational complex
Le conformal algebras and the varatonal complex UMN Math Physcs Semnar February 10, 2014 Outlne Varatonal complex: a quck remnder Le conformal algebras and ther cohomology The varatonal complex as a LCA
More informationSYMPLECTIC AUTOMORPHISMS OF PRIME ORDER ON K3 SURFACES
SYMPLECTIC AUTOMORPHISMS OF PRIME ORDER ON K3 SURFACES ALICE GARBAGNATI AND ALESSANDRA SARTI Abstract. We study algebrac K3 surfaces (defned over the complex number feld) wth a symplectc automorphsm of
More informationOn the Nilpotent Length of Polycyclic Groups
JOURNAL OF ALGEBRA 203, 125133 1998 ARTICLE NO. JA977321 On the Nlpotent Length of Polycyclc Groups Gerard Endmon* C.M.I., Unerste de Proence, UMR-CNRS 6632, 39, rue F. Jolot-Cure, 13453 Marselle Cedex
More informationDiscrete Mathematics. Laplacian spectral characterization of some graphs obtained by product operation
Dscrete Mathematcs 31 (01) 1591 1595 Contents lsts avalable at ScVerse ScenceDrect Dscrete Mathematcs journal homepage: www.elsever.com/locate/dsc Laplacan spectral characterzaton of some graphs obtaned
More informationTime-Varying Systems and Computations Lecture 6
Tme-Varyng Systems and Computatons Lecture 6 Klaus Depold 14. Januar 2014 The Kalman Flter The Kalman estmaton flter attempts to estmate the actual state of an unknown dscrete dynamcal system, gven nosy
More informationFirst day August 1, Problems and Solutions
FOURTH INTERNATIONAL COMPETITION FOR UNIVERSITY STUDENTS IN MATHEMATICS July 30 August 4, 997, Plovdv, BULGARIA Frst day August, 997 Problems and Solutons Problem. Let {ε n } n= be a sequence of postve
More informationAli Omer Alattass Department of Mathematics, Faculty of Science, Hadramout University of science and Technology, P. O. Box 50663, Mukalla, Yemen
Journal of athematcs and Statstcs 7 (): 4448, 0 ISSN 5493644 00 Scence Publcatons odules n σ[] wth Chan Condtons on Small Submodules Al Omer Alattass Department of athematcs, Faculty of Scence, Hadramout
More informationThe Degrees of Nilpotency of Nilpotent Derivations on the Ring of Matrices
Internatonal Mathematcal Forum, Vol. 6, 2011, no. 15, 713-721 The Degrees of Nlpotency of Nlpotent Dervatons on the Rng of Matrces Homera Pajoohesh Department of of Mathematcs Medgar Evers College of CUNY
More informationOn the set of natural numbers
On the set of natural numbers by Jalton C. Ferrera Copyrght 2001 Jalton da Costa Ferrera Introducton The natural numbers have been understood as fnte numbers, ths wor tres to show that the natural numbers
More information