1. Originally Posted by undefined
Hmm, I may have jumped the gun, in terms of, it looks like we can "finesse" your requirement to match the definition.

Wikipedia (and MathWorld) gives:

$\displaystyle \alpha = a + b\omega \in \mathbb{Z}[\omega]$

where $\displaystyle a, b \in \mathbb{Z}$

$\displaystyle \omega=\begin{cases}\sqrt{D}&\text{if}\ D\equiv2,3\pmod{4}\\\frac{1+\sqrt{D}}{2}&\text{if} \ D\equiv1\pmod{4}\end{cases}$

So as noted, if we look at $\displaystyle \frac{a+b\sqrt{D}}{2}$ with a and b both even, then this reduces to the case where D is congruent to 2,3 (mod 4). If we restrict a and b such that they are congruent to each other (mod 2) then I think we have an equivalence for when D is congruent to 1 (mod 4).

Using Wikipedia definition when D congruent to 1 (mod 4),

$\displaystyle a + b\omega = a + \frac{1+\sqrt{D}}{2}\cdot b = \cdots = \frac{(2a+b)+b\sqrt{D}}{2}$. Now letting a' = 2a+b and b'=b, we see that if we fix b even then (2a + b) is even and if we fix b odd then (2a + b) is odd, and we can vary a in order to get whatever a' we want, so we have the equivalent formulation

$\displaystyle a, b \in \mathbb{Z},\begin{Bmatrix}a\equiv b\equiv 0\pmod{2}&\text{if}\ D\equiv2,3\pmod{4} \\a\equiv b \pmod{2}&\text{if}\ D\equiv1\pmod{4} \end{Bmatrix}, \alpha = \frac{a + b\sqrt{D}}{2} \in \mathcal{O}_{\mathbb{Q}[\sqrt{D}]}$

So the parity of a and b (whether they are even or odd) is restricted based on D. So to answer your question, choose D congruent to 1 (mod 4).
Okay, I don't understand what the funny "O" thing is on the end of that.

Secondly, given this information, the assumption, and the proof, can we show the first 3 or 4 primes of this as described herein?

2. Originally Posted by Samson
Okay, I don't understand what the funny "O" thing is on the end of that.

Secondly, given this information, the assumption, and the proof, can we show the first 3 or 4 primes of this as described herein?
The "O" is for ring of integers, it appears in the Wikipedia article

Quadratic integer - Wikipedia, the free encyclopedia

and I used it so I wouldn't have to specify omega.

As to your second question, when we choose some D, then we can find primes accordingly, but how about trying to do a little of this on your own? For example, if you want D congruent to 1 (mod 4), then you can choose D = 5 and try to find some primes, using the techniques that were used for Guassian and Eisenstein integers in the references I supplied, or if they don't apply, try to see why and try to develop a method.

