Register FAQ Search Today's Posts Mark Forums Read

 2019-10-25, 09:00 #1 wildrabbitt   Jul 2014 3×149 Posts roots of quadratics Hi, in the A-level maths curriculum, there's a topic to do with roots of quadratics. A typical question would be for example, The quadratic $$2x^2+3x-6$$ 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.
2019-10-25, 09:57   #2
Nick

Dec 2012
The Netherlands

2·7·113 Posts

Quote:
 Originally Posted by wildrabbitt 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.
In this case, the coefficients of the quadratic equation are all integers but the roots α and β are irrational numbers.
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!

 2019-10-25, 12:14 #3 Dr Sardonicus     Feb 2017 Nowhere 2·3·5·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 higher-degree 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."
 2019-10-29, 11:17 #4 MattcAnderson     "Matthew Anderson" Dec 2010 Oregon, USA 2×11×29 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.
2019-10-29, 12:56   #5
R.D. Silverman

Nov 2003

22×5×373 Posts

Quote:
 Originally Posted by MattcAnderson 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. .
You acknowledge that you are "Not an expert on group theory".

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.

 2019-10-29, 14:50 #6 Dr Sardonicus     Feb 2017 Nowhere 417010 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.
2019-10-29, 16:42   #7
R.D. Silverman

Nov 2003

22×5×373 Posts

Quote:
 Originally Posted by Dr Sardonicus 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.
This reminds me of a joke that I heard a long time ago.

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???

2019-10-30, 08:29   #8
Nick

Dec 2012
The Netherlands

2·7·113 Posts

Quote:
 Originally Posted by Dr Sardonicus The cyclic groups of prime order are the only (nontrivial) simple cyclic groups.
Better: the cyclic groups of prime order are the only simple abelian groups.

 Similar Threads Thread Thread Starter Forum Replies Last Post wildrabbitt Math 26 2019-09-27 15:34 Dubslow Miscellaneous Math 8 2012-12-13 21:35 fenderbender Miscellaneous Math 17 2010-11-16 16:25 Peter Hackman Math 2 2007-10-24 06:41 grandpascorpion Puzzles 9 2005-09-25 13:45

All times are UTC. The time now is 07:56.

Wed Jan 20 07:56:32 UTC 2021 up 48 days, 4:07, 0 users, load averages: 4.00, 3.98, 3.85