Congruence Classes


by Brimley
Tags: classes, congruence
Brimley
Brimley is offline
#1
Oct18-10, 07:04 PM
P: 77
Hello PhysicsForums!

I have been reading up on congruence classes and working out some examples. I came across one example that I seem to struggle understanding.

I've solved for [itex]\lambda[/itex] and I know that [itex]\lambda = (3+\sqrt{-3})/2[/itex] [itex]\in[/itex] [itex]Q[\sqrt{-3}][/itex]. I also know that [itex]\lambda[/itex] is a prime in [itex]Q[\sqrt{-3}][/itex].

From here, I would like to prove that iff [itex]\lambda[/itex] divides [itex]a[/itex] for some rational integer [itex]a[/itex] in [itex]Z[/itex], it can be proven that 3 divides [itex]a[/itex].

Can this is done? If so, could someone show me?

Lastly (or as a second part to this), what are the congruence classes [itex] (mod (3+\sqrt{3})/2) [/itex] in [itex] Q[\sqrt{-3}] [/itex] ?

I really appreciate the help on this everyone!
*Note: I intentionally put [itex] (mod (3+\sqrt{3})/2) [/itex] with the [itex] \sqrt{3} [/itex], so it should not be negative for this part.
Phys.Org News Partner Science news on Phys.org
Going nuts? Turkey looks to pistachios to heat new eco-city
Space-tested fluid flow concept advances infectious disease diagnoses
SpaceX launches supplies to space station (Update)
robert Ihnot
robert Ihnot is offline
#2
Oct19-10, 09:54 AM
PF Gold
P: 1,059
If [tex]\lambda \mid a, then N(\lambda) = 3 \mid a^2, [/tex] or that 3 divides a. Conversely, of course [tex]\lambda \mid 3[/tex]

It would seem there is no way you can arrive at [tex]\sqrt3[/tex] in this field since obviously it would not be [tex]R\sqrt-3 [/tex], or the Eisenstein integers. The positive and negatives of the quadratic field are not interchangeable.
Brimley
Brimley is offline
#3
Oct19-10, 12:03 PM
P: 77
Quote Quote by robert Ihnot View Post
If [tex]\lambda \mid a, then N(\lambda) = 3 \mid a^2, [/tex] or that 3 divides a. Conversely, of course [tex]\lambda \mid 3[/tex]
Thank you robert!

Do you have an idea on the second part? (quoted below)
What are the congruence classes [itex] (mod (3+\sqrt{3})/2) [/itex] in [itex] Q[\sqrt{-3}] [/itex] ?

robert Ihnot
robert Ihnot is offline
#4
Oct19-10, 11:19 PM
PF Gold
P: 1,059

Congruence Classes


Quote Quote by Brimley View Post
Thank you robert!

Do you have an idea on the second part? (quoted below)
It would seem there is no way you can arrive at [tex] \sqrt3 [/tex] in this field since obviously it would not be with the [tex] \sqrt{ -3} [/tex] or the Eisenstein integers. The positive and negatives of the quadratic field are not interchangeable.

What happens is that we begin with the rationals and add the [tex]\sqrt X [/tex] to generate the field. The next step is to define and look for the quadratic integers in this set up.
Brimley
Brimley is offline
#5
Oct19-10, 11:49 PM
P: 77
Quote Quote by robert Ihnot View Post
It would seem there is no way you can arrive at [tex] \sqrt3 [/tex] in this field since obviously it would not be with the [tex] \sqrt{ -3} [/tex] or the Eisenstein integers. The positive and negatives of the quadratic field are not interchangeable.

What happens is that we begin with the rationals and add the [tex]\sqrt X [/tex] to generate the field. The next step is to define and look for the quadratic integers in this set up.
Is that the same if you treat this as a separate problem entirely?

Perhaps if I word it like this it will be different (if not just say no):