Further notes to help you get started: I would start by just looking for irreducibles first and worrying about primes later. Also you should be able to see that a composite over the integers must be non-prime over your quadratic integer ring. Last, I would start by exhaustively searching using small pairs of (a,b). (Multiply them together, and you know that the product can't be irreducible, and if you can't produce an integer as such a product then you've found an irreducible.)

3. Originally Posted by undefined
The "O" is for ring of integers, it appears in the Wikipedia article

Quadratic integer - Wikipedia, the free encyclopedia

and I used it so I wouldn't have to specify omega.

As to your second question, when we choose some D, then we can find primes accordingly, but how about trying to do a little of this on your own? For example, if you want D congruent to 1 (mod 4), then you can choose D = 5 and try to find some primes, using the techniques that were used for Guassian and Eisenstein integers in the references I supplied, or if they don't apply, try to see why and try to develop a method.
I observed the links you suggested, but of them didn't help me in terms of finding primes that are applicable to my question (of having both a and b be either both even or odd with d>0). The examples that they gave were ones that you had repeated a bit in the first page of this thread, and also the page on Eisenstein primes yielded much confusion and not much direction on its integration with Quadratic Fields.

I really appreciate your help thus far, but this juncture is a little over my head given this documentation. If you can, I'd really appreciate it if you can continue your solution and explanation if you have sufficient time.

4. Originally Posted by Samson
I observed the links you suggested, but of them didn't help me in terms of finding primes that are applicable to my question (of having both a and b be either both even or odd with d>0). The examples that they gave were ones that you had repeated a bit in the first page of this thread, and also the page on Eisenstein primes yielded much confusion and not much direction on its integration with Quadratic Fields.

I really appreciate your help thus far, but this juncture is a little over my head given this documentation. If you can, I'd really appreciate it if you can continue your solution and explanation if you have sufficient time.
Well, you can get started by just plugging in numbers.

Here I'll just make up a short hand, we'll say $\displaystyle \alpha \cdot \beta$ is represented by (a,b).(c,d) where $\displaystyle \alpha=a+b\sqrt{D}$ and $\displaystyle \beta=c+d\sqrt{D}$.

Fix D = 5.

Multiply

(1,1).(1,1)
(1,1).(1,2)
(1,1).(1,3)
(1,1).(2,1)
(1,1).(2,2)
(1,1).(2,3)
(1,1).(3,1)
(1,1).(3,2)
(1,1).(3,3)
(1,2).(1,1)
(1,2).(1,2)
(1,2).(1,3)
(1,2).(2,1)
(1,2).(2,2)
(1,2).(2,3)
(1,2).(3,1)
(1,2).(3,2)
(1,2).(3,3)

Etc.

Look for patterns, see what produces integers and what does not (if you know in advance you won't get an integer, don't bother multiplying), and generalize based on your results, and if there's a pattern that looks like it can be proven, attempt a proof.

EDIT: Well none of the products above will give integers because you need at least one negative sign somewhere, but the overall idea still stands. Also look at the general expansion of (a,b).(c,d) to see what choices could possibly result in integers.

5. Originally Posted by undefined
Well, you can get started by just plugging in numbers.

Here I'll just make up a short hand, we'll say $\displaystyle \alpha \cdot \beta$ is represented by (a,b).(c,d) where $\displaystyle \alpha=a+b\sqrt{D}$ and $\displaystyle \beta=c+d\sqrt{D}$.

Fix D = 5.

Multiply

(1,1).(1,1)
(1,1).(1,2)
(1,1).(1,3)
(1,1).(2,1)
(1,1).(2,2)
(1,1).(2,3)
(1,1).(3,1)
(1,1).(3,2)
(1,1).(3,3)
(1,2).(1,1)
(1,2).(1,2)
(1,2).(1,3)
(1,2).(2,1)
(1,2).(2,2)
(1,2).(2,3)
(1,2).(3,1)
(1,2).(3,2)
(1,2).(3,3)

Etc.

Look for patterns, see what produces integers and what does not (if you know in advance you won't get an integer, don't bother multiplying), and generalize based on your results, and if there's a pattern that looks like it can be proven, attempt a proof.

EDIT: Well none of the products above will give integers because you need at least one negative sign somewhere, but the overall idea still stands. Also look at the general expansion of (a,b).(c,d) to see what choices could possibly result in integers.
Well, I definitely tried. I tried so much that I missed your note about none of them giving you integers after I troubleshooted a billion times and never got one to come out! I came on here to say that they never came out right, and voila, you have your edit. Oh well...

Anyways, I've producted those two expressions together (what I call a general expansion) and I don't know really what I'm supposed to make of it that will lead me to real numbers (the first 3 or four primes where a,b are either both odd or even). Sorry that I'm lost here!

6. Originally Posted by Samson
Well, I definitely tried. I tried so much that I missed your note about none of them giving you integers after I troubleshooted a billion times and never got one to come out! I came on here to say that they never came out right, and voila, you have your edit. Oh well...

Anyways, I've producted those two expressions together (what I call a general expansion) and I don't know really what I'm supposed to make of it that will lead me to real numbers (the first 3 or four primes where a,b are either both odd or even). Sorry that I'm lost here!
Yeah sorry about that mix-up. We can do

$\displaystyle (a+b\sqrt{5})(c+d\sqrt{5}) = ac + (ad+bc)\sqrt{5} + 5bd$

In order to have an integer, (ad + bc) must equal 0. There is not much point letting a = 0 because then we would end up with a multiple of 5 which we already know is composite. Likewise there's no use letting b = 0 because then we have either a = 0 or d = 0, and if d = 0 then we are just multiplying two integers.

While I'm sure we can analyse this further, I took the easy way out (in my opinion) and wrote a brute force program. This is in Python, should run on any version

Code:
import math

def isprime(n):
if n < 2:
return False
# just trial division
if n%2 == 0:
return False
for i in range(3, int(math.floor(math.sqrt(n))+1), 2):
if n%i == 0:
return False
return True

for a in range(1,100):
for b in range(-75,75):
if b != 0:
for c in range(-75,75):
if (b*c) % a == 0:
d = -1*b*c / a
n = a*c+5*b*d
if n > 0 and isprime(n):
print "!"+str(n),a,b,c,d
The code isn't written to be elegant, just to require as little thought as possible to code.

A snippet of the output:

Code:
!89 6 -5 -6 -5
!3 6 -3 -2 -1
!31 6 -1 6 1
!31 6 1 6 -1
!3 6 3 -2 1
!89 6 5 -6 5
This means for example we can get product 3 by letting (a,b,c,d) = (6,-3,-2,-1). I added the exclamation marks just to make it easier to search.

So it looks like the first irreducible is 2, and the next irreducible isn't until 53!

7. Originally Posted by undefined
Yeah sorry about that mix-up. We can do

$\displaystyle (a+b\sqrt{5})(c+d\sqrt{5}) = ac + (ad+bc)\sqrt{5} + 5bd$

In order to have an integer, (ad + bc) must equal 0. There is not much point letting a = 0 because then we would end up with a multiple of 5 which we already know is composite. Likewise there's no use letting b = 0 because then we have either a = 0 or d = 0, and if d = 0 then we are just multiplying two integers.

While I'm sure we can analyse this further, I took the easy way out (in my opinion) and wrote a brute force program. This is in Python, should run on any version

Code:
import math

def isprime(n):
if n < 2:
return False
# just trial division
if n%2 == 0:
return False
for i in range(3, int(math.floor(math.sqrt(n))+1), 2):
if n%i == 0:
return False
return True

for a in range(1,100):
for b in range(-75,75):
if b != 0:
for c in range(-75,75):
if (b*c) % a == 0:
d = -1*b*c / a
n = a*c+5*b*d
if n > 0 and isprime(n):
print "!"+str(n),a,b,c,d
The code isn't written to be elegant, just to require as little thought as possible to code.

A snippet of the output:

Code:
!89 6 -5 -6 -5
!3 6 -3 -2 -1
!31 6 -1 6 1
!31 6 1 6 -1
!3 6 3 -2 1
!89 6 5 -6 5
This means for example we can get product 3 by letting (a,b,c,d) = (6,-3,-2,-1). I added the exclamation marks just to make it easier to search.

So it looks like the first irreducible is 2, and the next irreducible isn't until 53!
Okay, so which are the first three or four primes out of this? And is this a and b the same a and b that are both even or both odd?

8. Originally Posted by undefined
This means for example we can get product 3 by letting (a,b,c,d) = (6,-3,-2,-1). I added the exclamation marks just to make it easier to search.

So it looks like the first irreducible is 2, and the next irreducible isn't until 53!
I'm still trying to interpret this, because we need 'a' and 'b' to be either both odd or both even, and 6 is even while -3 is odd. Then I still need the first 3 primes. Anybody have any advice to offer?

9. Originally Posted by Samson
I'm still trying to interpret this, because we need 'a' and 'b' to be either both odd or both even, and 6 is even while -3 is odd. Then I still need the first 3 primes. Anybody have any advice to offer?
I believe you're right and my post #21 is not valid. I will have to reformulate. (It will take a little time.)

10. Originally Posted by undefined
I believe you're right and my post #21 is not valid. I will have to reformulate. (It will take a little time.)
Okay. I'm curious about how this will end up solved, so I look forward to seeing your reformulation!

11. Did you by chance get that reformulation done? Once again, I really appreciate the help!

12. Originally Posted by Samson
Did you by chance get that reformulation done? Once again, I really appreciate the help!
Long time delay, busy month, sorry for that. I think this is the last thread of yours that I was active on that has a loose end.

I notice that when I add the condition a%2 == b%2 (I also tried abs(a%2) == abs(b%2)) to my Python program it produces no output whatsoever. Perhaps this means that the primes of $\displaystyle \mathbb{Z}$ are never irreducible in this ring. However I would have to look more deeply and don't have too much time. I recommend looking at the PDF on arXiv referenced in the post linked to above, since you wanted primes instead of irreducibles anyway.

13. Originally Posted by undefined
Long time delay, busy month, sorry for that. I think this is the last thread of yours that I was active on that has a loose end.

I notice that when I add the condition a%2 == b%2 (I also tried abs(a%2) == abs(b%2)) to my Python program it produces no output whatsoever. Perhaps this means that the primes of $\displaystyle \mathbb{Z}$ are never irreducible in this ring. However I would have to look more deeply and don't have too much time. I recommend looking at the PDF on arXiv referenced in the post linked to above, since you wanted primes instead of irreducibles anyway.
Could anyone confirm that perhaps the primes of Z are never irreducible in this ring?

14. Originally Posted by Samson
Could anyone confirm that perhaps the primes of Z are never irreducible in this ring?
Actually I think I interpreted lack of output oppositely from what I should have; assuming no bugs (which is an assumption that should definitely be checked), no output means that all the primes of Z are irreducible in the ring, because it means there is no way to multiply two algebraic integers to get a prime in Z. It had been so long since I wrote the program, I forgot what it did..

Edit: Aha, the program is buggy in the sense that it had a false assumption leading to it; I wrote algebraic integers as $\displaystyle \alpha=a+b\sqrt{D}$ rather than $\displaystyle \displaystyle \alpha=\frac{a+b\sqrt{D}}{2}$. I now remember noticing this earlier but by the time I made the response had forgotten. Anyway I take responsibility for the mistakes I make along the way but can't help but feel like I'm doing 99% the work here. Is it really much of an enlightenment for you to be shown the answers for these problems? Won't you get more out of it by finding the answers yourself?

15. Originally Posted by undefined
Actually I think I interpreted lack of output oppositely from what I should have; assuming no bugs (which is an assumption that should definitely be checked), no output means that all the primes of Z are irreducible in the ring, because it means there is no way to multiply two algebraic integers to get a prime in Z. It had been so long since I wrote the program, I forgot what it did..

Edit: Aha, the program is buggy in the sense that it had a false assumption leading to it; I wrote algebraic integers as $\displaystyle \alpha=a+b\sqrt{D}$ rather than $\displaystyle \displaystyle \alpha=\frac{a+b\sqrt{D}}{2}$. I now remember noticing this earlier but by the time I made the response had forgotten. Anyway I take responsibility for the mistakes I make along the way but can't help but feel like I'm doing 99% the work here. Is it really much of an enlightenment for you to be shown the answers for these problems? Won't you get more out of it by finding the answers yourself?
I definitely have been trying to find them. I've been working over a month on some of these, but I'm coming here so someone can show me how its done so I can learn from it. I'm learning out of a book, and I can't ask the book questions or ask it to solve my examples. Essentially having someone to show me how these work is crucial in helping me understand the rest of the example problems (which I always work on alone).

So how does modifying your equation by the factor of 1/2 change things?

Page 2 of 3 First 123 Last