20191025, 09:00  #1 
Jul 2014
3·149 Posts 
roots of quadratics
Hi,
in the Alevel maths curriculum, there's a topic to do with roots of quadratics. A typical question would be for example, The quadratic \(2x^2+3x6\) has roots \(\alpha\) and \(\beta\). (i) Write down \(\alpha+\beta\) and \(\alpha\beta\). (ii) Hence show that \(\alpha^3+\beta^3=\frac{135}{8}\). (iii) Find a quadratic whose roots are \(\alpha+\frac{\alpha}{\beta^2}\) and \(\beta+\frac{\beta}{\alpha^2}\). Does anyone know if the reason quadratics are studied in this way is anything more than just because they can be? Does getting to understand how to solve such questions give a student any skills for things that could be studied later on in maths? I'm wondering if this has a connection with group theory but I don't know what the connection is, if there is one. 
20191025, 09:57  #2  
Dec 2012
The Netherlands
3327_{8} Posts 
Quote:
However, since \((X\alpha)(X\beta)=X^2(\alpha+\beta)X+\alpha\beta\), the values α+β and αβ are integers too. What's more, it follows that any symmetric expression in α and β (i.e. which stays the same when you permute them) can be written in terms of α+β and αβ and therefore is also an integer. So this is a way of staying inside the integers instead of having to calculate approximately with irrational numbers, which makes it of great practical importance. You are right that there is also a connection with group theory. Permuting the roots of a polynomial equation gives us important symmetries (known as automorphisms) n the fields containing them, which help us understand their structure. This was first worked out by Évariste Galois, a French mathematician who died aged 21 in a duel, and the theory is still known today as Galois Theory. It's quite a showpiece of mathematics! 

20191025, 12:14  #3 
Feb 2017
Nowhere
2^{2}·3^{2}·139 Posts 
Some basic facts about the "theory of equations" are at work here.
One (the "factor theorem") is that if f(x) is a polynomial with coefficients in a field (here, the field of rational numbers) and f(t) = 0, then (x  t) is a factor of f(x). This is pertinent to your question (iii). Also WRT to your question (iii), note that each of the two quantities which are supposed to be roots can be obtained from the other by permuting α and β. One reason quadratic polynomials are studied (especially as an introduction to the "theory of equations") is that the results are theoretically interesting, and the requisite calculations can actually be done by hand without too much effort. With higherdegree polynomials, the calculations can become too laborious to do by hand, but, armed with a grasp of the theory obtained from the tractable quadratic case, you can at least understand the general form of the results. One result for which your your question (ii) is a "jumping off point" is known as "Newton's identities." 
20191029, 11:17  #4 
"Matthew Anderson"
Dec 2010
Oregon, USA
911 Posts 
Not an expert on group theory. But there is the trivial group of just one element. This could be labeled identity or something else. There is no group with count nill.
In my humble opinion the easiest group to understand is cyclic group. These cyclic group must have prime order. To be clear, the count of number of elements is a prime number. In the end, don't know of a connection between quadratic surds, and mathematical groups. Surely we can learn from the question of Original Poster. 
20191029, 12:56  #5  
Nov 2003
2^{2}×5×373 Posts 
Quote:
So why do you feel compelled to post? Hint: Your claim that a cyclic group must have prime order is wrong. Further hint: There is a cyclic group of order n for all n \in N. 

20191029, 14:50  #6 
Feb 2017
Nowhere
138C_{16} Posts 
Yes, there are cyclic groups of all positive integer orders. The cyclic groups of prime order are the only (nontrivial) simple cyclic groups. Which reminds me...
"Simple Groups", to the tune of "Sweet Betsy from Pike"; words by Saunders Mac Lane Be it noted, the classification of finite simple groups was achieved in 1981. 
20191029, 16:42  #7  
Nov 2003
2^{2}×5×373 Posts 
Quote:
I was taking an algebra course from Birkhoff. He was introducing the notion of simple groups. He stated (more or less) A simple group is one with no self conjugate subgroups... Simple, isn't it??? 

20191030, 08:29  #8 
Dec 2012
The Netherlands
3327_{8} Posts 

Thread Tools  
Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
roots of cubics  wildrabbitt  Math  26  20190927 15:34 
Extracting kth roots mod m  Dubslow  Miscellaneous Math  8  20121213 21:35 
Roots of 1 mod 2^n  fenderbender  Miscellaneous Math  17  20101116 16:25 
primtive roots mod p^2  Peter Hackman  Math  2  20071024 06:41 
High first prime modroot Quadratics  grandpascorpion  Puzzles  9  20050925 13:45 