solenoid a has length l and n turns, solenoid b has length 2l and n turns, and solenoid c has length l/2 and 2n turns. if each solenoid carries the same current, rank by the strength of the magnetic fi eld in the center of each solenoid from largest to smallest. (a) a, b, c (b) a, c, b (c) b, c, a (d) c, a, b (e) c, b, a
solenoid a has length l and n turns, solenoid b has length | studysoup
                                             (mid­term 2) theory​   lemmas, theorems and definitions    polynomials over a ring r  definition:  polynomials over a ring r (with coefficients in r) are expressions of type  r0​ 1​+r2​+........n​​ where, x is referred to an indeterminate (n≥0 an1​ 2​…..,n​are  coefficients) subject to certain conventions.  lemma: ​ all polynomials together with ‘+’, ‘.’ forms a ring called polynomial ring over  r; denoted as r[x] (contains r)  lemma: suppose r is an integral domain . let f(x), g(x) ∈ r[x]. then  deg(f(x).g(x))=deg f(x) + deg g(x)  theorem: ​ suppose r is an integral domain, then the ring r[x] is an integral domain.  theorem: let r be an integral domain. let f(x)∈r[x]  then f(x) is a unit in r[x]  division algorithm for polynomials  let f be a field  let a(x), b(x) ∈ f[x], then there exists polynomials q(x), r(x) satisfying   1. a(x)=b(x)q(x)+r(x)  2. r(x)=0 or deg r(x)<deg b(x)  moreover, q(x), r(x) are unique  let f:r→s be a homomorphism of rings. let k⊆r, k={r∈r|f(r)=0​ s​(k is the kernel of  the homomorphism). show that k is the subring of r  def:​ two polynomials a(x), b(x) are said to be associates if they differ only by a unit i.e.  there exists λ∈f, λ being non­zero, such that b(x)=λa(x)  thm: ​ if b(x)|a(x), then λb(x)|a(x)  thm:​  if b(x)|a(x), then deg(b(x))≤deg(a(x))  def:​ a polynomial a(x) is monic if its lead coefficient is 1.  any non­zero a(x)∈f(x) is an associate of a monic polynomial  def:​ d(x) is a greatest common divisor(gcd) of a(x), b(x) in f[x] if   1. d(x)|a(x); d(x)|b(x)  2. if e(x)|a(x) and e(x)|b(x) then deg(e(x))≤deg(d(x))  def:​ let a(x), b(x)∈f[x], then there exists a unique monic gcd of a(x), b(x)  
 def: a polynomial f(x)∈f[x] is irreducible if and only if it’s divisors are the units and  the associates of f(x)  lemma:​  every polynomial of degree 1 is irreducible in f[x]  theorem:​  f(x) is irreducible ⇔f(x) cannot be factored into two polynomials each with  degree less than deg(f)  thm: ​if f(x) is irreducible and f(x)|g(x)h(x) then f(x)|g(x) or f(x)|h(x)  thm:​ let f(x)∈f[x] be a non­constant polynomial. then f(x) is the product in an  essentially unique way of a finite number of irreducible polynomials  the remainder theorem  let f be a field, with f(x)∈f[x]. let a∈f. the remainder when f(x) is divided by x­a is  equal to f(a)  congruence in polynomial rings    def: let f[x] be a ring of polynomials over a field f, we define what it means for two  polynomials f(x), g(x) to be congruent mod m(x)  f(x≡g​(x) mod m(x)) means m(x) divides f(x)­g(x)    lemma:​  congruence in polynomials is an equivalence relation  lemma: ​ if≡k mod m, g≡l mod m , then f+g≡k+l mod m and fg≡kl mod m    n​ n​ corollary:suppose f≡k mod m. then f=k​ mod m for n=1, 2, 3, …….    def: fix m(x)∈f[x]. the congruence class [f] of f∈f[x] is defined by [f]≡f ∈f[x] | g​ mod m​}  theorem: ​[f(x)]=[g(x)] ⇔ ≡g(x) mod m(x)  in f[x], we call the set of all possible classes of remainder polynomials upon division by  m(x) as “f[x] modulo m(x)” i.e. the ring f[x]/m(x) of classes of remainder polynomials  mod m(x)  theorem:​  f[x]/m(x) is a field ⇔ m(x) is an irreducible polynomial  ideals  def: i is said to be an ideal of r if for all x∈i, for all r∈r we have rx∈i, xr∈i (say i has  absorption property)  note: see for left ideal and right ideal  theorem: ​i is an ideaℤ⇔ i=n​ℤ for some∈ℤ​  
 theorem: ​a non­empty subset i of the ring r is a⇔ 1. a­b∈i for all a∈i; b∈i                                                                                                   2. for all a∈i, r∈r, ra∈i; ar∈i  let c, , c, …………, c∈r. consider r is commutative, i=c+r​c​+.....c​| ∈r}.  1​ 2​ 3​ n​ 1​1​ 2​2​ n​n ​ i​ then i is an ideal of r     def: an ideal that is generated by a single element ‘a’, namely, i=ar={ar | r∈r} is  called the principal ideal generated by ‘a’  def: let r be a ring. let i be an ideal of r. we say r, s∈r are congruent modulo i ⇔ r­s  ∈ i  cosets  def:  r/i is the set of all cosets of i in r = {a+i | a∈r}  lemma: ​ congruence modulo i is an equivalence relation  lemma: ​ if ≡b mod i, c≡d mod i then a+c≡b+d mod i and ac≡bd mod i  fundamental theorem:​  [x]=[y] (or x+i = y⇔ x≡y mod i  corollary: x]=[0]⇔ x∈i   theorem: ​r/i, +, . is a ring  lemma: ​ if r is commutative, then r/i is commutative ring. if r has a multiplicative  identity , then r/i has a multiplicative identity   r​ def: letø:r→s be ring homomorphism. the kernel of ø, ker(ø) is defined by ker(ø) =  {r∈r | ø(r)=0s​ lemma: ​ ker(ø) is an ideal of r  lemma: ​ let ø:r→s be a ring homomorphism, then ø is inje⇔ ker(ø​)={0}  lemma:​  let r be a ring, with ideal i. then, we have an associated quotient ring r/i.   defineπ : r→r/i                    a→a+i  then π is a surjective ring homomorphism and ker(π)=i  lemma:​  im(ø)={s∈s | s=ø(r) for some∈r​}, then im(ø) is a subring of s  first isomorphism theorem: ​  let ø:r→s be a surjective ring homomorphism. then k=ker(ø) is an ideal of r and  r/k≅​s  def: an ideal≠r is said to be prime idea∈i ⇒ a∈i or b∈i  
 def: an ideal≠r is said to be maximal if there is no ideal other than r containing i i.e.  if i⊆j⊆r for some ideal j, then j=i or j=r  theorem:​  r/i is an integral domain iff i is prime ideal                        i is maximal ideal iff r/i is a field  corollary: suppose i is a maximal ideal, then i is a prime ideal  def: let a,∈r we say a divides b in r if there exists c∈r satisfying ac=b  theorem: ​let u∈r be a unit. let r∈r, then u divides r                        any associate of r divides r  theorem: ​let p∈r be non­zero and not a unit. then p is irreducible in r ⇔ (p=rs ⇒ r  is a unit or s is a unit)  euclidean domain  def: an integral domain r is said to be euclidean domain if there ▯ from nction ​ non­zero elements to non­negative integers   ▯:r­{0}→ℤ+​which satisfies the following  1.▯(a​​(ab) for all nonzero∈r  b​ 2. foa, ∈r, b​≠0 then there exists∈r satisfying a=bq+r with r=0▯(r)<▯(b)  theorem:​  gvenα​,β ∈ [i]β≠0, there exists q, [i] satisfyα=​βq+r and  0≤▯(r)<▯(β)  let r be an euclidean domain with euclidean function ▯. then the following conditions  are equivalent:  1. u is a unit  2. ▯(u)=▯(1)  3. ▯(c)=▯(uc) for so∈r, c≠0  def: r is a principal ideal domain (pid) if r is an integral domain in which every ideal  is principal  theorem: ​let r be a n euclidean domain, with euclidean f▯:r​→​ℕ, then r is a  pid  lemma: ​ let r be an integral domain. then  1. (a)⊆(b⇔ b divides a  2. (a)=(b) ⇔ a|b and b|a  3. (a(b) ⇔ b|a and b is not an associate of a  sub lemma: ​a|b and b|a ⇔ a and b are not associates  corollary: the set of all the euclidean domains is contained in the set of all principal  ideal domains  
 def: let r be an integral domain, r is said to satisfy the ascending chain  condition(a.c.c) if whenever )⊆(a​)⊆…………. then the chain “stops” in the sense that  1​ 2​ there is an intege0​​ℕ such that (1​(a​2​⊆…………(a 0 −1⊆(a 0=(a n0+1)=(an0+2 )=........  theorem: ​ let r be a principal ideal domain. then r satisfies the ascending chain  condition  theorem: ​ let r be a principal ideal domain. let p be an irreducible element of r. then  p|bc ⇒ p|b or p|c  theorem: ​ in a principal ideal domain, every non­zero non­unit element can be written  essentially uniquely as a product of irreducibles  unique factorization domain (ufd)  def:​ ufd is defined to be an integral domain in which every non­zero unit can be  written essentially uniquely as a product of irreducibles. from previous theorem, we  already proved that every pid is a ufd  def:​ in the ring r define a norm function →ℤ​ by  n(a+b√d)=(a+b√d)(a­b√d)=a​ 2­db​   