"What are the congruence classes [itex] (mod (3+\sqrt{3})/2) [/itex] in [itex] Q[\sqrt{-3}][/itex] ?"
robert Ihnot
robert Ihnot is offline
#6
Oct20-10, 12:31 AM
PF Gold
P: 1,059
A quadratic integer, Eisenstein, is of the form [tex]a+b\omega[/tex] where [tex]\omega = \frac{-1+\sqrt-3}{2}[/tex] Here a and b are integers and [tex]\omega^3=1[/tex]. The form will satisfy an integral equation with the squared term unity. Here we have for the cube root of 1, [tex] 1+\omega+\omega^2 = 0 [/tex]. The roots of our quadratic are [tex]a+b\omega[/tex] [tex] a+b\omega^2 [/tex]

This gives then the form of X^2-(2a-b)X+a^2-ab+b^2. If we let a=1,b=2, we arrive at X^2+3 = 0.
The question is can we arrive at the form X^2-3 = 0. You can try to find that.
Brimley
Brimley is offline
#7
Oct20-10, 12:35 AM
P: 77
Quote Quote by robert Ihnot View Post
A quadratic integer of the Eisenstein form is of the form [tex]a+b\omega[/tex] where [tex]\omega = \frac{-1+\sqrt-3}{2}[/tex]
I understood this, however I don't understand where you're going with this...
robert Ihnot
robert Ihnot is offline
#8
Oct20-10, 12:59 AM
PF Gold
P: 1,059
I tried to make this clear that [tex]\sqrt3[/tex] is not an algebratic integer in this set, so that it is useless to consider residue classes.

If you want to ajoin [tex]\sqrt3[/tex] to this set then you would no longer be talking about a quadratic integer.
Brimley
Brimley is offline
#9
Oct20-10, 01:28 AM
P: 77
Quote Quote by robert Ihnot View Post
A quadratic integer, Eisenstein, is of the form [tex]a+b\omega[/tex] where [tex]\omega = \frac{-1+\sqrt-3}{2}[/tex] Here a and b are integers and [tex]\omega^3=1[/tex]. The form will satisfy an integral equation with the squared term unity. Here we have for the cube root of 1, [tex] 1+\omega+\omega^2 = 0 [/tex]. The roots of our quadratic are [tex]a+b\omega[/tex] [tex] a+b\omega^2 [/tex]

This gives then the form of X^2-(2a-b)X+a^2-ab+b^2. If we let a=1,b=2, we arrive at X^2+3 = 0.
The question is can we arrive at the form X^2-3 = 0. You can try to find that.
Okay, I just want to try and format your answer again to make sure I'm getting it right:
A quadratic integer, Eisenstein, is of the form [itex]a+b\omega[/itex] where [itex]\omega = \frac{-1+\sqrt-3}{2}[/itex] Here a and b are integers and [tex]\omega^3=1[/tex]. The form will satisfy an integral equation with the squared term unity. Here we have for the cube root of [itex]1[/itex], [tex] 1+\omega+\omega^2 = 0 [/tex]. The roots of our quadratic are:
Root1: [tex]a+b\omega[/tex]
Root1: [tex]a+b\omega^2[/tex]

This gives then the form of [itex]X^2-(2a-b)X+a^2-ab+b^2[/itex]. If we let [itex]a=1,b=2, [/itex] we arrive at [itex] X^2+3 = 0 [/itex].
The question is can we arrive at the form [itex]X^2-3 = 0 [/itex]. You can try to find that.
So what you're saying is we cannot find that form because we don't have [itex]\sqrt{-3}[/itex] in our mod statement, rather we have [itex]\sqrt{3}[/itex] which will prevent us from getting the statement of: [itex]X^2-3 = 0 [/itex] ?
robert Ihnot
robert Ihnot is offline
#10
Oct20-10, 07:24 PM
PF Gold
P: 1,059
The question is how is the form arrived at. First we start with the rationals, then we adjoin [tex]\sqrt-3[/tex] to this form and generate an expanded set of numbers. But that does not give us the form of [tex]\sqrt3[/tex]

After all, what is the point of trying to form "reside classes" of [tex] \pi [/tex] relative to the integers?


Register to reply

Related Discussions
Congruence Classes Calculus & Beyond Homework 3
Basic general ed classes before classes for 4 yr Bachelor's degree? Academic Guidance 5
Congruence difficulty Linear & Abstract Algebra 1
Congruence Classes in Quadratic Integers Calculus & Beyond Homework 4
congruence classes General Math 1