The 2-Sylow subgroups of the tame kernel of imaginary quadratic fields
|
|
- Isabella Woods
- 5 years ago
- Views:
Transcription
1 ACTA ARITHMETICA LXIX The 2-Sylow subgous of the tame kenel of imaginay uadatic fields by Houong Qin Nanjing To Pofesso Zhou Boxun Cheo Peh-hsuin on his 75th bithday 1. Intoduction. Let F be a numbe field and O F the ing of its integes. Many esults ae known about the gou K 2 O F, the tame kenel of F. In aticula, many authos hae inestigated the 2-Sylow subgou of K 2 O F. As comaed with eal uadatic fields, the 2-Sylow subgous of K 2 O F fo imaginay uadatic fields F ae moe difficult to deal with. The objectie of this ae is to oe a few theoems on the stuctue of the 2-Sylow subgous of K 2 O F fo imaginay uadatic fields F. In ou Ph.D. thesis see [11], we deelo a method to detemine the stuctue of the 2-Sylow subgous of K 2 O F fo eal uadatic fields F. The esent ae is motiated by some ideas in the aboe thesis. 2. Notations and eliminaies. Let F be a numbe field and O F the ing of integes in F. Let Ω be the set of all laces of F. Fo any finite lace P, denote by P the discete aluation on F coesonding to P. Fo any {x, y} K 2 F, the tame symbol is defined by τ P {x, y} 1 P x P y x P y y P x mod P. Fo any P Ω, the Hilbet symbol P of ode 2 on FP, the comletion of F at P, is defined as follows: Gien non-zeo elements α, β F P, α,β P 1 if αξ 2 + βη 2 1 has a solution ξ, η F P, othewise the symbol is defined to be 1. In aticula, suose P is a non-dyadic lace in Ω. By a fomula in Theoem 5.4 of [9], if {x, y} K 2 F and τ P {x, y} 1 then x, y P [153]
2 154 H. Qin And if F Q, the ational numbes field, and x, y ae the units in Q 2, then x, y x 1/2 y 1/2 2 see Theoem 5.6 in [9]. The following Poduct Fomula fo the Hilbet symbol is well known: α, β P P Ω Fo any odd ime, let P denote the Legende symbol. We hae Lemma 2.1 Legende. Suose a, b, c ae suae fee, a, b b, c c, a 1, and a, b, c do not hae the same sign. Then the Diohantine euation ax 2 + by 2 + cz 2 0 has non-tiial intege solutions if and only if fo eey odd ime abc, say a, bc 1. P o o f. See Theoem 4.1 and its Coollay 2 in [3]. In this ae, we use K 2 O F 2 to denote the 2-Sylow subgou of K 2 O F. Let F be an imaginay uadatic field. By [13], we hae [ : F 2 ] 4, whee {z F { 1, z} 1}. In Section 5, we will detemine fo some imaginay uadatic fields. 3. Geneal esults Lemma 3.1. Let F Q d d a ositie suae-fee intege. Fo any α x + y d F, ut S {P 1,..., P n } {P τ P { 1, α} 1}. Without loss of geneality, we can assume that i P i Z is not inet fo 1 i n. Then x 2 + dy 2 ε 1... n z 2, whee ε {1, 2} and z Q. Conesely, suose that 1,..., n ae distinct imes in Z and P 1,..., P n ae ime ideals of O F such that P i Z i fo 1 i n. If thee is an ε {1, 2} such that the euation x 2 + dy 2 ε 1... n z 2 is solable in Q euialently in Z, then thee is an α F such that S {P τ P { 1, α} 1} {P 1,..., P n }. P o o f. Suose α x + y d F and S {P 1,..., P n } {P τ P { 1, α} 1}. Then x + y d σ P 1... P n a 2, whee 2 and σ 0 o 1 and a is a factional ideal of O F in F. Hence, x 2 + dy 2 ε 1... n z 2. Conesely, if x 2 + dy 2 ε 1... n z 2 has a solution x, y, z Z, then fo any 1 i n, eithe x+y d P i o x y d P i. So suitably choosing δ Q, we can assume that δx+y d e P 1... P n a 2, whee 2, e 0
3 Imaginay uadatic fields 155 o 1 and a is a factional ideal of O F in F. Then taking α δx + y d yields the esult. Theoem 3.2. Let F Q d d a ositie suae-fee intege, and m d, a ositie intege. If any ime facto of m satisfies i 1 mod 4, fo 1 i n, then thee is an α K 2 O F with α 2 { 1, m} if and only if thee is an ε {1, 2} such that the Diohantine euation εmz 2 X 2 +dy 2 is solable in Z. P o o f. Fom the assumtion, we hae m x 2 + y 2, whee x, y Z. Let { x α y, x2 + y 2 } { x y 2 y, m } y 2. Then α 2 { 1, m}. It is easy to check that {P τ P α 1} {P 1,......, P n }, whee P i Z i 1 i n. Theefoe, the esult follows fom Lemma 3.1. Lemma 3.3. Let F Q d d a ositie suae-fee intege. ŁThen m x 2 + y 2 fo x, y F, whee m is an intege satisfying: m d if d 1 mod 8 o m d togethe with m 3 mod 4 if d 1 mod 8. P o o f. Let Ω denote the set of all laces of F. In iew of the Hasse Minkowski Theoem see [10], it is enough to oe that 1,m P 1 fo any P Ω. Clealy, if P is the uniue Achimedean lace in Ω, then 1,m P 1. In the non-dyadic cases, 1,m P 1 follows fom 2.1. If d 1 mod 8, then thee is a uniue dyadic lace P in Ω. Then the Poduct Fomula yields 1,m P 1. Now suose d 1 mod 8. Hee m 3 mod 4. Let P 1, P 2 denote the two dyadic laces in Ω. Then F P1 FP2 Q2. Hence, by 2.2, we hae 1 fo i 1, 2. This comletes the oof. 1,m P i R e m a k. By a theoem due to Bass and Tate see [8], a necessay and sufficient condition fo { 1, m} α 2 with α K 2 F is that m x 2 + y 2 fo x, y F. On the othe hand, if d 1 mod 8, m d and m 3 mod 4, then by 2.2, 1,m P i 1, whee i 1, 2, and P1, P 2 ae the two dyadic laces of F. So { 1, m} α 2 fo any α K 2 F. Now, let F Q d be an imaginay uadatic field. Suose m 1 o m δ 1..., whee δ 1 o 1 fo 1 i, i 3 mod 4 is a ime, and suose m X 2 + Y 2 fo X, Y F. Wite X x + y d, Y x + y d, whee x, y, x, y, z Z. z z Clealy m X 2 + Y 2 imlies that xy x y and 3.1 mz 2 x 2 dy 2 + x 2 dy 2.
4 156 H. Qin Without loss of geneality, we can assume that x, y, x, y 1 below. Lemma 3.4. Notations being as aboe, suose k 0 is an intege and is a ime with 2k+1 x 2 + x 2. Then thee is a ime ideal P of F such that P x+y d > 0, P x +y d > 0. Conesely, if P x+y d > 0 and P x + y d > 0, then P x 2 + x 2 > 0. P o o f. It follows fom 3.1 that mx 2 z 2 x 2 + x 2 x 2 dy 2. Then 2k+1 x 2 + x 2 imlies x 2 dy 2 note that 1 mod 4. But x + y dx y d x 2 + dy 2 x 2 + dy 2 0 mod P. So we may assume that P x + y d > 0. Similaly, P x + y d > 0. Conesely, suose P x + y d > 0 and P x + y d > 0. Let P Z. Then x 2 + dy 2, x 2 + dy 2. If x, then x o y since xy x y. But y also imlies x. Hence x 2 + x 2. Now we assume that x and x. It is easy to eify that 3.2 x + y d x x So, P x 2 + x 2 > 0. x + x 2 x x + y d. x 2 Lemma 3.5. With notations being as aboe, suose P is a non-dyadic ime ideal of O F, P Z and m. If P x 2 + x 2 > 0 and P x + y d > 0, then x 2 + x 2 P x + y d mod 2. P o o f. Fist suose that P x 0. Then is unamified in O F, hence x 2 + x 2 P x 2 + x 2 and P x + y d P x 2 + dy 2. It can be deduced fom the identity 2 x + y d x + y 2 d m + z z that P x + y d P x + y d. If P x + y d P x 2 + x 2, then 3.2 yields P x 2 + x 2 > P x + y d P x 2 + dy 2. Hence, P x 2 + dy 2 P x 2 + dy 2 x 2 + x 2 P x 2 + dy 2. Now, P x 2 +x 2 P x 2 +x 2 mod 2 is a conseuence of the obseation that x 3.3 x 2 dy x 2 mz 2. Then suose that P x > 0. In this case, the only ossibility is that d, y and y. Then x x 2 dy x 2 mz 2 imlies x 2 P x + y d P x 2 + x 2 1 mod 2. x 2
5 Imaginay uadatic fields 157 Theoem 3.6. Let F Q d d a ositie suae-fee intege, and let m be an intege with m d if d 1 mod 8, and with m d and m 3 mod 4 if d 1 mod 8. Moeoe, if m 1, then fo any ime facto of m, 3 mod 4. Then thee is an α K 2 O F with α 2 { 1, m} if and only if thee is an ε {1, 2} such that d/m ε fo any ime m; m ε fo any ime d, m. P o o f. We know that thee ae x, y, x, y, z Z with x, y, x, y 1 such that mz 2 x + y d 2 + x + y d 2. Wite { x + y d β x + y d, mz 2 } x + y. d 2 Then β 2 { 1, m} and it is not had to check that 1 P z P x+y d τ P β if P Z m and P x + y d P x + y d, 1 othewise. In iew of Lemma 3.5 and elacing β by β{ 1, δ} fo a suitable δ Z if necessay allows us to assume that τ P β 1 if and only if 2k+1 x 2 +x 2, whee P Z and k is a non-negatie intege. Hence, by Lemma 3.1 we conclude that thee is a β K 2 O F with β 2 { 1, m} if and only if thee is an ε {1, 2} such that the Diohantine euation 3.4 εx 2 + x 2 Z 2 X 2 + dy 2 is solable in Z. Obiously, we can assume that x 2 + x 2 is suae-fee. Let us assume that c is the geatest common diiso of εx 2 + x 2 and d. Then 3.4 can be witten as εx 2 + x 2 Z 2 cx 2 + d c c Y 2. By Lemma 2.1, it is solable in Z if and only if c d/c fo any ime x 2 + x 2 3.5, c εx 2 + x 2 d/c 3.6 fo any ime c,
6 158 H. Qin and 3.7 c εx 2 + x 2 /c Note that the identity 3.3 can be witten as fo any ime d c. 3.8 mcx 2 d mc y2 x2 + x 2 z 2, c so that mc d/mc fo any ime x 2 + x 2. c This is euialent to 3.5, because x2 +x 2 c imlies that 1 mod 4. In othe wods, 3.5 is tiial. If c, then d/mc x 2 + x 2 /c. So 3.6 is euialent to d/mc εd/c, i.e., m So does the case d, c and m. If m, then d/mc x 2 + x 2 /c. In this case, 3.7 is euialent to d/mc εc, i.e., This concludes the oof. d/m ε. ε. Coollay 3.7. Let the assumtions and the notations be as in Theoem 3.6, and assume that n is a ositie intege satisfying n d and fo any ime facto of n, 1 mod 4. Then thee is a β K 2 O F such that β 2 { 1, mn} if and only if i fo any ime mn, d/mn ε, ii fo any ime d, mn, mn ε, whee ε 1 o 2. P o o f. Conside εx 2 + x 2 nz 2 X 2 + dy 2 in lace of 3.4. Coollay 3.8. Let F Q d be an imaginay uadatic field. Then { 1, 1} α 2 with α K 2 O F if eithe d 1 o d 2 o fo any odd ime d, 1 mod 4 o fo any odd ime d, 1 o 3 mod 8. Othewise, { 1, 1} α 2 fo any α K 2 O F, in aticula, { 1, 1} 1. Lemma 3.9. Let m 3 mod 4 and d 1 mod 8. Then fo ε 1 o 2, the Diohantine euation εmz 2 X 2 dy 2 has no solutions in Z.
7 P o o f. Conside the conguence Imaginay uadatic fields 159 εmz 2 X 2 dy 2 mod 8, i.e., εmz 2 X 2 + Y 2 mod 8. Note that fo any a Z, a 2 0 o 4 o 1 mod 8. Then the esult follows. As a conseuence of Lemma 2.1, Coollay 3.7 and Lemma 3.9, we hae: Theoem Let F Q d d a ositie suae-fee intege, and m d an intege. Then thee is an α K 2 O F with α 2 { 1, m} if and only if thee is an ε {1, 2} such that the Diohantine euation εmz 2 X 2 dy 2 is solable in Z. Next, we conside the case when 2 NF. Just as befoe, we always discuss imaginay uadatic fields. Let F Q d d a ositie suae-fee intege. Then 2 NF if and only if d u 2 2w 2 with u, w Z see [2]. When d is not a ime, the symbol d denotes the Jacobi symbol. Note that u+w d simlicity of notation, denote by ψ the Jacobi symbol u+w d u w d. Fo. Lemma Let d be a ositie suae-fee intege with d u 2 2w 2, whee u, w Z. Then thee is a ime 1 mod 4 with d, u + w and uw such that the Diohantine euation 3.9 X 2 dy 2 u + wz 2 is solable in Z if d 1 mod 8, and 3.10 X 2 dy 2 ψu + wz 2 is solable in Z if d 1 mod 8. P o o f. Clealy, d u+w 1. Hence, if d 7 mod 8, then by the oeties of the Jacobi symbol see [6], we hae u+w d 1. Fo any ime l d, we choose a ime 1 mod 4 with u + w and uw such that l u+w l. Put d 2d if 2 d. Fo any ime l d, we choose a ime with u + w, uw such that l u+w l and 1 mod 8 if d 1 o 5 mod 8 if d 1. In both cases, d 1. If d 1 mod 8, we choose a ime 1 mod 4 such that u + w, uw and fo any ime l d, l ψu+w l. We also hae d 1. Then by Lemma 2.1, the esult follows. R e m a k. In the oof of the aboe theoem, we used the emakable fact that any aithmetic ogession contains infinitely many imes. By choice of X, Y, Z, a solution of euation 3.9 o 3.10, we can find g, h Z such that h Y, u + wg + wh X and g, h 1. Put 3.11 α g 2 + h 2, θ g 2 h 2 + 2ghw.
8 160 H. Qin Clealy, if d 1 mod 8 and u+w d 1, then u+w d 1. Without loss of geneality, we can assume that ψ 1. Then αu+θu+w u+wg+wh 2 +u 2 2w 2 h 2 X 2 dy 2 u+wz 2, hence, 3.12 αu + θ Z 2. Theefoe, u + θ α 2ααu + θ α 2 ξ 2 + η 2, whee ξ, η Q with αξ, αη Z. It follows fom uw and g, h 1 that, α, θ 1. Moeoe, we can assume that αξ, αη, 1. Let x αξz 2 + αηλ, y α 2 ξ, a αηz 2 αξλ, b α 2 η, whee λ g 2 h 2 2ghw. Note that λ 2 + θ 2 2α 2 w 2. Then 3.16 x + y d 2 + a + b d 2 u + d2αz 2 2. and On the othe hand, α 2 ξ 2 + η 2 0 mod Z 2, hence, x 2 + dy 2 αηλ 2 + dα 4 η 2 αηλ 2 + u 2 2w 2 α 4 η 2 αη 2 λ 2 + α 2 u 2 2α 2 w 2 αη 2 θ 2 + α 2 u 2 0 mod Z 2 x 2 + dy 2 αξz 2 2 u 2 α 2 ξ 2 α 2 ξ 2 Z 2 2 α 2 u 2 0 mod w. Similaly, a 2 + db 2 0 mod Z 2 and a 2 + db 2 0 mod w. Lemma With the notations as aboe, set E x + y d, F a + b d and { E β F, E2 + F 2 } F 2. Then β 2 { 1, u + d} K 2 O F and thee is a β K 2 O F with β 2 { 1, u + d} if and only if the Diohantine euation 3.17 u + wn 2 S 2 dt 2 is solable in Z. P o o f. We only need to conside non-dyadic laces of F. It is easy to see that fo any lace P, if P E P F, then τ P β 1 and if P E P F,
9 then 3.18 τ P β 1 P αz 2 w/f. Imaginay uadatic fields 161 Obiously, if P E P F, then P Z dz 2 w. We deduce fom α y, α b and, α 1 that fo any lace P, if P Z α, then τ P β τ Pβ, whee P P is the conjugation of P. Thus, multilying β by { 1, c} fo a suitable c Z if necessay allows us to assume that τ P β 1 fo any P Z α. On the othe hand, if P Z w, P E P F, then P F P w, since x 2 + dy 2 a 2 + db 2 0 mod w. Hence τ P β 1 fo any P Z w. Finally, since d 1, PP. It follows fom x 2 + dy 2 a 2 + db 2 0 mod Z 2,, α 1 and 3.16 that if P E + P F 0 then eithe P E o P F 1 mod 2. Hence, τ P β 1 and τ Pβ 1. If P E P F 0, then τ P β 1 and τ Pβ 1. By Lemma 3.1, we see that thee is a β K 2 O F with β 2 { 1, u + d} if and only if the Diohantine euation 3.19 εn 2 S 2 + dt 2 is solable in Z fo ε 1 o 2. This is euialent to saying that the Diohantine euation 3.17 is solable in Z. This oes ou theoem. The following theoem is a conseuence of the aboe lemma and Theoem 3.6. Theoem Let F Q d d a ositie suae-fee intege with d u 2 2w 2 fo u, w Z, and let m d. Then thee is a β K 2 O F with β 2 { 1, mu + d} if and only if the Diohantine euation 3.20 mu + wn 2 S 2 dt 2 is solable in Z. P o o f. Fist, we obsee that if d 1 mod 8 and u+w d 1 togethe with m 1 mod 4, then 3.20 has no solutions in Z. In fact, conside mu + wn 2 S 2 dt 2 mod 4, i.e., 3N 2 S 2 + T 2 mod 4; then the esult follows. Next, if d 1 mod 8 and u+w d 1 togethe with m 1 mod 4, then thee is no β K 2 F with β 2 { 1, mu + d}. Then, by Lemma 3.12 and Theoem 3.6, the assetion follows ank K 2 O F. Fo any numbe fields F a 4-ank K 2 O F fomula is oed in [7] comae also [5]. Fo uadatic field, we efe to [1], [11]. Hee, we aly Theoems 3.10 and 3.13 to detemine the 4-ank K 2 O F fo any imaginay uadatic field F. Let F Q d d a ositie suae-fee intege. Put d 1 2d o d accoding as 2 d o not. Wite K {m m d, m 1, d, 2 m} and V {u + dm d u 2 2w 2 with u, w Z,
10 162 H. Qin w > 0, m K {1, d }} and ut K {k K εkz 2 X 2 dy 2 is solable in Z fo ε 1 o 2}, V 0 {mu + d mu + d V, V {mu + w mu + d V 0 }. mu + wz 2 X 2 dy 2 is solable in Z}, Theoem 4.1. With the aboe notations, let F Q d be an imaginay uadatic field. Then 4 4 ank K 2 O F log 2 4, whee +2 #K V. P o o f. Fo any ositie intege n, let n K 2 O F denote the subgou geneated by all elements of ode n. By [2], 2 K 2 O F can be geneated by the following elements: { 1, k} k K, { 1, mu + d} mu + d V if d u 2 2w 2 with u, w Z. Since [ : F 2 ] 4, thee ae the only two elements δ, d /δ K o δ, d /δu + d 2 V 0 satisfying δ, d/δ. Suose that a 1,..., a 4 geneate 4 K 2 O F. Then a 2 i { 1, b i} 2 K 2 O F 1 i 4. Set b 0 δ. Then by Theoems 3.10 and 3.13, #{b i1... b ik, d/b i1... b ik i 1,..., i k {0, 1,..., 4 }} #K V 0 #K V. It is easy to eify that #K V So 4 log as desied. Coollay if and only if #K V 2. Coollay if and only if K K and #V #V. 5. The stuctue of K 2 O F 2. In this section, we aly Theoems 3.10, 3.13 and 4.1 to detemine the stuctue of K 2 O F 2 fo imaginay uadatic fields F. Theoem 5.1. Let F Q d be an imaginay uadatic field with d eithe o 2 o o 2, whee,, ae distinct odd imes. If 2 NF, ut u + w, whee u, w Z ae such that d u 2 2w 2. Let δ be an element such that F 2 2F 2 δf 2 2δF 2. Then we hae the tables gien below. If F is a field as in Table III, then 2 2, 4 0, othewise excet fo the case d 2 with,, 7, 5, 3 mod 8 2 2, 4 1. N o t e s. 1. Only when 2 d and d/2 1 mod 8, the altenatie can occu in Table II.
11 Imaginay uadatic fields 163 Table I F, mod δ Q 5, Q 2 3, Q 3, 5 [2] 1 0 5, Q 2 3, , Table II F, mod 8 The Legende symbols 4 δ , 1 1 o δ 1 1, Q 1 0 δ 1 Q 2 1, Q 1, , 7 1 3, 3 1 5, If mod 8 o mod 8 o mod 8, then the condition on the Legende symbols, say, should be undestood as: if thee is a choice of,, with the Legende symbols satisfying. Fo examle, in the case 7, 7, 5 in Table III, the condition on the Legende symbol is
12 164 H. Qin Table III F,, mod 8 The Legende symbols δ Q Q 2 7, 7, 5 7, 7, 3 7, 5, 1 1 if 1; if 1 1 if 1; if 1 1 if 1; if 1 1 if 1 1 if 1; if 1 7, 3, 1 1 if 1 3, 3, 3 1 Q 7, 5, 5 7, 3, 3 5, 5, 3 5, 3, 3 1 if 1; if 1 1 if 1; if 1 1 if 1; if 1 1 if 1; if 1 1 if 1; if 1 5, 3, 1 1 if 1 7, 5, 5 1 if 1; if 1 7, 5, 3 7, 3, 3 1 if 1; if 1 5, 5, 3 Q 2 5, 5, 1 5, 3, 3 1 if 1; if if 1; if 1 1 if 1; if 1 5, 3, 1 1 if 1 3, 3, In actice, we identify 1 with 1. Hence, if 1 then we also hae 2 0. P o o f o f T h e o e m 5.1. We will eeatedly use the notations K, K, V and V which ae defined in Section 4. It is not had to eify the coectness of the statement 4 0 when δ
13 Imaginay uadatic fields 165 Table IV F,, mod 8 The Legende symbols 4 δ 7, 5, , 5, othewise 1 Q 1 2 5, 5, 1 othewise , 3, 1 othewise Q 2 5, 5, othewise , 1, Q othewise 1 Q , 1, othewise 1 has been listed. In fact, one can easily check that K {δ, d/δ} o K {δ, d/2δ} and V. Then the esult follows fom Theoem 4.1. On the othe hand, 4 2 if and only if K K and V V. Hence, it is also easy to eify the coectness of the statement 4 2. Now, fo Tables I, II we only need to conside the following cases: 1,1; 1,7; 7,7. T h e c a s e 1, 1. Clealy, 2 2 and 1 K. Suose 1. Then Z 2 X 2 dy 2 has no solutions in Z, hence ± K, so 4 1. If 1, then V, hence 4 1, theefoe 4 1. If 1, then V, hence 4 1. If, then V, hence 4 0. Suose 1. Then ± K, hence 4 1. If 1, o 1,
14 166 H. Qin Table V F,, mod 8 The Legende symbols , 7, othewise 0, othewise 1 7, 7, othewise 1 0 Q Q 2 othewise , 1, 1 1, , 1 1 othewise othewise 2 1, 1, 1, 1 2 1, 1 othewise othewise 1 0 then V, hence 4 1, so 4 1. If 1, then K K and V V, hence 4 2. T h e c a s e 1, 7. We hae 2 2 and 1 K, hence 4 1. Suose 1. Then ± K, hence 4 0. Suose 1. If 1, then K {, }, V, hence 4 0. If 1, then K, hence 4 1, so 4 1. T h e c a s e 7, 7. We hae 2 2 and 1 K, hence 4 1. Suose 1. Then K. If 1, then V ; if 1, then V, hence 4 1, so 4 1; if, then V, hence 4 0. The oof of Table III is diect.
15 Imaginay uadatic fields 167 Fo Table IV, we only need to conside the thee cases: 7, 5, 3, 5, 5, 1 and 3, 3, 1 d. Fo the case 7, 5, 3, we hae 1 K, hence 4 1. But it is easy to see that, K, V V, hence 4 1, so 4 1. Fo the case 5, 5, 1 o 3, 3, 1, we hae 1 K, V V. If 1, then K K, hence 4 2. Othewise, we hae 1 o 1. If 1, 1, then ± K, ± K; if 1, then ± K, hence, we hae 4 1. Finally, we conside Table V. Clealy, in any case, 2 3. Without loss of geneality, when 2 d, o 7 mod 8, we can assume 1. On the othe hand, when d 2 with 1 mod 8, if 1, then it is easy to see that V. Hence, we always assume 1. T h e c a s e 7, 7, 7. We hae 1,,, K, hence 4 1. Suose, then ±, ±, ± K, hence 4 0. Since 1, thee ae the following ossibilities: 1, 1, 1. Suose 1. Then K. If 1, then V, and if 1, 1, then V, hence 4 1, so 4 1. If 1, 1, o 1, 1, then V, hence 4 0. Similaly, suose 1. Then K. If 1, then V, and if 1, 1, then V, hence 4 1. Othewise, 4 0. Suose 1. Then K. If 1, then V, and if 1, 1, then V, hence 4 1. Othewise 4 0. T h e c a s e 7, 7, 1. We hae 1 K. Suose 1. Then ± K. If 1, then K and ±, K, and if 1, then K and ±, K. Hence 4 1. If 1, then V ; if 1, and 1, then V ; if 1 and 1, then V ; if 1 and 1, then V. Hence 4 1. So 4 1. This discussion also woks fo 1. Suose 1. Then, K. If 1, then eithe 1 and 1, o 1 and 1. In both cases, ±, ±, ± V. If 1, then eithe 1 o 1, theefoe eithe V o V, hence 4 2, so 4 2.
16 168 H. Qin T h e c a s e 7, 1, 1. We hae 1 K, hence 4 2. Suose 1. Then,, K. If 1, then V, hence 4 2, so 4 2. Othewise, ± V, hence ±, ±, ± V, since,, K. Hence 4 1. Suose 1 o 1 o 1. Then ±, ±, ± K, hence 4 0. Suose 1 and 1. Then K. If 1, then V ; if 1 and 1, then V, hence 4 1. Othewise, V, hence 4 0. Suose 1 and 1. Then K. If 1, then V, and if 1 and 1, then V, hence 4 1. Othewise, V, hence 4 0. T h e c a s e 1, 1, 1. We hae 1 K. Suose 1. Then K K, hence 4 2. If 1, then V V, hence 4 3. Othewise, K, hence 4 2. Suose 1, 1. Then ±, ±, ± K, hence 4 1. If 1, then V ; if 1 and 1, then V ; if 1 and 1, then V ; if 1 and 1, then V. In any case, 4 1, so Then 4 1. If 1, Suose then V ; if 1 and 1, then V ; if 1 and 1, then V ; if 1 and 1, then V. In any case, 4 1, so 4 1. Suose 1 and 1. Then ± K, ±, ± K. If 1, then V ; if 1 and 1, then V. In both cases, 4 2. Othewise V, hence 4 1. This concludes the oof of the theoem. R e m a k s. 1. Ou method can be alied to any imaginay uadatic field. 2. Simila esult fo eal uadatic fields hae been obtained by the autho see [12]. Acknowledgements. I would like to thank the efeee fo the aluable comments and sending me the ae [4] fom which I know that most esults of Tables I and II hae been obtained by P. E. Conne and J. Huelbink by a diffeent method. I would also like to thank Pof. J. Bowkin fo the helful suggestions which hae been incooated heein. Finally, I would like to thank Pof. Tong Wenting fo his hel.
17 Imaginay uadatic fields 169 Refeences [1] B. B a u c k m a n n, The 2-Sylow subgou of the tame kenel of numbe fields, Canad. J. Math , [2] J. Bowkin and A. Schinzel, On Sylow 2-subgous of K 2 O F fo uadatic fields F, J. Reine Angew. Math , [3] J. W. S. Cassels, Rational Quadatic Foms, Academic Pess, London, [4] P. E. Conne and J. Huelbink, Examles of uadatic numbe fields with K 2 O containing no elements of ode fou, eint. [5],, The 4-ank of K 2 O, Canad. J. Math , [6] K. Ieland and M. Rosen, A Classical Intoduction to Moden Numbe Theoy, Singe, New Yok, [7] M. Kolste, The stuctue of the 2-Sylow subgou of K 2 O, I, Comment. Math. Hel , [8] J. Milno, Intoduction to Algebaic K-theoy, Ann. of Math. Stud. 72, Pinceton Uniesity Pess, [9] J. Neukich, Class Field Theoy, Singe, Belin, [10] O. T. O Meaa, Intoduction to Quadatic Foms, Singe, Belin, [11] H. Qin, K 2 and algebaic numbe theoy, Ph.D. Thesis, Nanjing Uniesity, [12], The 2-Sylow subgous of K 2 O F fo eal uadatic fields F, Science in China Se. A , [13] J. Tate, Relations between K 2 and Galois cohomology, Inent. Math , DEPARTMENT OF MATHEMATICS NANJING UNIVERSITY NANJING, , P.R. CHINA Receied on and in eised fom on
Kirby-Melvin s τ r and Ohtsuki s τ for Lens Spaces
Kiby-Melvin s τ and Ohtsuki s τ fo Lens Saces Bang-He Li & Tian-Jun Li axiv:math/9807155v1 [mathqa] 27 Jul 1998 Abstact Exlicit fomulae fo τ (L(,q)) and τ(l(,q)) ae obtained fo all L(,q) Thee ae thee systems
More informationCONGRUENCES INVOLVING ( )
Jounal of Numbe Theoy 101, 157-1595 CONGRUENCES INVOLVING ZHI-Hong Sun School of Mathematical Sciences, Huaiyin Nomal Univesity, Huaian, Jiangsu 001, PR China Email: zhihongsun@yahoocom Homeage: htt://wwwhytceducn/xsjl/szh
More informationCMSC 425: Lecture 5 More on Geometry and Geometric Programming
CMSC 425: Lectue 5 Moe on Geomety and Geometic Pogamming Moe Geometic Pogamming: In this lectue we continue the discussion of basic geometic ogamming fom the eious lectue. We will discuss coodinate systems
More informationBEST CONSTANTS FOR UNCENTERED MAXIMAL FUNCTIONS. Loukas Grafakos and Stephen Montgomery-Smith University of Missouri, Columbia
BEST CONSTANTS FOR UNCENTERED MAXIMAL FUNCTIONS Loukas Gafakos and Stehen Montgomey-Smith Univesity of Missoui, Columbia Abstact. We ecisely evaluate the oeato nom of the uncenteed Hady-Littlewood maximal
More informationof the contestants play as Falco, and 1 6
JHMT 05 Algeba Test Solutions 4 Febuay 05. In a Supe Smash Bothes tounament, of the contestants play as Fox, 3 of the contestants play as Falco, and 6 of the contestants play as Peach. Given that thee
More informationChapter 3: Theory of Modular Arithmetic 38
Chapte 3: Theoy of Modula Aithmetic 38 Section D Chinese Remainde Theoem By the end of this section you will be able to pove the Chinese Remainde Theoem apply this theoem to solve simultaneous linea conguences
More informationDivisibility. c = bf = (ae)f = a(ef) EXAMPLE: Since 7 56 and , the Theorem above tells us that
Divisibility DEFINITION: If a and b ae integes with a 0, we say that a divides b if thee is an intege c such that b = ac. If a divides b, we also say that a is a diviso o facto of b. NOTATION: d n means
More information9.1 The multiplicative group of a finite field. Theorem 9.1. The multiplicative group F of a finite field is cyclic.
Chapte 9 Pimitive Roots 9.1 The multiplicative goup of a finite fld Theoem 9.1. The multiplicative goup F of a finite fld is cyclic. Remak: In paticula, if p is a pime then (Z/p) is cyclic. In fact, this
More informationProblem Set #10 Math 471 Real Analysis Assignment: Chapter 8 #2, 3, 6, 8
Poblem Set #0 Math 47 Real Analysis Assignment: Chate 8 #2, 3, 6, 8 Clayton J. Lungstum Decembe, 202 xecise 8.2 Pove the convese of Hölde s inequality fo = and =. Show also that fo eal-valued f / L ),
More informationJournal of Inequalities in Pure and Applied Mathematics
Jounal of Inequalities in Pue and Applied Mathematics COEFFICIENT INEQUALITY FOR A FUNCTION WHOSE DERIVATIVE HAS A POSITIVE REAL PART S. ABRAMOVICH, M. KLARIČIĆ BAKULA AND S. BANIĆ Depatment of Mathematics
More informationNew problems in universal algebraic geometry illustrated by boolean equations
New poblems in univesal algebaic geomety illustated by boolean equations axiv:1611.00152v2 [math.ra] 25 Nov 2016 Atem N. Shevlyakov Novembe 28, 2016 Abstact We discuss new poblems in univesal algebaic
More informationOn the integration of the equations of hydrodynamics
Uebe die Integation de hydodynamischen Gleichungen J f eine u angew Math 56 (859) -0 On the integation of the equations of hydodynamics (By A Clebsch at Calsuhe) Tanslated by D H Delphenich In a pevious
More informationTHE PARITY OF THE PERIOD OF THE CONTINUED FRACTION OF d
THE PARITY OF THE PERIOD OF THE CONTINUED FRACTION OF d ÉTIENNE FOUVRY AND JÜRGEN KLÜNERS Abstact. We ove that asymtotically in the set of squaefee integes d not divisible by imes conguent to 3 mod the
More informationAn Estimate of Incomplete Mixed Character Sums 1 2. Mei-Chu Chang 3. Dedicated to Endre Szemerédi for his 70th birthday.
An Estimate of Incomlete Mixed Chaacte Sums 2 Mei-Chu Chang 3 Dedicated to Ende Szemeédi fo his 70th bithday. 4 In this note we conside incomlete mixed chaacte sums ove a finite field F n of the fom x
More information556: MATHEMATICAL STATISTICS I
556: MATHEMATICAL STATISTICS I CHAPTER 5: STOCHASTIC CONVERGENCE The following efinitions ae state in tems of scala anom vaiables, but exten natually to vecto anom vaiables efine on the same obability
More informationarxiv: v1 [math.nt] 12 May 2017
SEQUENCES OF CONSECUTIVE HAPPY NUMBERS IN NEGATIVE BASES HELEN G. GRUNDMAN AND PAMELA E. HARRIS axiv:1705.04648v1 [math.nt] 12 May 2017 ABSTRACT. Fo b 2 and e 2, let S e,b : Z Z 0 be the function taking
More informationIntroduction Common Divisors. Discrete Mathematics Andrei Bulatov
Intoduction Common Divisos Discete Mathematics Andei Bulatov Discete Mathematics Common Divisos 3- Pevious Lectue Integes Division, popeties of divisibility The division algoithm Repesentation of numbes
More informationAuchmuty High School Mathematics Department Advanced Higher Notes Teacher Version
The Binomial Theoem Factoials Auchmuty High School Mathematics Depatment The calculations,, 6 etc. often appea in mathematics. They ae called factoials and have been given the notation n!. e.g. 6! 6!!!!!
More informationPascal s Triangle (mod 8)
Euop. J. Combinatoics (998) 9, 45 62 Pascal s Tiangle (mod 8) JAMES G. HUARD, BLAIR K. SPEARMAN AND KENNETH S. WILLIAMS Lucas theoem gives a conguence fo a binomial coefficient modulo a pime. Davis and
More informationLecture 16 Root Systems and Root Lattices
1.745 Intoduction to Lie Algebas Novembe 1, 010 Lectue 16 Root Systems and Root Lattices Pof. Victo Kac Scibe: Michael Cossley Recall that a oot system is a pai (V, ), whee V is a finite dimensional Euclidean
More informationk. s k=1 Part of the significance of the Riemann zeta-function stems from Theorem 9.2. If s > 1 then 1 p s
9 Pimes in aithmetic ogession Definition 9 The Riemann zeta-function ζs) is the function which assigns to a eal numbe s > the convegent seies k s k Pat of the significance of the Riemann zeta-function
More informationWhen two numbers are written as the product of their prime factors, they are in factored form.
10 1 Study Guide Pages 420 425 Factos Because 3 4 12, we say that 3 and 4 ae factos of 12. In othe wods, factos ae the numbes you multiply to get a poduct. Since 2 6 12, 2 and 6 ae also factos of 12. The
More informationPledge: Signature:
S 202, Sing 2005 Midtem 1: 24 eb 2005 Page 1/8 Name: KEY E-mail D: @viginia.edu Pledge: Signatue: Thee ae 75 minutes fo this exam and 100 oints on the test; don t send too long on any one uestion! The
More informationSeveral new identities involving Euler and Bernoulli polynomials
Bull. Math. Soc. Sci. Math. Roumanie Tome 9107 No. 1, 016, 101 108 Seveal new identitie involving Eule and Benoulli polynomial by Wang Xiaoying and Zhang Wenpeng Abtact The main pupoe of thi pape i uing
More informationSolution to HW 3, Ma 1a Fall 2016
Solution to HW 3, Ma a Fall 206 Section 2. Execise 2: Let C be a subset of the eal numbes consisting of those eal numbes x having the popety that evey digit in the decimal expansion of x is, 3, 5, o 7.
More informationOnline-routing on the butterfly network: probabilistic analysis
Online-outing on the buttefly netwok: obabilistic analysis Andey Gubichev 19.09.008 Contents 1 Intoduction: definitions 1 Aveage case behavio of the geedy algoithm 3.1 Bounds on congestion................................
More informationOn the Quasi-inverse of a Non-square Matrix: An Infinite Solution
Applied Mathematical Sciences, Vol 11, 2017, no 27, 1337-1351 HIKARI Ltd, wwwm-hikaicom https://doiog/1012988/ams20177273 On the Quasi-invese of a Non-squae Matix: An Infinite Solution Ruben D Codeo J
More informationON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION. 1. Introduction. 1 r r. r k for every set E A, E \ {0},
ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION E. J. IONASCU and A. A. STANCU Abstact. We ae inteested in constucting concete independent events in puely atomic pobability
More information(n 1)n(n + 1)(n + 2) + 1 = (n 1)(n + 2)n(n + 1) + 1 = ( (n 2 + n 1) 1 )( (n 2 + n 1) + 1 ) + 1 = (n 2 + n 1) 2.
Paabola Volume 5, Issue (017) Solutions 151 1540 Q151 Take any fou consecutive whole numbes, multiply them togethe and add 1. Make a conjectue and pove it! The esulting numbe can, fo instance, be expessed
More informationGoodness-of-fit for composite hypotheses.
Section 11 Goodness-of-fit fo composite hypotheses. Example. Let us conside a Matlab example. Let us geneate 50 obsevations fom N(1, 2): X=nomnd(1,2,50,1); Then, unning a chi-squaed goodness-of-fit test
More informationBounds for Codimensions of Fitting Ideals
Ž. JOUNAL OF ALGEBA 194, 378 382 1997 ATICLE NO. JA966999 Bounds fo Coensions of Fitting Ideals Michał Kwiecinski* Uniwesytet Jagiellonski, Instytut Matematyki, ul. eymonta 4, 30-059, Kakow, Poland Communicated
More informationONE-POINT CODES USING PLACES OF HIGHER DEGREE
ONE-POINT CODES USING PLACES OF HIGHER DEGREE GRETCHEN L. MATTHEWS AND TODD W. MICHEL DEPARTMENT OF MATHEMATICAL SCIENCES CLEMSON UNIVERSITY CLEMSON, SC 29634-0975 U.S.A. E-MAIL: GMATTHE@CLEMSON.EDU, TMICHEL@CLEMSON.EDU
More informationBanach Journal of Mathematical Analysis ISSN: (electronic)
Banach J. Math. Anal. 4 200), no., 87 9 Banach Jounal of Mathematical Analysis ISSN: 75-8787 electonic) www.emis.de/jounals/bjma/ ON A REVERSE OF ANDO HIAI INEQUALITY YUKI SEO This pape is dedicated to
More informationA proof of the binomial theorem
A poof of the binomial theoem If n is a natual numbe, let n! denote the poduct of the numbes,2,3,,n. So! =, 2! = 2 = 2, 3! = 2 3 = 6, 4! = 2 3 4 = 24 and so on. We also let 0! =. If n is a non-negative
More informationf h = u, h g = v, we have u + v = f g. So, we wish
Answes to Homewok 4, Math 4111 (1) Pove that the following examples fom class ae indeed metic spaces. You only need to veify the tiangle inequality. (a) Let C be the set of continuous functions fom [0,
More informationA Power Method for Computing Square Roots of Complex Matrices
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 13, 39345 1997 ARTICLE NO. AY975517 A Powe Method fo Computing Squae Roots of Complex Matices Mohammed A. Hasan Depatment of Electical Engineeing, Coloado
More informationON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS. D.A. Mojdeh and B. Samadi
Opuscula Math. 37, no. 3 (017), 447 456 http://dx.doi.og/10.7494/opmath.017.37.3.447 Opuscula Mathematica ON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS D.A. Mojdeh and B. Samadi Communicated
More informationSolutions to Problem Set 8
Massachusetts Institute of Technology 6.042J/18.062J, Fall 05: Mathematics fo Compute Science Novembe 21 Pof. Albet R. Meye and Pof. Ronitt Rubinfeld evised Novembe 27, 2005, 858 minutes Solutions to Poblem
More informationMean Curvature and Shape Operator of Slant Immersions in a Sasakian Space Form
Mean Cuvatue and Shape Opeato of Slant Immesions in a Sasakian Space Fom Muck Main Tipathi, Jean-Sic Kim and Son-Be Kim Abstact Fo submanifolds, in a Sasakian space fom, which ae tangential to the stuctue
More informationDorin Andrica Faculty of Mathematics and Computer Science, Babeş-Bolyai University, Cluj-Napoca, Romania
#A INTEGERS 5A (05) THE SIGNUM EQUATION FOR ERDŐS-SURÁNYI SEQUENCES Doin Andica Faculty of Mathematics and Comute Science, Babeş-Bolyai Univesity, Cluj-Naoca, Romania dandica@math.ubbcluj.o Eugen J. Ionascu
More informationAdam Kubica A REGULARITY CRITERION FOR POSITIVE PART OF RADIAL COMPONENT IN THE CASE OF AXIALLY SYMMETRIC NAVIER-STOKES EQUATIONS
DEMONSTRATIO MATHEMATICA Vol. XLVIII No 1 015 Adam Kuica A REGULARITY CRITERION FOR POSITIVE PART OF RADIAL COMPONENT IN THE CASE OF AXIALLY SYMMETRIC NAVIER-STOKES EQUATIONS Communicated y K. Chełmiński
More informationAnalysis of Finite Word-Length Effects
T-6.46 Digital Signal Pocessing and Filteing 8.9.4 Intoduction Analysis of Finite Wod-Length Effects Finite wodlength effects ae caused by: Quantization of the filte coefficients ounding / tuncation of
More informationProbabilistic number theory : A report on work done. What is the probability that a randomly chosen integer has no square factors?
Pobabilistic numbe theoy : A eot on wo done What is the obability that a andomly chosen intege has no squae factos? We can constuct an initial fomula to give us this value as follows: If a numbe is to
More informationMethod for Approximating Irrational Numbers
Method fo Appoximating Iational Numbes Eic Reichwein Depatment of Physics Univesity of Califonia, Santa Cuz June 6, 0 Abstact I will put foth an algoithm fo poducing inceasingly accuate ational appoximations
More informationDo Managers Do Good With Other People s Money? Online Appendix
Do Manages Do Good With Othe People s Money? Online Appendix Ing-Haw Cheng Haison Hong Kelly Shue Abstact This is the Online Appendix fo Cheng, Hong and Shue 2013) containing details of the model. Datmouth
More informationAppendix B The Relativistic Transformation of Forces
Appendix B The Relativistic Tansfomation of oces B. The ou-foce We intoduced the idea of foces in Chapte 3 whee we saw that the change in the fou-momentum pe unit time is given by the expession d d w x
More informationESTIMATION MODELS USING MATHEMATICAL CONCEPTS AND NEWTON S LAWS FOR CONIC SECTION TRAJECTORIES ON EARTH S SURFACE
Fundamental Jounal of Mathematical Physics Vol. 3 Issue 1 13 Pages 33-44 Published online at http://www.fdint.com/ ESTIMATION MODELS USING MATHEMATICAL CONCEPTS AND NEWTON S LAWS FOR CONIC SECTION TRAJECTORIES
More informationKOEBE DOMAINS FOR THE CLASSES OF FUNCTIONS WITH RANGES INCLUDED IN GIVEN SETS
Jounal of Applied Analysis Vol. 14, No. 1 2008), pp. 43 52 KOEBE DOMAINS FOR THE CLASSES OF FUNCTIONS WITH RANGES INCLUDED IN GIVEN SETS L. KOCZAN and P. ZAPRAWA Received Mach 12, 2007 and, in evised fom,
More informationAnalysis of Arithmetic. Analysis of Arithmetic. Analysis of Arithmetic Round-Off Errors. Analysis of Arithmetic. Analysis of Arithmetic
In the fixed-oint imlementation of a digital filte only the esult of the multilication oeation is quantied The eesentation of a actical multilie with the quantie at its outut is shown below u v Q ^v The
More informationErrors in Nobel Prize for Physics (3) Conservation of Energy Leads to Probability Conservation of Parity, Momentum and so on
Eos in Nobel ize fo hysics (3) Conseation of Enegy Leads to obability Conseation of aity, Momentum and so on Fu Yuhua (CNOOC Reseach Institute, E-mail:fuyh945@sina.com) Abstact: One of the easons fo 957
More information2. Electrostatics. Dr. Rakhesh Singh Kshetrimayum 8/11/ Electromagnetic Field Theory by R. S. Kshetrimayum
2. Electostatics D. Rakhesh Singh Kshetimayum 1 2.1 Intoduction In this chapte, we will study how to find the electostatic fields fo vaious cases? fo symmetic known chage distibution fo un-symmetic known
More informationarxiv: v1 [math.co] 1 Apr 2011
Weight enumeation of codes fom finite spaces Relinde Juius Octobe 23, 2018 axiv:1104.0172v1 [math.co] 1 Ap 2011 Abstact We study the genealized and extended weight enumeato of the - ay Simplex code and
More informationLot-sizing for inventory systems with product recovery
Lot-sizing fo inventoy systems with oduct ecovey Ruud Teunte August 29, 2003 Econometic Institute Reot EI2003-28 Abstact We study inventoy systems with oduct ecovey. Recoveed items ae as-good-as-new and
More informationPHYS 110B - HW #7 Spring 2004, Solutions by David Pace Any referenced equations are from Griffiths Problem statements are paraphrased
PHYS 0B - HW #7 Sping 2004, Solutions by David Pace Any efeenced euations ae fom Giffiths Poblem statements ae paaphased. Poblem 0.3 fom Giffiths A point chage,, moves in a loop of adius a. At time t 0
More informationA Bijective Approach to the Permutational Power of a Priority Queue
A Bijective Appoach to the Pemutational Powe of a Pioity Queue Ia M. Gessel Kuang-Yeh Wang Depatment of Mathematics Bandeis Univesity Waltham, MA 02254-9110 Abstact A pioity queue tansfoms an input pemutation
More informationrt () is constant. We know how to find the length of the radius vector by r( t) r( t) r( t)
Cicula Motion Fom ancient times cicula tajectoies hae occupied a special place in ou model of the Uniese. Although these obits hae been eplaced by the moe geneal elliptical geomety, cicula motion is still
More informationA Hartree-Fock Example Using Helium
Univesity of Connecticut DigitalCommons@UConn Chemisty Education Mateials Depatment of Chemisty June 6 A Hatee-Fock Example Using Helium Cal W. David Univesity of Connecticut, Cal.David@uconn.edu Follow
More informationAlgebra. Substitution in algebra. 3 Find the value of the following expressions if u = 4, k = 7 and t = 9.
lgeba Substitution in algeba Remembe... In an algebaic expession, lettes ae used as substitutes fo numbes. Example Find the value of the following expessions if s =. a) s + + = = s + + = = Example Find
More informationVector d is a linear vector function of vector d when the following relationships hold:
Appendix 4 Dyadic Analysis DEFINITION ecto d is a linea vecto function of vecto d when the following elationships hold: d x = a xxd x + a xy d y + a xz d z d y = a yxd x + a yy d y + a yz d z d z = a zxd
More informationAQI: Advanced Quantum Information Lecture 2 (Module 4): Order finding and factoring algorithms February 20, 2013
AQI: Advanced Quantum Infomation Lectue 2 (Module 4): Ode finding and factoing algoithms Febuay 20, 203 Lectue: D. Mak Tame (email: m.tame@impeial.ac.uk) Intoduction In the last lectue we looked at the
More informationarxiv: v2 [math.ag] 4 Jul 2012
SOME EXAMPLES OF VECTOR BUNDLES IN THE BASE LOCUS OF THE GENERALIZED THETA DIVISOR axiv:0707.2326v2 [math.ag] 4 Jul 2012 SEBASTIAN CASALAINA-MARTIN, TAWANDA GWENA, AND MONTSERRAT TEIXIDOR I BIGAS Abstact.
More informationA Comparison and Contrast of Some Methods for Sample Quartiles
A Compaison and Contast of Some Methods fo Sample Quatiles Anwa H. Joade and aja M. Latif King Fahd Univesity of Petoleum & Mineals ABSTACT A emainde epesentation of the sample size n = 4m ( =, 1, 2, 3)
More informationPermutations and Combinations
Pemutations and Combinations Mach 11, 2005 1 Two Counting Pinciples Addition Pinciple Let S 1, S 2,, S m be subsets of a finite set S If S S 1 S 2 S m, then S S 1 + S 2 + + S m Multiplication Pinciple
More informationQuantum Fourier Transform
Chapte 5 Quantum Fouie Tansfom Many poblems in physics and mathematics ae solved by tansfoming a poblem into some othe poblem with a known solution. Some notable examples ae Laplace tansfom, Legende tansfom,
More information10/04/18. P [P(x)] 1 negl(n).
Mastemath, Sping 208 Into to Lattice lgs & Cypto Lectue 0 0/04/8 Lectues: D. Dadush, L. Ducas Scibe: K. de Boe Intoduction In this lectue, we will teat two main pats. Duing the fist pat we continue the
More informationSemicanonical basis generators of the cluster algebra of type A (1)
Semicanonical basis geneatos of the cluste algeba of type A (1 1 Andei Zelevinsky Depatment of Mathematics Notheasten Univesity, Boston, USA andei@neu.edu Submitted: Jul 7, 006; Accepted: Dec 3, 006; Published:
More informationOn the ratio of maximum and minimum degree in maximal intersecting families
On the atio of maximum and minimum degee in maximal intesecting families Zoltán Lóánt Nagy Lale Özkahya Balázs Patkós Máté Vize Mach 6, 013 Abstact To study how balanced o unbalanced a maximal intesecting
More informationKepler s problem gravitational attraction
Kele s oblem gavitational attaction Summay of fomulas deived fo two-body motion Let the two masses be m and m. The total mass is M = m + m, the educed mass is µ = m m /(m + m ). The gavitational otential
More informationAppendix A. Appendices. A.1 ɛ ijk and cross products. Vector Operations: δ ij and ɛ ijk
Appendix A Appendices A1 ɛ and coss poducts A11 Vecto Opeations: δ ij and ɛ These ae some notes on the use of the antisymmetic symbol ɛ fo expessing coss poducts This is an extemely poweful tool fo manipulating
More informationNumerical approximation to ζ(2n+1)
Illinois Wesleyan Univesity Fom the SelectedWoks of Tian-Xiao He 6 Numeical appoximation to ζ(n+1) Tian-Xiao He, Illinois Wesleyan Univesity Michael J. Dancs Available at: https://woks.bepess.com/tian_xiao_he/6/
More informationOn the ratio of maximum and minimum degree in maximal intersecting families
On the atio of maximum and minimum degee in maximal intesecting families Zoltán Lóánt Nagy Lale Özkahya Balázs Patkós Máté Vize Septembe 5, 011 Abstact To study how balanced o unbalanced a maximal intesecting
More informationSOME GENERAL NUMERICAL RADIUS INEQUALITIES FOR THE OFF-DIAGONAL PARTS OF 2 2 OPERATOR MATRICES
italian jounal of pue and applied mathematics n. 35 015 (433 44) 433 SOME GENERAL NUMERICAL RADIUS INEQUALITIES FOR THE OFF-DIAGONAL PARTS OF OPERATOR MATRICES Watheq Bani-Domi Depatment of Mathematics
More informationMATH 220: SECOND ORDER CONSTANT COEFFICIENT PDE. We consider second order constant coefficient scalar linear PDEs on R n. These have the form
MATH 220: SECOND ORDER CONSTANT COEFFICIENT PDE ANDRAS VASY We conside second ode constant coefficient scala linea PDEs on R n. These have the fom Lu = f L = a ij xi xj + b i xi + c i whee a ij b i and
More informationPolynomial differential systems having a given Darbouxian first integral
Bull. Sci. math. 128 2004 775 788 www.elsevie.com/locate/bulsci Polynomial diffeential systems having a given Dabouxian fist integal Jaume Llibe, Chaa Pantazi Deatament de Matemàtiques, Univesitat Autònoma
More informationThe height of minimal Hilbert bases
1 The height of minimal Hilbet bases Matin Henk and Robet Weismantel Abstact Fo an integal polyhedal cone C = pos{a 1,..., a m, a i Z d, a subset BC) C Z d is called a minimal Hilbet basis of C iff i)
More informationMiskolc Mathematical Notes HU e-issn Tribonacci numbers with indices in arithmetic progression and their sums. Nurettin Irmak and Murat Alp
Miskolc Mathematical Notes HU e-issn 8- Vol. (0), No, pp. 5- DOI 0.85/MMN.0.5 Tibonacci numbes with indices in aithmetic pogession and thei sums Nuettin Imak and Muat Alp Miskolc Mathematical Notes HU
More informationMeasure Estimates of Nodal Sets of Polyharmonic Functions
Chin. Ann. Math. Se. B 39(5), 08, 97 93 DOI: 0.007/s40-08-004-6 Chinese Annals of Mathematics, Seies B c The Editoial Office of CAM and Spinge-Velag Belin Heidelbeg 08 Measue Estimates of Nodal Sets of
More informationPartition Functions. Chris Clark July 18, 2006
Patition Functions Chis Clak July 18, 2006 1 Intoduction Patition functions ae useful because it is easy to deive expectation values of paametes of the system fom them. Below is a list of the mao examples.
More informationPHYS 301 HOMEWORK #10 (Optional HW)
PHYS 301 HOMEWORK #10 (Optional HW) 1. Conside the Legende diffeential equation : 1 - x 2 y'' - 2xy' + m m + 1 y = 0 Make the substitution x = cos q and show the Legende equation tansfoms into d 2 y 2
More information3.1 Random variables
3 Chapte III Random Vaiables 3 Random vaiables A sample space S may be difficult to descibe if the elements of S ae not numbes discuss how we can use a ule by which an element s of S may be associated
More informationA GENERALIZATION OF A CONJECTURE OF MELHAM. 1. Introduction The Fibonomial coefficient is, for n m 1, defined by
A GENERALIZATION OF A CONJECTURE OF MELHAM EMRAH KILIC 1, ILKER AKKUS, AND HELMUT PRODINGER 3 Abstact A genealization of one of Melha s conectues is pesented Afte witing it in tes of Gaussian binoial coefficients,
More informationarxiv: v1 [math.co] 6 Mar 2008
An uppe bound fo the numbe of pefect matchings in gaphs Shmuel Fiedland axiv:0803.0864v [math.co] 6 Ma 2008 Depatment of Mathematics, Statistics, and Compute Science, Univesity of Illinois at Chicago Chicago,
More informationVanishing lines in generalized Adams spectral sequences are generic
ISSN 364-0380 (on line) 465-3060 (pinted) 55 Geomety & Topology Volume 3 (999) 55 65 Published: 2 July 999 G G G G T T T G T T T G T G T GG TT G G G G GG T T T TT Vanishing lines in genealized Adams spectal
More informationChaos and bifurcation of discontinuous dynamical systems with piecewise constant arguments
Malaya Jounal of Matematik ()(22) 4 8 Chaos and bifucation of discontinuous dynamical systems with piecewise constant aguments A.M.A. El-Sayed, a, and S. M. Salman b a Faculty of Science, Aleandia Univesity,
More informationENGI 4430 Non-Cartesian Coordinates Page xi Fy j Fzk from Cartesian coordinates z to another orthonormal coordinate system u, v, ˆ i ˆ ˆi
ENGI 44 Non-Catesian Coodinates Page 7-7. Conesions between Coodinate Systems In geneal, the conesion of a ecto F F xi Fy j Fzk fom Catesian coodinates x, y, z to anothe othonomal coodinate system u,,
More informationSTUDY OF SOLUTIONS OF LOGARITHMIC ORDER TO HIGHER ORDER LINEAR DIFFERENTIAL-DIFFERENCE EQUATIONS WITH COEFFICIENTS HAVING THE SAME LOGARITHMIC ORDER
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA doi: 104467/20843828AM170027078 542017, 15 32 STUDY OF SOLUTIONS OF LOGARITHMIC ORDER TO HIGHER ORDER LINEAR DIFFERENTIAL-DIFFERENCE EQUATIONS WITH COEFFICIENTS
More informationPhysics 161 Fall 2011 Extra Credit 2 Investigating Black Holes - Solutions The Following is Worth 50 Points!!!
Physics 161 Fall 011 Exta Cedit Investigating Black Holes - olutions The Following is Woth 50 Points!!! This exta cedit assignment will investigate vaious popeties of black holes that we didn t have time
More informationRATIONAL BASE NUMBER SYSTEMS FOR p-adic NUMBERS
RAIRO-Theo. Inf. Al. 46 (202) 87 06 DOI: 0.05/ita/204 Available online at: www.aio-ita.og RATIONAL BASE NUMBER SYSTEMS FOR -ADIC NUMBERS Chistiane Fougny and Kael Klouda 2 Abstact. This ae deals with ational
More informationLecture 28: Convergence of Random Variables and Related Theorems
EE50: Pobability Foundations fo Electical Enginees July-Novembe 205 Lectue 28: Convegence of Random Vaiables and Related Theoems Lectue:. Kishna Jagannathan Scibe: Gopal, Sudhasan, Ajay, Swamy, Kolla An
More informationClass #16 Monday, March 20, 2017
D. Pogo Class #16 Monday, Mach 0, 017 D Non-Catesian Coodinate Systems A point in space can be specified by thee numbes:, y, and z. O, it can be specified by 3 diffeent numbes:,, and z, whee = cos, y =
More informationOn a quantity that is analogous to potential and a theorem that relates to it
Su une quantité analogue au potential et su un théoème y elatif C R Acad Sci 7 (87) 34-39 On a quantity that is analogous to potential and a theoem that elates to it By R CLAUSIUS Tanslated by D H Delphenich
More informationI. CONSTRUCTION OF THE GREEN S FUNCTION
I. CONSTRUCTION OF THE GREEN S FUNCTION The Helmohltz equation in 4 dimensions is 4 + k G 4 x, x = δ 4 x x. In this equation, G is the Geen s function and 4 efes to the dimensionality. In the vey end,
More informationSyntactical content of nite approximations of partial algebras 1 Wiktor Bartol Inst. Matematyki, Uniw. Warszawski, Warszawa (Poland)
Syntactical content of nite appoximations of patial algebas 1 Wikto Batol Inst. Matematyki, Uniw. Waszawski, 02-097 Waszawa (Poland) batol@mimuw.edu.pl Xavie Caicedo Dep. Matematicas, Univ. de los Andes,
More informationOn decompositions of complete multipartite graphs into the union of two even cycles
On decompositions of complete multipatite gaphs into the union of two even cycles A. Su, J. Buchanan, R. C. Bunge, S. I. El-Zanati, E. Pelttai, G. Rasmuson, E. Spaks, S. Tagais Depatment of Mathematics
More informationA Crash Course in (2 2) Matrices
A Cash Couse in ( ) Matices Seveal weeks woth of matix algeba in an hou (Relax, we will only stuy the simplest case, that of matices) Review topics: What is a matix (pl matices)? A matix is a ectangula
More informationApplication of Parseval s Theorem on Evaluating Some Definite Integrals
Tukish Jounal of Analysis and Numbe Theoy, 4, Vol., No., -5 Available online at http://pubs.sciepub.com/tjant/// Science and Education Publishing DOI:.69/tjant--- Application of Paseval s Theoem on Evaluating
More informationarxiv: v1 [math.co] 4 May 2017
On The Numbe Of Unlabeled Bipatite Gaphs Abdullah Atmaca and A Yavuz Ouç axiv:7050800v [mathco] 4 May 207 Abstact This pape solves a poblem that was stated by M A Haison in 973 [] This poblem, that has
More informationLacunary I-Convergent Sequences
KYUNGPOOK Math. J. 52(2012), 473-482 http://dx.doi.og/10.5666/kmj.2012.52.4.473 Lacunay I-Convegent Sequences Binod Chanda Tipathy Mathematical Sciences Division, Institute of Advanced Study in Science
More informationPhysics 2A Chapter 10 - Moment of Inertia Fall 2018
Physics Chapte 0 - oment of netia Fall 08 The moment of inetia of a otating object is a measue of its otational inetia in the same way that the mass of an object is a measue of its inetia fo linea motion.
More informationOLYMON. Produced by the Canadian Mathematical Society and the Department of Mathematics of the University of Toronto. Issue 9:2.
OLYMON Poduced by the Canadian Mathematical Society and the Depatment of Mathematics of the Univesity of Toonto Please send you solution to Pofesso EJ Babeau Depatment of Mathematics Univesity of Toonto
More information