DOCSLIB.ORG

Finite Groups of Fourth-Power Free Order

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Finite Groups of Fourth-Power Free Order J. Group Theory 16 (2013), 275–298 DOI 10.1515/jgt-2012-0042 © de Gruyter 2013 Finite groups of fourth-power free order Cai Heng Li and Shouhong Qiao Communicated by Robert M. Guralnick Abstract. A characterization is given of finite groups of order indivisible by the fourth power of any prime, which shows that such a group has the following form: A B C D or .M .A B C //:E, where A; B; C and D are all nilpotent, M is perfect,W andW EW is abelian. Further,W W the semi-direct products involved in these groups are characterized. 1 Introduction A classical result, proved by Hölder [8] in 1893, says that a finite group of square- free order is a semi-direct product of a cyclic group by another cyclic group, namely, such a group is a semi-direct product of the form A B with A; B both cyclic. W Later on, some special small order groups were characterized; see for exam- ple [5, 11, 14, 15]. In particular, Dietrich and Eick [2] investigated the groups of cube-free order (that is, the order is not divisible by the cube of any prime). More recently, in [12], complementing the work of [2], it was shown that a finite non- nilpotent group of cube-free order has the form A B C or PSL.2; p/ .A B/; W W W where A; B and C are all abelian. A natural problem is to extend the cube-free case to the fourth-power-free case. A group is said to be of fourth-power-free order if its order is not divisible by the fourth power of any prime. The main purpose of this paper is to characterize such finite groups. Roughly speaking, it is shown that such a group has the form A B C D or .M .A B C //:E; W W W W W where A; B; C and D are all nilpotent, M is perfect, and E is abelian. Cai Heng Li is supported by NNSF of China (grants no. 11231008, 11171292) and an ARC Discovery Project grant. Shouhong Qiao acknowledges the support from the following grants: NNSF of China (11126098, 11201082), China Postdoctoral Science Foundation funded project (2012M521724) and FDYT (LYM11058) of Guangdong Province. The corresponding author is Shouhong Qiao. 276 C. H. Li and S. Qiao Before presenting the main result, we first state some special cases. As usual, by Gp with p prime we mean a Sylow p-subgroup of G. Corollary. Let G be a finite soluble group of fourth-power-free order. Then there exist non-trivial nilpotent groups L; M such that the following statements hold: (1) If . G ; 6/ 1, then G L, or L M . j j D D W (2) If . G ; 2/ 1, then G L, or L M , or L M G3. j j D D W W W (3) If . G ; 3/ 1, then G L, or L M , or L M G2. j j D D W W W Each case does occur. Here are examples with three nilpotent layers: 3 3 2 2 Z Z31 Z3 < AL.1; 5 / and Z D10 < AL.1; 11 /. 5 W W 11 W For the general case, we state the main results in two theorems. The first is for soluble groups. Theorem 1.1. Let G be a finite soluble group of fourth-power free order. Then one of the following holds, where L; M are non-identity nilpotent subgroups: (i) G L, or L M , D W (ii) G has three nilpotent layers, and has the form (i) L M G2 or L M G3 W W W W or 2 (ii) .L Z / .M Q8/ Z3, 3 W W (iii) G has four nilpotent layers, and has the form 2 L M G3 G2 or L .M Z / G3 Z2: W W W W 2 W W We remark that each case listed in the theorem indeed occurs. Here are a few of basic examples for three nilpotent layer groups: 2 2 3 1 2 3 2 Zp D2q; Zp S3; Zp 3 C Q8; Zp A4; Z3 Q8 Z3; W W W C W W W W 3 3 3 Z Q8 Z3; Z Z7 Z3; Z Z31 Z3: p W W 2 W W 5 W W The groups 3 3 3 3 2 .Z11 Z5/ S3 Z Z Z3 Z2 and Z S4 Z Z Z3 Z2 W o D 11 W 5 W W p W D p W 2 W W have four nilpotent layers. The semi-direct products appearing in the groups in Theorem 1.1 are essentially known, and we can easily see this in an indirect way: embedding such a group into Finite groups of fourth-power free order 277 a larger group, which is a direct product of some ‘basic’ groups, consisting of the following groups, where P divides p3 and Q divides q3, with p; q prime: j j j j P , P Q, W P Q R, with R dividing 23 or 33, W W j j 2 3 P Z R Z2, with R dividing 3 , W 2 W W j j P Q R S, with R dividing 33 and S dividing 23. W W W j j j j The structural information of these basic groups is described in Section 5. In par- ticular, the semi-direct products involved in these groups are determined. Corollary 1.2. Let G be a group of fourth-power free order. Then G B1 Bn; Ä where Bi is one of the basic groups described above. The next theorem characterizes the insoluble case. Theorem 1.3. Let G be an insoluble finite group of fourth-power-free order. Then G .M .A B C //:E, where A; B; C are nilpotent subgroups of odd order, D W W E is abelian, and M is a perfect subgroup satisfying one of the following W (i) M is almost quasi-simple: f A7, J1, PSL.2; 8/, or PSL.2; p /, where p is odd and f 3, 3 Ä 3:A6, 3:A7, SL.2; p/ with p 5, or SL.2; p / with p odd, (ii) M ASL.2; p/ Z2 SL.2; p/, where p 5, D D p W (iii) M F SL.2; 5/, where F is nilpotent with each Sylow r-subgroup isomor- D W2 2 3 phic to Z , Z Zr or Z , with either r 5, or r 1 .mod 10/, r r W r D Á ˙ (iv) M Z3 S, where m is square-free, and one of the following holds: D m W (a) S PSL.2; 7/, and r 11 and r3 1 .mod 7/ for each prime divi- D Á sor r of m, (b) S 3:A6, and r 1 or 19 .mod 30/ for each prime divisor r of m, D Á (c) S A5, and r 1 .mod 10/ for each prime divisor r of m. D Á ˙ The paper is organized as follows: In Section 2, we study automorphism groups of the groups of order pd with p prime and d 3. Then in Sections 2 and 3, we Ä treat the soluble case, and prove Theorem 1.1. Corollary 1.2 is proved in Section 4. In the final section, we prove Theorem 1.3. We conclude this section by giving some notation which will be frequently used. For a set of primes, 0 denotes the set of the primes not in . Let G be a group. We write G for a Hall -subgroup of G;Z.G/ denotes the centre of G, 278 C. H. Li and S. Qiao F.G/ denotes the Fitting subgroup of G, F .G/ the generalized Fitting subgroup of G (see, for example, [10, X, Section 13]), ˆ.G/ the Frattini subgroup of G. A semidirect product of a group A by a group B is denoted by A B, and then we W write A B C A .B C/ and A B C D A .B .C D//: W W D W W W W W D W W W 3 In what follows, Z denotes Z Z Z with l a positive integer, 3:A6 denotes l l l l a perfect group which has central factor group A6. 2 Automorphism groups of p-groups Let G be a group. The Fitting subgroup F F.G/ is the largest nilpotent normal WD subgroup of G. If G is soluble, then the Fitting subgroup satisfies CG.F / F . Ä Hence G=F G=.CG.F /F / Out.F / Out.F1/ Out.Ft /; D Ä D where F F1 Ft is such that each Fi is a Sylow pi -subgroup of F . D 3 Now Fi has order dividing pi , and thus structural information about subgroups of Out.Fi / is important in the study of G. Let P be a p-group of order at most p3. Then either P is abelian, or P is one of the two non-abelian groups of order p3. For p 2, the only non-abelian groups of 3 D order p 8 are Q8, the quaternion group, and D8, the dihedral group of order 8. D 3 2 If p is odd, then a non-abelian group of order p is Z Zp or Z 2 Zp. Note that p W p W 2 1 2 Z Zp has exponent p and is usually denoted by p , p W C 2 1 2 C 2 Zp Zp has exponent p and is denoted by p C .
Load more

