Solve Herstein's Abstract Algebra Problem: Can u = 4n+3 be Written as a^2 + b^2?

  • Thread starter Thread starter JasonRox
  • Start date Start date
  • Tags Tags
    Interesting
Click For Summary
SUMMARY

The discussion centers on Herstein's Abstract Algebra problem, specifically examining whether a number of the form u = 4n + 3 can be expressed as the sum of two squares, u = a^2 + b^2, where a and b are natural numbers. Participants agree that if one of a or b is odd, the other must be even, leading to an analysis of the expression a^2 + b^2 modulo 4. The conclusion drawn is that such a number cannot be represented in the specified form, as the remainder when dividing by 4 does not support this representation.

PREREQUISITES
  • Understanding of modular arithmetic, specifically modulo 4.
  • Familiarity with the properties of squares of integers.
  • Basic knowledge of natural numbers and their classifications (odd and even).
  • Concepts from abstract algebra as introduced in Herstein's textbook.
NEXT STEPS
  • Study the properties of sums of squares in number theory.
  • Learn about quadratic residues and their implications in modular arithmetic.
  • Explore theorems related to representations of integers as sums of squares.
  • Review Herstein's Abstract Algebra for deeper insights into related concepts.
USEFUL FOR

Mathematics students, particularly those studying abstract algebra, number theorists, and anyone interested in the properties of integers and their representations.

JasonRox
Homework Helper
Gold Member
Messages
2,394
Reaction score
4
This isn't homework, but I'll post it anyways because I'd like to know.

It's from Herstein's Abstract Algebra.

Show that if u = 4n + 3, where [itex]n\inN[/itex], then you can not write u in the from u = a^2 + b^2, where [itex]a,b\inN[/itex].

I feel silly for asking this, but I'm curious to know.

The one thing I do, which is obvious is that if a is odd, then b is even because u is odd. But I don't think you need this fact to solve it.

Any directions?

Please do not post solutions!
 
Physics news on Phys.org
JasonRox said:
This isn't homework, but I'll post it anyways because I'd like to know.

It's from Herstein's Abstract Algebra.

Show that if u = 4n + 3, where [itex]n\inN[/itex], then you can not write u in the from u = a^2 + b^2, where [itex]a,b\inN[/itex].

I feel silly for asking this, but I'm curious to know.

The one thing I do, which is obvious is that if a is odd, then b is even because u is odd. But I don't think you need this fact to solve it.

Any directions?

Please do not post solutions!
Okay, I'll give you a hint:
So one of a, and b must be odd, and the other is an even number, right?
So let a = 2k, b = 2x + 1 (k, x are all integers).
Now what's a2 + b2? If you divide a2 + b2 by 4, what's the remainder?
You can take it from here, right? :)
 
VietDao29 said:
Okay, I'll give you a hint:
So one of a, and b must be odd, and the other is an even number, right?
So let a = 2k, b = 2x + 1 (k, x are all integers).
Now what's a2 + b2? If you divide a2 + b2 by 4, what's the remainder?
You can take it from here, right? :)

That's exactly what I did!

I knew something wasn't right when I was looking at it.

I'll give it another shot thanks.
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
8K
  • · Replies 4 ·
Replies
4
Views
3K
Replies
13
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • Sticky
  • · Replies 16 ·
Replies
16
Views
13K
  • · Replies 25 ·
Replies
25
Views
4K
Replies
4
Views
2K