Search   Memberlist   Usergroups
 Page 1 of 1 [3 Posts]
Author Message
Titus Piezas III
science forum Guru Wannabe

Joined: 10 Mar 2005
Posts: 102

Posted: Fri Jul 07, 2006 5:29 am    Post subject: A conjecture on class numbers

Hello all,

Just two curious conjectures here:

Let m,n be any element of {0,1,2,....}

1. Let F(n) be a square-free number of form 8n+3. If F(n) is prime,
then -8F(n) has class number h(d) of form 4m+2. If composite, then of
form 4m.

Ex. F(n) = 11 with h(-8*11) = 2;
F(n) = 35 with h(-8*35) = 4.

2. Let F(n) be a square-free number of form 8n+5. If F(n) is prime,
then both -4F(n) and -8F(n) have class numbers of form 4m+2. If
composite, then of form 4m.

Ex. F(n) = 13 with h(-4*13) = 2, h(-8*13) = 6;
F(n) = 85 with h(-4*85) = 4, h(-8*85) = 12.

True or not?

P.S. Numbers 8n+1 and 8n+7 are not that well-behaved.

--Titus
victor_meldrew_666@yahoo.
science forum beginner

Joined: 19 May 2006
Posts: 17

Posted: Tue Jul 18, 2006 7:18 pm    Post subject: Re: A conjecture on class numbers

titus_piezas@yahoo.com wrote:

 Quote: Let m,n be any element of {0,1,2,....} 1. Let F(n) be a square-free number of form 8n+3. If F(n) is prime, then -8F(n) has class number h(d) of form 4m+2. If composite, then of form 4m. Ex. F(n) = 11 with h(-8*11) = 2; F(n) = 35 with h(-8*35) = 4. 2. Let F(n) be a square-free number of form 8n+5. If F(n) is prime, then both -4F(n) and -8F(n) have class numbers of form 4m+2. If composite, then of form 4m. Ex. F(n) = 13 with h(-4*13) = 2, h(-8*13) = 6; F(n) = 85 with h(-4*85) = 4, h(-8*85) = 12. True or not?

These are true, and quite well-known.

Let m be a positive, odd, squarefree integer.
Genus theory tells us that the 2-torsion subgroup
classgroup of the classgroup of Q(sqrt(-2m)) has order
2^d where d is the number of prime factors of m.
In particular, when m is composite, the classgroup has
a subgroup of order 4 and so the classnumber is a
multiple of 4.

Suppose then that m = p is prime. Then the classgroup
has only one class of order 2. This is the class of the
unique ideal P_2 of norm 2. The classnumber is divisible
by 4 iff there is an element of order 4 in the classgroup.
This would be represented by an ideal I with I^2 equivalent
to P_2. Thus I^2 P_2 would be a principal ideal
<a + b sqrt{-2p}>. Taking norms gives
2 N(I)^2 = a^2 + 2p b^2.
Considering this equation modulo p shows that 2 must be
a quadratic residue modulo p. Thus if (2/p) = -1, that is
if p = 3 or 5 (mod , then the classgroup has no element
of order 4 and so the class number is even but not
a multiple of 4.

Victor Meldrew
Titus Piezas III
science forum Guru Wannabe

Joined: 10 Mar 2005
Posts: 102

 Posted: Wed Jul 19, 2006 12:02 pm    Post subject: Re: A conjecture on class numbers Wonderful! So glad to know. Here's two more, on the j-function (Note: Discriminant d is understood to be d < 0): 1. Given a fundamental d (not a multiple of 3) with class number h(d), then j-function j(tau) = x^3, where x is an algebraic integer of degree h(d). In other words, it is a perfect "cube". 2. If d = 3m with m not a square and h(d) a power of 2, then j(tau) = v^2x^3 where v is a fundamental unit of m and x is an algebraic integer of degree h(d). Note: We will define the fundamental unit v here as p+q*Sqrt[m] such that p^2-mq^2 = +/-1, hence uses either the + or - case of Sqrt[m]. Example with tau = (1+Sqrt[d])/2, d = -3*17, h(d) = 2: J(tau) = -(4+Sqrt[17])^2(48^3)(5+Sqrt[17])^3 Are both true? -Titus
Google

 Display posts from previous: All Posts1 Day7 Days2 Weeks1 Month3 Months6 Months1 Year Oldest FirstNewest First
 Page 1 of 1 [3 Posts]
 The time now is Sun Jan 20, 2019 3:55 pm | All times are GMT
 Jump to: Select a forum-------------------Forum index|___Science and Technology    |___Math    |   |___Research    |   |___num-analysis    |   |___Symbolic    |   |___Combinatorics    |   |___Probability    |   |   |___Prediction    |   |       |   |___Undergraduate    |   |___Recreational    |       |___Physics    |   |___Research    |   |___New Theories    |   |___Acoustics    |   |___Electromagnetics    |   |___Strings    |   |___Particle    |   |___Fusion    |   |___Relativity    |       |___Chem    |   |___Analytical    |   |___Electrochem    |   |   |___Battery    |   |       |   |___Coatings    |       |___Engineering        |___Control        |___Mechanics        |___Chemical

 Topic Author Forum Replies Last Post Similar Topics D-numbers: a generalization of Sophie Germain twin primes wkehowski@cox.net Math 8 Thu Jul 20, 2006 12:48 am Operator Overloading (Sets and Numbers) DGoncz@aol.com Math 1 Sun Jul 16, 2006 8:26 pm Prime numbers Colin11 Math 11 Wed Jul 12, 2006 8:14 pm Clifford Numbers in Mathcad DGoncz@aol.com Math 4 Wed Jul 12, 2006 11:34 am A class of special functions Maury Barbato Math 3 Tue Jul 11, 2006 9:54 pm

Copyright © 2004-2005 DeniX Solutions SRL
Other DeniX Solutions sites: Electronics forum |  Medicine forum |  Unix/Linux blog |  Unix/Linux documentation |  Unix/Linux forums  |  send newsletters

Powered by phpBB © 2001, 2005 phpBB Group
 [ Time: 0.0190s ][ Queries: 16 (0.0032s) ][ GZIP on - Debug on ]