Recommended publications
  • Power Values of Divisor Sums Author(S): Frits Beukers, Florian Luca, Frans Oort Reviewed Work(S): Source: the American Mathematical Monthly, Vol
    Power Values of Divisor Sums Author(s): Frits Beukers, Florian Luca, Frans Oort Reviewed work(s): Source: The American Mathematical Monthly, Vol. 119, No. 5 (May 2012), pp. 373-380 Published by: Mathematical Association of America Stable URL: http://www.jstor.org/stable/10.4169/amer.math.monthly.119.05.373 . Accessed: 15/02/2013 04:05 Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp . JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. Mathematical Association of America is collaborating with JSTOR to digitize, preserve and extend access to The American Mathematical Monthly. http://www.jstor.org This content downloaded on Fri, 15 Feb 2013 04:05:44 AM All use subject to JSTOR Terms and Conditions Power Values of Divisor Sums Frits Beukers, Florian Luca, and Frans Oort Abstract. We consider positive integers whose sum of divisors is a perfect power. This prob- lem had already caught the interest of mathematicians from the 17th century like Fermat, Wallis, and Frenicle. In this article we study this problem and some variations. We also give an example of a cube, larger than one, whose sum of divisors is again a cube. 1. INTRODUCTION. Recently, one of the current authors gave a mathematics course for an audience with a general background and age over 50.
    [Show full text]
  • A Simple Proof of the Mean Fourth Power Estimate
    ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze K. RAMACHANDRA A simple proof of the mean fourth power estimate for 1 1 z(2 + it) and L(2 + it;c) Annali della Scuola Normale Superiore di Pisa, Classe di Scienze 4e série, tome 1, no 1-2 (1974), p. 81-97 <http://www.numdam.org/item?id=ASNSP_1974_4_1_1-2_81_0> © Scuola Normale Superiore, Pisa, 1974, tous droits réservés. L’accès aux archives de la revue « Annali della Scuola Normale Superiore di Pisa, Classe di Scienze » (http://www.sns.it/it/edizioni/riviste/annaliscienze/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ A Simple Proof of the Mean Fourth Power Estimate for 03B6(1/2 + it) and L(1/2 + it, ~). K. RAMACHANDRA (*) To the memory of Professor ALBERT EDWARD INGHAM 1. - Introduction. The main object of this paper is to prove the following four well-known theorems by a simple method. THEOREM 1. and then THEOREM 2. If T ~ 3, R&#x3E;2 and Ti and also 1, then THEOREM 3. Let y be a character mod q (q fixed), T ~ 3, - tx,2 ... T, (.Rx &#x3E; 2), and tx.i+,- 1. If with each y we associate such points then, where * denotes the sum over primitive character mod q.
    [Show full text]
  • Triangular Numbers /, 3,6, 10, 15, ", Tn,'" »*"
    TRIANGULAR NUMBERS V.E. HOGGATT, JR., and IVIARJORIE BICKWELL San Jose State University, San Jose, California 9111112 1. INTRODUCTION To Fibonacci is attributed the arithmetic triangle of odd numbers, in which the nth row has n entries, the cen- ter element is n* for even /?, and the row sum is n3. (See Stanley Bezuszka [11].) FIBONACCI'S TRIANGLE SUMS / 1 =:1 3 3 5 8 = 2s 7 9 11 27 = 33 13 15 17 19 64 = 4$ 21 23 25 27 29 125 = 5s We wish to derive some results here concerning the triangular numbers /, 3,6, 10, 15, ", Tn,'" »*". If one o b - serves how they are defined geometrically, 1 3 6 10 • - one easily sees that (1.1) Tn - 1+2+3 + .- +n = n(n±M and (1.2) • Tn+1 = Tn+(n+1) . By noticing that two adjacent arrays form a square, such as 3 + 6 = 9 '.'.?. we are led to 2 (1.3) n = Tn + Tn„7 , which can be verified using (1.1). This also provides an identity for triangular numbers in terms of subscripts which are also triangular numbers, T =T + T (1-4) n Tn Tn-1 • Since every odd number is the difference of two consecutive squares, it is informative to rewrite Fibonacci's tri- angle of odd numbers: 221 222 TRIANGULAR NUMBERS [OCT. FIBONACCI'S TRIANGLE SUMS f^-O2) Tf-T* (2* -I2) (32-22) Ti-Tf (42-32) (52-42) (62-52) Ti-Tl•2 (72-62) (82-72) (9*-82) (Kp-92) Tl-Tl Upon comparing with the first array, it would appear that the difference of the squares of two consecutive tri- angular numbers is a perfect cube.
    [Show full text]
  • MATHCOUNTS Bible Completed I. Squares and Square Roots: from 1
    MATHCOUNTS Bible Completed I. Squares and square roots: From 12 to 302. Squares: 1 - 50 12 = 1 262 = 676 22 = 4 272 = 729 32 = 9 282 = 784 42 = 16 292 = 841 52 = 25 302 = 900 62 = 36 312 = 961 72 = 49 322 = 1024 82 = 64 332 = 1089 92 = 81 342 = 1156 102 = 100 352 = 1225 112 = 121 362 = 1296 122 = 144 372 = 1369 132 = 169 382 = 1444 142 = 196 392 = 1521 152 = 225 402 = 1600 162 = 256 412 = 1681 172 = 289 422 = 1764 182 = 324 432 = 1849 192 = 361 442 = 1936 202 = 400 452 = 2025 212 = 441 462 = 2116 222 = 484 472 = 2209 232 = 529 482 = 2304 242 = 576 492 = 2401 25 2 = 625 50 2 = 2500 II. Cubes and cubic roots: From 13 to 123. Cubes: 1 -15 13 = 1 63 = 216 113 = 1331 23 = 8 73 = 343 123 = 1728 33 = 27 83 = 512 133 = 2197 43 = 64 93 = 729 143 = 2744 53 = 125 103 = 1000 153 = 3375 III. Powers of 2: From 21 to 212. Powers of 2 and 3 21 = 2 31 = 3 22 = 4 32 = 9 23 = 8 33 = 27 24 = 16 34 = 81 25 = 32 35 = 243 26 = 64 36 = 729 27 = 128 37 = 2187 28 = 256 38 = 6561 29 = 512 39 = 19683 210 = 1024 310 = 59049 211 = 2048 311 = 177147 212 = 4096 312 = 531441 IV. Prime numbers from 2 to 109: It also helps to know the primes in the 100's, like 113, 127, 131, ... It's important to know not just the primes, but why 51, 87, 91, and others are not primes.
    [Show full text]
  • Elementary Number Theory and Its Applications
    Elementary Number Theory andlts Applications KennethH. Rosen AT&T Informotion SystemsLaboratories (formerly part of Bell Laborotories) A YY ADDISON-WESLEY PUBLISHING COMPANY Read ing, Massachusetts Menlo Park, California London Amsterdam Don Mills, Ontario Sydney Cover: The iteration of the transformation n/2 if n T(n) : \ is even l Qn + l)/2 if n is odd is depicted.The Collatz conjectureasserts that with any starting point, the iteration of ?"eventuallyreaches the integer one. (SeeProblem 33 of Section l.2of the text.) Library of Congress Cataloging in Publication Data Rosen, Kenneth H. Elementary number theory and its applications. Bibliography: p. Includes index. l. Numbers, Theory of. I. Title. QA24l.R67 1984 512',.72 83-l1804 rsBN 0-201-06561-4 Reprinted with corrections, June | 986 Copyright O 1984 by Bell Telephone Laboratories and Kenneth H. Rosen. All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical,photocopying, recording, or otherwise,without prior written permission of the publisher. printed in the United States of America. Published simultaneously in Canada. DEFGHIJ_MA_8987 Preface Number theory has long been a favorite subject for studentsand teachersof mathematics. It is a classical subject and has a reputation for being the "purest" part of mathematics, yet recent developments in cryptology and computer science are based on elementary number theory. This book is the first text to integrate these important applications of elementary number theory with the traditional topics covered in an introductory number theory course. This book is suitable as a text in an undergraduatenumber theory courseat any level.
    [Show full text]
  • Multiplicative Series, Modular Forms, and Mandelbrot Polynomials
    MULTIPLICATIVE SERIES, MODULAR FORMS, AND MANDELBROT POLYNOMIALS MICHAEL LARSEN n Abstract. We say a power series Pn∞=0 anq is multiplicative if the sequence 1,a2/a1,...,an/a1,... is so. In this paper, we consider mul- tiplicative power series f such that f 2 is also multiplicative. We find a number of examples for which f is a rational function or a theta series and prove that the complete set of solutions is the locus of a (proba- bly reducible) affine variety over C. The precise determination of this variety turns out to be a finite computational problem, but it seems to be beyond the reach of current computer algebra systems. The proof of the theorem depends on a bound on the logarithmic capacity of the Mandelbrot set. 1. Introduction Let rk(n) denote the number of representations of n as a sum of k squares. It is classical that r1(n)/2, r2(n)/4, r4(n)/8, and r8(n)/16 are multiplicative functions of n; the first trivially, the second thanks to Fermat, and the third and fourth thanks to Jacobi [Ja, 42,44]. From the standpoint of generating functions, this can be interpreted§§ as the statement that the theta series ϑZ(q) and its square, fourth power, and eighth power, all have multiplicative coefficients (after suitable normalization). As a starting point, we prove the converse: Theorem 1.1. If f(q) C[[q]], f(q)2, f(q)4, and f(q)8 are all multiplica- tive, then f(q)= cϑ ( q∈). Z ± This is an immediate consequence of the following more difficult result: arXiv:1908.09974v2 [math.NT] 29 Oct 2019 Theorem 1.2.
    [Show full text]
  • Proofs of Certain Arithmetic Theorems ∗
    Proofs of certain arithmetic theorems ∗ Leonhard Euler Arithmetic theorems, of which Fermat and others unveiled many, are wor- thy of greater attention because of this, but instead their truth is hidden and difficult to prove. Indeed, Fermat has left behind a sufficiently great abundance of such theorems, but never published the proofs, even though he may have steadfastly claimed for himself to have established their validity with great cer- tainty. Therefore, it is very painful to write of the tragedy that, thus far, all of these proofs still remain unknown. The idea behind propositions in common knowledge is similar: in them it is claimed that neither the sum nor the dif- ference of fourth powers can be a square; though no one doubts the truth of this, a rigorous proof is still not available anywhere, as far as I know, except in a certain pamphlet once edited by Fr´enicle,the title of which is Trait´edes triangles rectangles en nombres. Here, the author proves among other things that in no right triangle whose sides are expressed as rational numbers can the area be a square, from which the truth of the previously mentioned proposi- tions about the sums and differences of two fourth powers is deduced. But that proof is very much enmeshed in the properties of triangles, so that unless the greatest attention is employed, it can be understood clearly only with great difficulty. On account of this, I believe these works to be of value, if I will have drawn the proofs of these propositions away from right triangles and put them forward clearly and analytically.
    [Show full text]
  • It Is Wise, Generalize! by K
    It is Wise, Generalize! by K. R. S. Sastry, Karnataka, India Often it is the case that the solution of one problem enables us to propose several new problems. This may take the form of a converse problem, an extension of the original problem in one of several directions or an analogy. By all means do consider them. It provides us with more problems to solve on the one hand. On the other, we generally employ different solution strategies to solve the newly proposed problems so we gain greater perspectives and valuable insights. Let us look at a solution of the following problem in the light of preceding suggestions. (*) Find a sequence of distinct natural numbers with the property that the difference of squares of any two consecutive terms is a perfect cube. Editor's Note: Try the problem yourself before reading on! Solution. If we assume s , s , . as the sequence of natural numbers to be determined, then we must have s - s = t , r = 1, 2, 3, ..... (1) where t's are also natural numbers. When r = 1 then s - s = t . A little experimentation shows that 3 - 1 = 2 . So we take s = 1, s = 3, t = 2. When r = 2 then s - s = t holds. With s = 3, we find that s = 6. Likewise we find that s = 10. Let us write down the initial terms of the sequence: 1, 3, 6, 10, s , s , . It is now easy to guess that s = 15, s = 21, and that s = r(r + 1)/2. By using the induction principle we can convince ourselves that s = r(r + 1)/2 r = 1, 2, 3, .
    [Show full text]
  • Numbers 1 to 100
    Numbers 1 to 100 PDF generated using the open source mwlib toolkit. See http://code.pediapress.com/ for more information. PDF generated at: Tue, 30 Nov 2010 02:36:24 UTC Contents Articles −1 (number) 1 0 (number) 3 1 (number) 12 2 (number) 17 3 (number) 23 4 (number) 32 5 (number) 42 6 (number) 50 7 (number) 58 8 (number) 73 9 (number) 77 10 (number) 82 11 (number) 88 12 (number) 94 13 (number) 102 14 (number) 107 15 (number) 111 16 (number) 114 17 (number) 118 18 (number) 124 19 (number) 127 20 (number) 132 21 (number) 136 22 (number) 140 23 (number) 144 24 (number) 148 25 (number) 152 26 (number) 155 27 (number) 158 28 (number) 162 29 (number) 165 30 (number) 168 31 (number) 172 32 (number) 175 33 (number) 179 34 (number) 182 35 (number) 185 36 (number) 188 37 (number) 191 38 (number) 193 39 (number) 196 40 (number) 199 41 (number) 204 42 (number) 207 43 (number) 214 44 (number) 217 45 (number) 220 46 (number) 222 47 (number) 225 48 (number) 229 49 (number) 232 50 (number) 235 51 (number) 238 52 (number) 241 53 (number) 243 54 (number) 246 55 (number) 248 56 (number) 251 57 (number) 255 58 (number) 258 59 (number) 260 60 (number) 263 61 (number) 267 62 (number) 270 63 (number) 272 64 (number) 274 66 (number) 277 67 (number) 280 68 (number) 282 69 (number) 284 70 (number) 286 71 (number) 289 72 (number) 292 73 (number) 296 74 (number) 298 75 (number) 301 77 (number) 302 78 (number) 305 79 (number) 307 80 (number) 309 81 (number) 311 82 (number) 313 83 (number) 315 84 (number) 318 85 (number) 320 86 (number) 323 87 (number) 326 88 (number)
    [Show full text]
  • Finding Strong Pseudoprimes to Several Bases
    MATHEMATICS OF COMPUTATION Volume 70, Number 234, Pages 863{872 S 0025-5718(00)01215-1 Article electronically published on February 17, 2000 FINDING STRONG PSEUDOPRIMES TO SEVERAL BASES ZHENXIANG ZHANG Dedicated to the memory of P. Erd}os (1913{1996) Abstract. Define m to be the smallest strong pseudoprime to all the first m prime bases. If we know the exact value of m, we will have, for integers n< m, a deterministic primality testing algorithm which is not only easier to implement but also faster than either the Jacobi sum test or the elliptic curve test. Thanks to Pomerance et al. and Jaeschke, m are known for 1 ≤ m ≤ 8. Upper bounds for 9; 10 and 11 were given by Jaeschke. In this paper we tabulate all strong pseudoprimes (spsp's) n<1024 to the first ten prime bases 2; 3; ··· ; 29; which have the form n = pq with p; q odd primes and q −1=k(p−1);k=2; 3; 4: There are in total 44 such numbers, six of which are also spsp(31), and three numbers are spsp's to both bases 31 and 37. As a result the upper bounds for 10 and 11 are lowered from 28- and 29-decimal-digit numbers to 22-decimal-digit numbers, and a 24-decimal-digit upper bound for 12 is obtained. The main tools used in our methods are the biquadratic residue characters and cubic residue characters. We propose necessary conditions for n to be a strong pseudoprime to one or to several prime bases.
    [Show full text]
  • Figurate Numbers and Sums of Numerical Powers: Fermat, Pascal, Bernoulli
    Figurate numbers and sums of numerical powers: Fermat, Pascal, Bernoulli David Pengelley In the year 1636, one of the greatest mathematicians of the early seventeenth century, the Frenchman Pierre de Fermat (1601—1665), wrote to his correspondent Gilles Personne de Roberval1 (1602—1675) that he could solve “what is perhaps the most beautiful problem of all arithmetic” [4], and stated that he could do this using the following theorem on the figurate numbers derived from natural progressions, as he first stated in a letter to another correspondent, Marin Mersenne2 (1588—1648) in Paris: 11111111 Pierre de Fermat, from Letter to Mersenne. September/October, 1636, and again to Roberval, November 4, 1636 The last number multiplied by the next larger number is double the collateral triangle; the last number multiplied by the triangle of the next larger is three times the collateral pyramid; the last number multiplied by the pyramid of the next larger is four times the collateral triangulo-triangle; and so on indefinitely in this same manner [4], [15, p. 230f], [8, vol. II, pp. 70, 84—85]. 11111111 Fermat, most famous for his last theorem,3 worked on many problems, some of which had ancient origins. Fermat had a law degree and spent most of his life as a government offi cial in Toulouse. There are many indications that he did mathematics partly as a diversion from his professional duties, solely for personal gratification. That was not unusual in his day, since a mathematical profession comparable to today’sdid not exist. Very few scholars in Europe made a living through their research accomplishments.
    [Show full text]
  • A Course in Mathematics Appreciation
    Rowan University Rowan Digital Works Theses and Dissertations 5-1-1995 A course in mathematics appreciation Daniel J. Kraft Rowan College of New Jersey Follow this and additional works at: https://rdw.rowan.edu/etd Part of the Science and Mathematics Education Commons Recommended Citation Kraft, Daniel J., "A course in mathematics appreciation" (1995). Theses and Dissertations. 2256. https://rdw.rowan.edu/etd/2256 This Thesis is brought to you for free and open access by Rowan Digital Works. It has been accepted for inclusion in Theses and Dissertations by an authorized administrator of Rowan Digital Works. For more information, please contact [email protected]. A COURSE IN MATHEMATICS APPRECATION by Daniel J. Kraft A Thesis Submitted in partial fulfillent of the requirements of the Master of Arts Degree in the Craduate Division of Rowan College in Mathematics Educarion 1995 ''CC'~'"AnnmTrl hv J. Sooy tlntp A nnrnveA .h• Yw E AFM= f W ABSTRACT Daniel I. Kraft, A Course in Mathematics Appreciation, 1995, J. Sooy, Mathematics Education. The purpose of this study is to create a mini-corse in mathematics appreciation at the senior high school level. The mathematics appreciation course would be offered as an elective to students in the lth or 12th grade, who are concurrently enrolled in trigonometry or calculus. The topics covered in the mathematics appreciation course include: systems of numeration, congrunces, Diophantine equations, Fibonacci sequences, the golden section, imaginary numbers, the exponential function, pi, perfect numbers, numbers with shape, ciphers, magic squares, and root extraction techniques. In this study, the student is exposed to mathematical proofs, where appropriate, and is encouraged to create practice problems for other members of the class to solve.
    [Show full text]