mersenneforum.org  

Go Back   mersenneforum.org > Extra Stuff > Miscellaneous Math

Reply
 
Thread Tools
Old 2020-10-11, 08:40   #12
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

24·3·73 Posts
Default

Quote:
Originally Posted by Nick View Post
There are a number of errors at the start, some just details of definitions but others hiding more important points.
How it would be best to resolve these depends strongly on who you are writing this for.
What is the intended audience?
The man in the street with a little interest in primes and testing

Please detail what the errors are so that I can fix them.
paulunderwood is offline   Reply With Quote
Old 2020-10-11, 22:26   #13
Nick
 
Nick's Avatar
 
Dec 2012
The Netherlands

101111100012 Posts
Default

Quote:
Originally Posted by paulunderwood View Post
The man in the street with a little interest in primes and testing

Please detail what the errors are so that I can fix them.
Feedback on version dated 11 October 2020 (wow you've written a lot!)
p5 The proof that root 2 is irrational relies on the uniqueness of prime factorization.
As this is a special property of the integers (not true in all number systems), I would at least mention it.
p6 Ordinary sets are unordered and may not have repeating elements (this is so that they correspond with properties - if you select all objects satisfying a certain condition, you want what you get to be a set). Orderings and multisets can be constructed from ordinary sets if needed (in fact, so can everything in mathematics).
p6 "subtracting all elements of one set from another" sounds confusing to me, as if you are calculating x-y for each x in the first set and y in the second. I would consider "removing"
p7 The group axioms \(e\circ g=g\) needs to be \(g\circ e=g\), or state it and the next one both ways around.
p7 under multiplication the units of a commutative ring with 1 form an abelian group, but these are not all the elements of the ring (except in the trivial case where the ring has just 1 element).
p8 If you want to be able to relax condition 11 then you need to write condition 12 both ways around!
p8 A field is also required to have 1 not equal to 0.
I'm out of time now - I'll look again in the week.
Nick is online now   Reply With Quote
Old 2020-10-12, 05:33   #14
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

24·3·73 Posts
Default

Quote:
Originally Posted by Nick View Post
Feedback on version dated 11 October 2020 (wow you've written a lot!)
Thank you very much for taking tome to read the text. I have made some changes to my local copy but will upload after more changes.
Quote:
p5 The proof that root 2 is irrational relies on the uniqueness of prime factorization.
As this is a special property of the integers (not true in all number systems), I would at least mention it.
.
I mention it now in the both the paragraph on integers and when arguing about the irrationality of root 2.
Quote:
p6 Ordinary sets are unordered and may not have repeating elements (this is so that they correspond with properties - if you select all objects satisfying a certain condition, you want what you get to be a set). Orderings and multisets can be constructed from ordinary sets if needed (in fact, so can everything in mathematics).
I have added the word "not".
Quote:
p6 "subtracting all elements of one set from another" sounds confusing to me, as if you are calculating x-y for each x in the first set and y in the second. I would consider "removing"
I replaced the word "subtract" with "remove",
Quote:
p7 The group axioms \(e\circ g=g\) needs to be \(g\circ e=g\), or state it and the next one both ways around.
I have subtended e rather than prepending it and in all subsequent instances where identity existence in mentioned including the section on rings,
Quote:
p7 under multiplication the units of a commutative ring with 1 form an abelian group, but these are not all the elements of the ring (except in the trivial case where the ring has just 1 element).
I found this difficult. I have made mention of the center, although it might be out of context:
Quote:
\item multiplicative identity : $(\exists 1\in {\cal S})(\forall a\in{\cal S})\hspace{.1in}a\times 1=a$.
The units form an Abelian group apart from a ring with one element, called the {\em center}.
Quote:
p8 If you want to be able to relax condition 11 then you need to write condition 12 both ways around!
Done!
Quote:
p8 A field is also required to have 1 not equal to 0.
I have added "where $1\ne 0$".
Quote:
I'm out of time now - I'll look again in the week.
Again, many thanks,

Edit I have uploaded the latest copy -- 12 Oct.

Last fiddled with by paulunderwood on 2020-10-12 at 14:42
paulunderwood is offline   Reply With Quote
Old 2020-10-15, 09:09   #15
Nick
 
Nick's Avatar
 
Dec 2012
The Netherlands

152110 Posts
Default

Some feedback on the version dated 12 October 2020:

2.1 Primes.
I find the first sentence confusing (though that may just be me).
Your explanation of what prime numbers are at the start of chapter 1 was clearer.

2.2 Euclid's algorithm
If you are going to use both "greatest common divisor" and "highest common factor",
perhaps saying that they are 2 names for the same thing would make it clearer.
You say the gcd is the last non-zero remainder but don't explain what to do if the 1st remainder was 0 already.
You explain why the last non-zero remainder divides a and b but not why it must be the highest number to do so.

3. Pythagoras
You show that a+b and a-b are both even and that no prime except 2 divides them both,
and you also have that their product is a square.
You conclude that a+b and a-b are each 2 times a square.
But the prime factorizations of a+b and a-b could each contain an even number of 2's
- you need to rule that out as well before writing a+b=2s² and a-b=2t².
(You are of course making it harder for yourself by working in the integers instead of the Gaussian integers here.
As you introduced complex numbers in chapter 1, you could consider using Gaussian integers.)
Nick is online now   Reply With Quote
Old 2020-10-15, 15:48   #16
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

24·3·73 Posts
Default

I have tried to correct and clarify the text and arguments as Nick pointed out in the previous post. I have uploaded the latest version -- Oct 15th, 2020 -- to the original post.

I have not written about Gaussian integers, trying to restrict the text to natural primes,
paulunderwood is offline   Reply With Quote
Old 2020-10-17, 10:00   #17
Nick
 
Nick's Avatar
 
Dec 2012
The Netherlands

27618 Posts
Default

Feedback on version dated 15 October 2020:

7 Mersenne Numbers
Formula for factorization of \(M_{pq}\) is almost right!

9.1 Legendre symbol
Say p is an odd prime or p not equal to 2.
Typo bottom of page 37: elements of A should go up to 10 instead of 11.

12 Frobenius
Example: taking the polynomial \(x^2+1\), you get the Gaussian integers modulo n after all!

Obviously it's up to you, but it might be worth including something on the Chinese Remainder Theorem.
It would make it easier to explain your formula for the Euler phi function.
Also, as you have a nice emphasis on the computational side of things in this, you could show
how it is used in practice to speed up RSA decryption, for example.
Just a thought, anyway.
Nick is online now   Reply With Quote
Old 2020-10-17, 23:57   #18
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

66608 Posts
Default

Quote:
Originally Posted by Nick View Post

12 Frobenius
Example: taking the polynomial \(x^2+1\), you get the Gaussian integers modulo n after all!

Obviously it's up to you, but it might be worth including something on the Chinese Remainder Theorem.
It would make it easier to explain your formula for the Euler phi function.
Also, as you have a nice emphasis on the computational side of things in this, you could show
how it is used in practice to speed up RSA decryption, for example.
Just a thought, anyway.
There is now a section on Gaussian primes, but not mod n.

CRT: I find that quite difficult.

RSA: I have written that s or t may be chosen to be small for quick encoding or quick decoding respectively.

Thanks again for your input. 18th Oct, 2020 version uploaded

Last fiddled with by paulunderwood on 2020-10-17 at 23:59
paulunderwood is offline   Reply With Quote
Old 2020-10-18, 00:35   #19
a1call
 
a1call's Avatar
 
"Rashid Naimi"
Oct 2015
Remote to Here/There

36328 Posts
Default

I love the book Paul.
Thank you very much.
a1call is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
New M51 Book with All Digits Microprint314 Lounge 13 2019-10-05 17:05
WHERE to get this book for <$100?! Stargate38 Lounge 3 2016-11-20 01:17
Is this book appropriate? Xyzzy Number Theory Discussion Group 14 2016-08-21 10:24
Free book! Xyzzy Math 24 2015-11-13 23:33
Book Review Numbers Lounge 5 2005-09-30 17:53

All times are UTC. The time now is 17:30.

Tue Dec 1 17:30:37 UTC 2020 up 82 days, 14:41, 2 users, load averages: 2.32, 2.14, 2.10

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2020, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.