
1 (mod n)
... Euclidean algorithm(a,b) (for great common divisor) input: a b 0 output:d gcd( a, b) (1) Set r0=a and r1=b (2) Determine the first n 0 so that rn+1=0, where ri+1=ri-1 mod ri ...
... Euclidean algorithm(a,b) (for great common divisor) input: a b 0 output:d gcd( a, b) (1) Set r0=a and r1=b (2) Determine the first n 0 so that rn+1=0, where ri+1=ri-1 mod ri ...
Model Theory of Valued fields
... 1 6∈ ML ∩ RK ⊃ MK ). It follows that if UK , UL denote the groups of units of RK , RL respectively then UL ∩ K = UK . Hence we have a canonical embedding K ∗ /UK → L∗ /UL . This gives a valuation on L – the value group is just L∗ /UL . Definition 1.2.2 (i) A valued field (K, v, Γ) is henselian if th ...
... 1 6∈ ML ∩ RK ⊃ MK ). It follows that if UK , UL denote the groups of units of RK , RL respectively then UL ∩ K = UK . Hence we have a canonical embedding K ∗ /UK → L∗ /UL . This gives a valuation on L – the value group is just L∗ /UL . Definition 1.2.2 (i) A valued field (K, v, Γ) is henselian if th ...