in quantum computation


 Stephanie Glenn
 1 years ago
 Views:
Transcription
1 in computation Kestrel Institute and Oxford University  Oxford, August 2008
2 Outline Quantum programming λ Abstraction with pictures Consequences  Abstraction in Category of measurements 
3 Outline Quantum programming λ Abstraction with pictures Consequences  Abstraction in Category of measurements Quantum programming λ 
4 What do programmers do? Quantum programming λ f x Z m 2 f(x) Z n 2 
5 What do programmers do? x f x Z m 2 f(x) Z n 2 x Quantum programming λ  y f(x) y
6 What do programmers do? Quantum programming λ x x B m = C Zm 2 U f f  y f(x) y B n = C Zn 2
7 What do programmers do? Quantum programming λ z H m x z = P x ( 1)z x x f x H m z x = P z ( 1)x z z  U f y f(x) y
8 What do programmers do? Simon s algorithm f : Z m 2 Zn 2 : x f(x) f : Z m+n 2 Z m+n 2 : x, y x, f(x) y U f : C Zm+n 2 C Zm+n 2 : x, y x, f(x) y Simon = (H m id)u f (H m id) 0, 0 = ( 1) x z z, f(x) Quantum programming λ  x,z Z m 2
9 What do programmers do? Simon s algorithm f : Z m 2 Zn 2 : x f(x) f : Z m+n 2 Z m+n 2 : x, y x, f(x) y U f : C Zm+n 2 C Zm+n 2 : x, y x, f(x) y Simon = (H m id)u f (H m id) 0, 0 = ( 1) x z z, f(x) Quantum programming λ  x,z Z m 2... to find a hidden subgroup measurement find c such that f(x + c) = f(x)
10 What do programmers do? Shor s algorithm f : Z m+n q U f : C Zm+n q f : Z m q Z n q : x a x mod q Z m+n q : x, y x, a x + y mod q C Zm+n q : x, y x, a x + y mod q Quantum programming λ  Shor = (FT m id)u f (FT m id) 0, 0 = ( 1) x z z, f(x) x,z Z m q... to find a hidden subgroup measurement find c such that a x+c = a x mod q
11 What do programmers do? Hallgren s algorithm h : Z m Z n : x I x (fraction ideal) h : Z m+n Z m+n : x, y x, y h(x) U h : C Zm+n C Zm+n : x, y x, y h(x) Hallgren = (FT m id)u h (FT m id) d, d = x,z Z m ( 1) x z z, h(x) Quantum programming λ to find a hidden subgroup measurement find R such that h(x + R) = h(x)
12 General design pattern of software engineering ;) CLASS QUAN T Quantum programming λ  MEAS T CLASS
13 Quantum prog. = functional prog. + superposition + entanglement CLASS QUAN T superposition entanglement MEAS T Quantum programming λ  CLASS
14 Standard type universes where programmers work CLASS FSet, FSet op, FFMod R... Quantum programming λ QUAN T FHilb, CPM(FHilb)...  MEAS T FHilb, CPM(FHilb)... CLASS
15 Function in programming CLASS[x] QUAN T [x] FSet[x],FSet op [x], FFMod R[x]... FHilb[x], CPM(FHilb)[x]... Quantum programming λ  MEAS T {x} FHilb{x}, CPM(FHilb){x}... CLASS
16 Function in programming CLASS[x] QUAN T [x] = KL (X ) = KL (X ) Quantum programming λ  MEAS T {x} EM(X ) CLASS
17 λ 2x 3 + 3x + 1 in Z[x] λx. 2x 3 + 3x + 1 in Z Z Z[x] x ad x Quantum programming λ  Z f a f S a
18 λ in cartesian closed categories S p(x) : B in S[x : X] λx. p(x) : B X in S S[x] 1 x X ad x F a Quantum programming λ  F C 1 a FX
19 λ in cartesian closed categories S A q(x) B in S[x : X] A λx.q(x) B X in S S[x] 1 x X ad x F a Quantum programming λ  F C 1 a FX
20 λ in cartesian closed categories A ϕ,x B X X ǫ B A ϕ B X S[x](A, B) S(A, B X ) A q(x) B A λx.q(x) B X S[x] 1 x X ad x Quantum programming λ  S F a F C 1 a FX
21 λ in cartesian closed categories Theorem (Lambek, Adv. in Math. 79) Let S be a cartesian closed category, and S[x] the free cartesian closed category generated by S and x : 1 X. Quantum programming λ 
22 λ in cartesian closed categories Theorem (Lambek, Adv. in Math. 79) Let S be a cartesian closed category, and S[x] the free cartesian closed category generated by S and x : 1 X. Then the inclusion ad x : S S[x] has a right adjoint ab x : S[x] S : A A X and the transpositions A ϕ,x B X X ǫ B A ϕ B X S[x](ad x A, B) S(A, ab x B) A q(x) B A λx.q(x) B X Quantum programming λ  model λ and application.
23 λ in cartesian closed categories Theorem (Lambek, Adv. in Math. 79) Let S be a cartesian closed category, and S[x] the free cartesian closed category generated by S and x : 1 X. Then the inclusion ad x : S S[x] has a right adjoint ab x : S[x] S : A A X and the transpositions A ϕ,x B X X ǫ B A ϕ B X S[x](ad x A, B) S(A, ab x B) A q(x) B A λx.q(x) B X Quantum programming λ  model λ and application. S[x] is isomorphic with the Kleisli category for the power monad ( ) X.
24 κ in cartesian Theorem (Lambek, Adv. in Math. 79) categories Let S be a cartesian category, and S[x] the free cartesian category generated by S and x : 1 X. Then the inclusion ad x : S S[x] has a left adjoint ab x : S[x] S : A X A and the transpositions A x,id X A ϕ B X A ϕ B S[x](A, ad x B) S(ab x A, B) A f x B X A κ x.fx B Quantum programming λ  model first order and application. S[x] is isomorphic with the Kleisli category for the product comonad X ( ).
25 κ in monoidal Theorem (DP, MSCS 95) categories Let C be a monoidal category, and C[x] the free monoidal category generated by C and x : 1 X. Then the strong adjunctions ab x ad x : C C[x] are in onetoone correspondence with the internal comonoid structures on X. The transpositions A X A x A B ϕ C[x](A, ad x B) A f x B Quantum programming λ  X A ϕ B C(ab x A, B) X A κ x.fx B model action and application. C[x] is isomorphic with the Kleisli category for the comonad X ( ), induced by any of the comonoid structures.
26 κ in monoidal categories Task Extend this to. Quantum programming λ 
27 κ in monoidal categories Task Extend this to. Problem Lots of complicated diagram chasing. Quantum programming λ 
28 κ in monoidal categories Task Extend this to. Problem Lots of complicated diagram chasing. Solution? What does mean graphically? Quantum programming λ 
29 Outline Quantum programming λ Abstraction with pictures Consequences  Abstraction in Category of measurements 
30 Objects X A B D X A B D 
31 Identities X A B D X A B D X A B D X A B D id 
32 Morphisms B X B X h h  X A B D X A B D
33 Tensor (parallel composition) B X C B X C h f h f  X A B D X X A B D X
34 Sequential composition B X C B X C h f h f  X A B D X X A B D X g X A B g D D X X A B D D X
35 Elements (vectors) and coelements (functionals) b B X C h f B X B X b B X C h f  X A B D X X A B D X g X A B g a D D X X A B D D X X a D D X X I D D X
36 Symmetry b B X C h f B X c D g B X B X b B X C h f X A D B X X A c X X A B D X X A B g  X A a B D D X X A B D D X X a D D X X I D D X
37 Polynomials X b B X C h f B X c D g A B D D X a B X B X b B X C h f X A D B X id x X A D B I X A c r X A B D X A B g X A B D D X x a D D x I I D D I 
38 Outline Quantum programming λ Abstraction with pictures Consequences  Abstraction in Category of measurements Abstraction with pictures Consequences 
39 Abstraction with pictures Theorem (again) Let C be a symmetric monoidal category, and C[x] the free symmetric monoidal category generated by C and x : 1 X. Then there is a onetoone correspondence between adjunctions ab x ad x : C C[x] satisfying 1. ab x (A B) = ab x (A) B 2. η(a B) = η(a) B 3. η I = x and commutative comonoids on X. Abstraction with pictures Consequences 
40 Abstraction with pictures Theorem (again) Let C be a symmetric monoidal category, and C[x] the free symmetric monoidal category generated by C and x : 1 X. Then there is a onetoone correspondence between adjunctions ab x ad x : C C[x] satisfying 1. ab x (A B) = ab x (A) B 2. η(a B) = η(a) B 3. η I = x and commutative comonoids on X. Abstraction with pictures Consequences  C[x] is isomorphic with the Kleisli category for the commutative comonad X ( ), induced by any of the comonoid structures.
41 Proof ( ) Given ab x ad x : C C[x], conditions imply ab x (A) = X A η(a) = x A Abstraction with pictures Consequences 
42 Proof ( ) Therefore the correspondence C ( ab x (A), B ) C[x] ( A, ad x (B) ) Abstraction with pictures Consequences 
43 Proof ( )... is actually C(X A, B) C[x](A, B) Abstraction with pictures Consequences 
44 Proof ( )... with C(X A, B) C[x](A, B) B f X A ( ) (x A) B f A Abstraction with pictures Consequences 
45 Proof ( )... and C(X A, B) C[x](A, B) h f κx. h f Abstraction with pictures Consequences  g g X
46 Proof ( ) The bijection corresponds to the conversion: ( ) (x A) C(X A, B) = C[x](A, B) κx. ( ) ( κx. ϕ(x) x A) = ϕ(x) (βrule Abstraction with pictures Consequences  κx. ( f (x A) ) = f (ηrule
47 Proof ( ) The comonoid structure (X,, ) is = κx. = κx. X X id I Abstraction with pictures Consequences 
48 Proof ( ) The conversion rules imply the comonoid laws = = Abstraction with pictures Consequences  = =
49 Proof ( ) Given (X,, ), use its copying and deleting power, and the symmetries, to normalize every C[x]arrow: ϕ(x) = ϕ (x A) h f h f Abstraction with pictures Consequences  g g
50 Proof ( ) Then set κx. ϕ(x) = ϕ to get ( ) (x A) C(X A, B) = C[x](A, B) κx. ( ) ( κx. ϕ(x) x A) = ϕ(x) (βrule Abstraction with pictures Consequences  κx. ( f (x A) ) = f (ηrule
51 Remark C[x] = C X and C[x, y] = C X Y = KL(X Y ), reduce the finite polynomials to the Kleisli morphisms. Abstraction with pictures Consequences 
52 Remark C[x] = C X and C[x, y] = C X Y = KL(X Y ), reduce the finite polynomials to the Kleisli morphisms. But the extensions C[X], where X is large are also of interest. Abstraction with pictures Consequences 
53 Remark C[x] = C X and C[x, y] = C X Y = KL(X Y ), reduce the finite polynomials to the Kleisli morphisms. But the extensions C[X], where X is large are also of interest. Abstraction with pictures Consequences  Cf. N[N], Set[Set], and CPM(C).
54 Interpretation Abstraction with pictures Consequences 
55 Interpretation Upshot In symmetric monoidal categories, applies just to copiable and deletable data. Abstraction with pictures Consequences 
56 Interpretation Upshot In symmetric monoidal categories, applies just to copiable and deletable data. Definition A vector ϕ C(I, X) is a base vector (or a setlike element) with respect to the operation κx if it can be copied and deleted in C[x] (κx.x x) ϕ = ϕ ϕ Abstraction with pictures Consequences  (κx.id I ) ϕ = id I
57 Interpretation Upshot In symmetric monoidal categories, applies just to copiable and deletable data. Definition A vector ϕ C(I, X) is a base vector (or a setlike element) with respect to the operation κx if it can be copied and deleted in C[x] (κx.x x) ϕ = ϕ ϕ Abstraction with pictures Consequences  (κx.id I ) ϕ = id I Proposition ϕ C(I, X) is a base vector with respect to κx if and only if it is a homomorphism for the comonoid structure X X X I corresponding to κx.
58 Interpretation Upshot In other words, only the base vectors can be substituted for variables. Abstraction with pictures Consequences 
59 Interpretation Upshot In other words, only the base vectors can be substituted for variables. Definition Substitution is a structure preserving ioof C[x] C. Abstraction with pictures Consequences 
60 Interpretation Upshot In other words, only the base vectors can be substituted for variables. Definition Substitution is a structure preserving ioof C[x] C. Corollary The substitution functors C[x] C are in onetoone correspondence with the base vectors of type X. Abstraction with pictures Consequences 
61 Outline Quantum programming λ Abstraction with pictures Consequences  Abstraction in  Abstraction in Category of measurements
62 Definitions A category C is given with an involutive ioof : C op C.  Abstraction in
63 Definitions A category C is given with an involutive ioof : C op C. A morphism f in a category C is called unitary if f = f 1.  Abstraction in
64 Definitions A category C is given with an involutive ioof : C op C. A morphism f in a category C is called unitary if f = f 1. A (symmetric) monoidal category C is monoidal if its monoidal isomorphisms are unitary.  Abstraction in
65 Using the monoidal s for: vectors: C(A) = C(I, A) scalars: I = C(I, I)  Abstraction in
66 Using the monoidal s for: vectors: C(A) = C(I, A) scalars: I = C(I, I) in every monoidal category we can define abstract inner product A : C(A) C(A) I ( ) ϕ (ϕ, ψ : I A) I A ψ I  Abstraction in
67 Using the monoidal s for: vectors: C(A) = C(I, A) scalars: I = C(I, I) in every monoidal category we can define abstract inner product A : C(A) C(A) I ( ) ϕ (ϕ, ψ : I A) I A ψ I partial inner product AB : C(A B) C(A) C(B) ( ) (ϕ : I A B, ψ : I A) ϕ I A B ψ B B  Abstraction in
68 Using the monoidal s for: vectors: C(A) = C(I, A) scalars: I = C(I, I) in every monoidal category we can define abstract inner product A : C(A) C(A) I ( ) ϕ (ϕ, ψ : I A) I A ψ I partial inner product AB : C(A B) C(A) C(B) ( ) (ϕ : I A B, ψ : I A) ϕ I A B ψ B B  Abstraction in entangled vectors η C(A A), such that ϕ C(A) η ϕ AA = ϕ
69 Using entangled vectors ηa : I A A and, ηb : I B Band their adjoints εa = η A : A A I and εb = η B : B B I  Abstraction in
70 Using entangled vectors ηa : I A A and, ηb : I B Band their adjoints εa = η A : A A I and εb = η B : B B I we can define for every f : A B the dual f : B A  Abstraction in f = B Bη BAA BfA BBA εa A
71 Using entangled vectors ηa : I A A and, ηb : I B Band their adjoints εa = η A : A A I and εb = η B : B B I we can define for every f : A B the dual f : B A  Abstraction in f = B Bη BAA BfA BBA εa A the conjugate f : A B f = f = f
72 Proposition For every object A in a monoidal category C holds (a) (b) = (c),  Abstraction in
73 Proposition For every object A in a monoidal category C holds (a) (b) = (c), where (a) η C(A A) is entangled  Abstraction in
74 Proposition For every object A in a monoidal category C holds (a) (b) = (c), where (a) η C(A A) is entangled (b) ε = η C(A A, I) internalizes the inner product ε (ψ ϕ) = ϕ ψ  Abstraction in
75 Proposition For every object A in a monoidal category C holds (a) (b) = (c), where (a) η C(A A) is entangled (b) ε = η C(A A, I) internalizes the inner product ε (ψ ϕ) = ϕ ψ (c) (η,ε) realize the selfadjunction A A, in the sense  Abstraction in A η A A A A A ε A = id A A A η A A A ε A A = id A The three conditions are equivalent if I generates C.
76 Proposition in pictures For every object A in a monoidal category C holds (a) (b) = (c), where (a) (b) ψ η η ψ ϕ = = ψ ψ ϕ  Abstraction in (c) η η = = X η η
77 Definition A object in a monoidal category is an object equipped with the structure from the preceding proposition.  Abstraction in
78 Definition A object in a monoidal category is an object equipped with the structure from the preceding proposition.  Remark The subcategory of objects in any monoidal category is compact (strongly compact) with all objects selfadjoint. Abstraction in
79 Abstraction in Theorem Let C be a monoidal category, and X X X I a comonoid that induces ab x ad x : C C[x].  Abstraction in
80 Abstraction in Theorem Let C be a monoidal category, and X X X I a comonoid that induces ab x ad x : C C[x]. Then the following conditions are equivalent:  Abstraction in
81 Abstraction in Theorem Let C be a monoidal category, and X X X I a comonoid that induces ab x ad x : C C[x]. Then the following conditions are equivalent: (a) ad x : C C[x] creates : C[x] op C[x] such that x x = x x = id I.  Abstraction in
82 Abstraction in Theorem Let C be a monoidal category, and X X X I a comonoid that induces ab x ad x : C C[x]. Then the following conditions are equivalent: (a) ad x : C C[x] creates : C[x] op C[x] such that x x = x x = id I. (b) η = and ε = η = realize X X.  Abstraction in
83 Abstraction in Theorem Let C be a monoidal category, and X X X I a comonoid that induces ab x ad x : C C[x]. Then the following conditions are equivalent: (a) ad x : C C[x] creates : C[x] op C[x] such that x x = x x = id I. (b) η = and ε = η = realize X X. (c) (X ) ( X) = = ( X) (X )  Abstraction in
84 Abstraction in Theorem Let C be a monoidal category, and X X X I a comonoid that induces ab x ad x : C C[x]. Then the following conditions are equivalent: (a) ad x : C C[x] creates : C[x] op C[x] such that x x = x x = id I. (b) η = and ε = η = realize X X. (c) (X ) ( X) = = ( X) (X )  Abstraction in where X X X I is the induced monoid = =
85 Abstraction in Theorem in pictures (b) = = X  Abstraction in
86 Abstraction in Theorem in pictures (c) = =  Abstraction in
87 Proof of (b)= (c) Lemma 1 If (b) holds then  = = Abstraction in
88 Proof of (b)= (c) Then (c) also holds because = = =  Abstraction in =
89 Proof of Lemma 1 Lemma 2 If η ε = = X ε η  Abstraction in then η ε ε = = X X ε ε η η η
90 Proof of Lemma 1 Using Lemma 2, and the fact that (b) implies = =, we get ε ε = η = η =  Abstraction in η η = η
91 The message of the proof  Abstraction in
92 The message of the proof There is more to categories than just diagram chasing.  Abstraction in
93 The message of the proof There is more to categories than just diagram chasing.  There is also picture chasing. Abstraction in
94 Definition A classical object in a monoidal category C is a comonoid X X X I satisfying the equivalent conditions from the preceding theorem.  Abstraction in
95 Definition A classical object in a monoidal category C is a comonoid X X X I satisfying the equivalent conditions from the preceding theorem. Let C be the category of classical objects and comonoid homomorphisms in C.  Abstraction in
96 Definition A classical object in a monoidal category C is a comonoid X X X I satisfying the equivalent conditions from the preceding theorem. Let C be the category of classical objects and comonoid homomorphisms in C. Question: What is classical about classical objects?  Abstraction in
97 Definition A classical object in a monoidal category C is a comonoid X X X I satisfying the equivalent conditions from the preceding theorem. Let C be the category of classical objects and comonoid homomorphisms in C. Question: What is classical about classical objects? classical structure structure  Abstraction in
98 Definition A classical object in a monoidal category C is a comonoid X X X I satisfying the equivalent conditions from the preceding theorem. Let C be the category of classical objects and comonoid homomorphisms in C. Question: What is classical about classical objects? classical structure structure Answer: classical elements = base vectors  Abstraction in
99 Definition A classical object in a monoidal category C is a comonoid X X X I satisfying the equivalent conditions from the preceding theorem. Let C be the category of classical objects and comonoid homomorphisms in C. Question: What is classical about classical objects? classical structure structure Answer: classical elements = base vectors is neither injective or surjective  Abstraction in
100 Consequences Upshot The Frobenius condition (c) assures the preservation of the operation under.  Abstraction in
101 Consequences Upshot The Frobenius condition (c) assures the preservation of the operation under. This leads to entanglement.  Abstraction in
102 Consequences Proposition The vectors C(X) of any classical object X form a algebra.  Abstraction in
103 Consequences Proposition The vectors C(X) of any classical object X form a algebra.  Abstraction in ϕ ψ = (ϕ ψ) ǫ = ϕ = ϕ = ϕ
104 Definition Two vectors ϕ, ψ C(A) in a monoidal category are orthonormal if their inner product is idempotent: ϕ ψ = ϕ ψ 2  Abstraction in
105 Definition Two vectors ϕ, ψ C(A) in a monoidal category are orthonormal if their inner product is idempotent: ϕ ψ = ϕ ψ 2  Proposition Any two base vectors are orthonormal. In particular, any two variables in a polynomial category are orthonormal. Abstraction in
106 Definition A classical object X is standard if it is (regularly) generated by its base vectors B(X) = {ϕ C(X) (κx. x x)ϕ = ϕ ϕ (κx. id I )ϕ = id I }  Abstraction in
107 Definition A classical object X is standard if it is (regularly) generated by its base vectors in the sense B(X) = {ϕ C(X) (κx. x x)ϕ = ϕ ϕ (κx. id I )ϕ = id I } f, g C(X, Y). ( ϕ B(X). fϕ = gϕ) = f = g  Abstraction in A base is regular if C(X, Y) C(Y) B(X) splits.
108 Proposition 1. All standard classical structures, that an object X C may carry, induce the bases with the same number of elements.  Abstraction in
109 Proposition 1. All standard classical structures, that an object X C may carry, induce the bases with the same number of elements.  Abstraction in Proposition 2. Let X C be a classical object with a regular base. Then the equipotent regular bases on any Y C are in onetoone correspondence with the unitaries X Y.
110 Definition A qubit type in an arbitrary monoidal category C is a classical object B with a unitary H of order 2. The induced bases are usually denoted by 0, 1, and +,.  Abstraction in
111 Definition A qubit type in an arbitrary monoidal category C is a classical object B with a unitary H of order 2. The induced bases are usually denoted by 0, 1, and +,.  Computing with qubits A monoidal category with B suffices for the basic algorithms. Abstraction in
112 Definition A qubit type in an arbitrary monoidal category C is a classical object B with a unitary H of order 2. The induced bases are usually denoted by 0, 1, and +,.  Computing with qubits A monoidal category with B suffices for the basic algorithms. A Klein group of unitaries on B suffices for all teleportation and dense coding schemes. Abstraction in
113 Proposition (Coecke, Vicary, P) Every classical object X in FHilb is regular, and X = C n. The classical structure is induced by a base B(X) = { i i n }, with i = ii = 1 n n i i=1  Abstraction in
114 Proposition (Coecke, Vicary, P) Every classical object X in FHilb is regular, and X = C n. The classical structure is induced by a base B(X) = { i i n }, with i = ii = 1 n n i i=1  Abstraction in Moreover, FHilb FSet
115 Proof A algebra in FHilb is a C algebra.  Abstraction in
116 Proof A algebra in FHilb is a C algebra. Thus for a classical X FHilb, : FHilb(X) FHilb(X, X) ( ) ϕ I X ( X ϕ X X X X ) is a representation of a commutative C algebra.  Abstraction in
117 Proof Working through the GelfandNaimark duality, we get X = C n  Abstraction in
118 Proof Working through the GelfandNaimark duality, we get X = C n  Abstraction in because the spectrum of a commutative finitely dimensional C algebra is a discrete set n of minimal central projections, while the representing spaces are the full matrix algebras C(1)
119 Outline Quantum programming λ Abstraction with pictures Consequences  Abstraction in Category of measurements 
120 Category of measurements ((this was not presented)) 
121 Outline Quantum programming λ Abstraction with pictures Consequences  Abstraction in Category of measurements 
122 Claim: Task: Simple algorithms have simple categorical semantics. Implement and analyze algorithms in nonstandard models: network computation, data mining. 
Graphical Classification of Entangled Qutrits. Kentaro Honda Dept. Computer Science University of Tokyo Japan
Graphical Classification of Entangled Qutrits Kentaro Honda Dept. Computer Science University of Tokyo Japan 1 Graphical Classification of Entangled Qutrits n Purpose n Commutative Frobenius Algebra n
More information3. Some commutative algebra Definition 3.1. Let R be a ring. We say that R is graded, if there is a direct sum decomposition, M n, R n,
3. Some commutative algebra Definition 3.1. Let be a ring. We say that is graded, if there is a direct sum decomposition, = n N n, where each n is an additive subgroup of, such that d e d+e. The elements
More informationit is easy to see that α = a
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore
More informationFinite dimensional C algebras
Finite dimensional C algebras S. Sundar September 14, 2012 Throughout H, K stand for finite dimensional Hilbert spaces. 1 Spectral theorem for selfadjoint opertors Let A B(H) and let {ξ 1, ξ 2,, ξ n
More informationNOTES ON CATEGORIES AND FUNCTORS
NOTES ON CATEGORIES AND FUNCTORS These notes collect basic definitions and facts about categories and functors that have been mentioned in the Homological Algebra course. For further reading about category
More informationRevision of ring theory
CHAPTER 1 Revision of ring theory 1.1. Basic definitions and examples In this chapter we will revise and extend some of the results on rings that you have studied on previous courses. A ring is an algebraic
More informationSOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS
SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS Ivan Kolář Abstract. Let F be a fiber product preserving bundle functor on the category FM m of the proper base order r. We deduce that the rth
More informationChapter 13: Basic ring theory
Chapter 3: Basic ring theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 3: Basic ring
More information7  Linear Transformations
7  Linear Transformations Mathematics has as its objects of study sets with various structures. These sets include sets of numbers (such as the integers, rationals, reals, and complexes) whose structure
More informationThe Basic Concepts of the Theory of Operads
CHAPTER The Basic Concepts of the Theory of Operads The main purpose of this chapter is to explain the definition of an operad. We make this definition explicit in the first section of the chapter (.).
More informationIntroduction To Lie algebras. Paniz Imani
Introduction To Lie algebras Paniz Imani 1 Contents 1 Lie algebras 3 1.1 Definition and examples....................................... 3 1.2 Some Basic Notions.........................................
More informationFree groups. Contents. 1 Free groups. 1.1 Definitions and notations
Free groups Contents 1 Free groups 1 1.1 Definitions and notations..................... 1 1.2 Construction of a free group with basis X........... 2 1.3 The universal property of free groups...............
More informationHomological Algebra  Problem Set 3
Homological Algebra  Problem Set 3 Problem 1. Let R be a ring. (1) Show that an Rmodule M is projective if and only if there exists a module M and a free module F such that F = M M (we say M is a summand
More informationGalois theory and the normal basis theorem
Galois theory and the normal basis theorem Arthur Ogus December 3, 2010 Recall the following key result: Theorem 1 (Independence of characters) Let M be a monoid and let K be a field. Then the set of monoid
More informationSection 6.1  Inner Products and Norms
Section 6.1  Inner Products and Norms Definition. Let V be a vector space over F {R, C}. An inner product on V is a function that assigns, to every ordered pair of vectors x and y in V, a scalar in F,
More informationIf I and J are graded ideals, then since Ĩ, J are ideal sheaves, there is a canonical homomorphism J OX. It is equal to the composite
Synopsis of material from EGA Chapter II, 2.5 2.9 2.5. Sheaf associated to a graded module. (2.5.1). If M is a graded S module, then M (f) is an S (f) module, giving a quasicoherent sheaf M (f) on Spec(S
More informationREPRESENTATION THEORY WEEK 12
REPRESENTATION THEORY WEEK 12 1. Reflection functors Let Q be a quiver. We say a vertex i Q 0 is +admissible if all arrows containing i have i as a target. If all arrows containing i have i as a source,
More information7. Operator Theory on Hilbert spaces
7. Operator Theory on Hilbert spaces In this section we take a closer look at linear continuous maps between Hilbert spaces. These are often called bounded operators, and the branch of Functional Analysis
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationAn Advanced Course in Linear Algebra. Jim L. Brown
An Advanced Course in Linear Algebra Jim L. Brown July 20, 2015 Contents 1 Introduction 3 2 Vector spaces 4 2.1 Getting started............................ 4 2.2 Bases and dimension.........................
More information18.312: Algebraic Combinatorics Lionel Levine. Lecture 8
18.312: Algebraic Combinatorics Lionel Levine Lecture date: March 1, 2011 Lecture 8 Notes by: Christopher Policastro Remark: In the last lecture, someone asked whether all posets could be constructed from
More informationMATH32062 Notes. 1 Affine algebraic varieties. 1.1 Definition of affine algebraic varieties
MATH32062 Notes 1 Affine algebraic varieties 1.1 Definition of affine algebraic varieties We want to define an algebraic variety as the solution set of a collection of polynomial equations, or equivalently,
More informationTangent and normal lines to conics
4.B. Tangent and normal lines to conics Apollonius work on conics includes a study of tangent and normal lines to these curves. The purpose of this document is to relate his approaches to the modern viewpoints
More informationf(x) is a singleton set for all x A. If f is a function and f(x) = {y}, we normally write
Math 525 Chapter 1 Stuff If A and B are sets, then A B = {(x,y) x A, y B} denotes the product set. If S A B, then S is called a relation from A to B or a relation between A and B. If B = A, S A A is called
More informationON GALOIS REALIZATIONS OF THE 2COVERABLE SYMMETRIC AND ALTERNATING GROUPS
ON GALOIS REALIZATIONS OF THE 2COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for
More informationFIBER PRODUCTS AND ZARISKI SHEAVES
FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also
More information1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain
Notes on realclosed fields These notes develop the algebraic background needed to understand the model theory of realclosed fields. To understand these notes, a standard graduate course in algebra is
More informationSolutions to Homework Problems from Chapter 3
Solutions to Homework Problems from Chapter 3 31 311 The following subsets of Z (with ordinary addition and multiplication satisfy all but one of the axioms for a ring In each case, which axiom fails (a
More information3. Prime and maximal ideals. 3.1. Definitions and Examples.
COMMUTATIVE ALGEBRA 5 3.1. Definitions and Examples. 3. Prime and maximal ideals Definition. An ideal P in a ring A is called prime if P A and if for every pair x, y of elements in A\P we have xy P. Equivalently,
More informationREPRESENTATIONS OF sl 2 (C)
REPRESENTATIONS OF sl (C) JAY TAYLOR Basic Definitions and Introduction Definition. A Lie algebra g is a vector space over a field k with an associated bilinear map [, ] : g g g, such that the following
More informationDirac Operators Lecture 2: Clifford algebras and spinors
Dirac Operators Lecture 2: Clifford algebras and spinors Ulrich Krähmer University of Glasgow www.maths.gla.ac.uk/ ukraehmer IPM Tehran 20. April 2009 U Dirac Operators Lecture 2: Clifford algebras and
More informationNominal Sets. c 2011 Andrew M. Pitts
Nominal Sets c 2011 Andrew M. Pitts Contents Preface page v 1 Permutations 1 1.1 The category of Gsets 1 1.2 Products and coproducts 3 1.3 Natural numbers 5 1.4 Functions 5 1.5 Power sets 6 1.6 Partial
More informationGROUPS ACTING ON A SET
GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for
More informationThe Dirichlet Unit Theorem
Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if
More informationOn the Fieldtheoreticity of Homomorphisms between the Multiplicative Groups of Number Fields
Publ. RIMS Kyoto Univ. 50 (2014), 269 285 DOI 10.4171/PRIMS/133 On the Fieldtheoreticity of Homomorphisms between the Multiplicative Groups of Number Fields by Yuichiro Hoshi Abstract We discuss the fieldtheoreticity
More information(b) Prove that there is NO ordered basis γ of V s.t. Solution: (a) We have
Advanced Linear Algebra, Fall 2011. Solutions to midterm #1. 1. Let V = P 2 (R), the vector space of polynomials of degree 2 over R. Let T : V V be the differentiation map, that is, T (f(x)) = f (x). (a)
More informationClassical Analysis I
Classical Analysis I 1 Sets, relations, functions A set is considered to be a collection of objects. The objects of a set A are called elements of A. If x is an element of a set A, we write x A, and if
More information(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9
Homework #01, due 1/20/10 = 9.1.2, 9.1.4, 9.1.6, 9.1.8, 9.2.3 Additional problems for study: 9.1.1, 9.1.3, 9.1.5, 9.1.13, 9.2.1, 9.2.2, 9.2.4, 9.2.5, 9.2.6, 9.3.2, 9.3.3 9.1.1 (This problem was not assigned
More informationRieszFredhölm Theory
RieszFredhölm Theory T. Muthukumar tmk@iitk.ac.in Contents 1 Introduction 1 2 Integral Operators 1 3 Compact Operators 7 4 Fredhölm Alternative 14 Appendices 18 A AscoliArzelá Result 18 B Normed Spaces
More informationCourse 221: Analysis Academic year , First Semester
Course 221: Analysis Academic year 200708, First Semester David R. Wilkins Copyright c David R. Wilkins 1989 2007 Contents 1 Basic Theorems of Real Analysis 1 1.1 The Least Upper Bound Principle................
More informationFinite Projective demorgan Algebras. honoring Jorge Martínez
Finite Projective demorgan Algebras Simone Bova Vanderbilt University (Nashville TN, USA) joint work with Leonardo Cabrer March 1113, 2011 Vanderbilt University (Nashville TN, USA) honoring Jorge Martínez
More informationThe Division Algorithm for Polynomials Handout Monday March 5, 2012
The Division Algorithm for Polynomials Handout Monday March 5, 0 Let F be a field (such as R, Q, C, or F p for some prime p. This will allow us to divide by any nonzero scalar. (For some of the following,
More informationCATEGORICAL QUANTUM MECHANICS
CATEGORICAL QUANTUM MECHANICS Samson Abramsky and Bob Coecke 1 INTRODUCTION Our aim is to revisit the mathematical foundations of quantum mechanics from a novel point of view. The standard axiomatic presentation
More informationLet H and J be as in the above lemma. The result of the lemma shows that the integral
Let and be as in the above lemma. The result of the lemma shows that the integral ( f(x, y)dy) dx is well defined; we denote it by f(x, y)dydx. By symmetry, also the integral ( f(x, y)dx) dy is well defined;
More informationISOMETRIES OF R n KEITH CONRAD
ISOMETRIES OF R n KEITH CONRAD 1. Introduction An isometry of R n is a function h: R n R n that preserves the distance between vectors: h(v) h(w) = v w for all v and w in R n, where (x 1,..., x n ) = x
More informationÉtale groupoids and their morphisms
Étale groupoids and their morphisms Ganna Kudryavtseva University of Ljubljana Semigroup Representations 2013 Edinburgh Ganna Kudryavtseva (Ljubljana) Étale groupoids and their morphisms April 11, 2013
More informationOnline publication date: 11 March 2010 PLEASE SCROLL DOWN FOR ARTICLE
This article was downloaded by: [Modoi, George Ciprian] On: 12 March 2010 Access details: Access Details: [subscription number 919828804] Publisher Taylor & Francis Informa Ltd Registered in England and
More informationSets and functions. {x R : x > 0}.
Sets and functions 1 Sets The language of sets and functions pervades mathematics, and most of the important operations in mathematics turn out to be functions or to be expressible in terms of functions.
More information1 Sets and Set Notation.
LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most
More informationcalculating the result modulo 3, as follows: p(0) = 0 3 + 0 + 1 = 1 0,
Homework #02, due 1/27/10 = 9.4.1, 9.4.2, 9.4.5, 9.4.6, 9.4.7. Additional problems recommended for study: (9.4.3), 9.4.4, 9.4.9, 9.4.11, 9.4.13, (9.4.14), 9.4.17 9.4.1 Determine whether the following polynomials
More informationParametric Domaintheoretic models of Linear Abadi & Plotkin Logic
Parametric Domaintheoretic models of Linear Abadi & Plotkin Logic Lars Birkedal Rasmus Ejlers Møgelberg Rasmus Lerchedahl Petersen IT University Technical Report Series TR007 ISSN 600 600 February 00
More informationCommutants of middle Bol loops. 1. Introduction
Quasigroups and Related Systems 22 (2014), 81 88 Commutants of middle Bol loops Ion Grecu and Parascovia Syrbu Abstract. The commutant of a loop is the set of all its elements that commute with each element
More informationLehigh University Geometry and Topology Conference. May 22, 2015
Lehigh University Geometry and Topology Conference May 22, 2015 University of Virginia Harvard University University of Rochester 1.1 Algebraic topologists have been studying spectra for over 50 years
More informationMATH 251 Homework 7 Solutions
MATH 51 Homework 7 Solutions 1. Let R be a ring and {S j j J} a collection of subrings resp. ideals of R. Prove that j J S j is a subring resp. ideal of R. Proof : Put S j J S j. Suppose that S j is a
More informationEXERCISES FOR THE COURSE MATH 570, FALL 2010
EXERCISES FOR THE COURSE MATH 570, FALL 2010 EYAL Z. GOREN (1) Let G be a group and H Z(G) a subgroup such that G/H is cyclic. Prove that G is abelian. Conclude that every group of order p 2 (p a prime
More informationLinear Algebra Concepts
University of Central Florida School of Electrical Engineering Computer Science EGN3420  Engineering Analysis. Fall 2009  dcm Linear Algebra Concepts Vector Spaces To define the concept of a vector
More informationSurjective isometries on spaces of differentiable vectorvalued functions
STUDIA MATHEMATICA 19 (1) (009) Surjective isometries on spaces of differentiable vectorvalued functions by Fernanda Botelho and James Jamison (Memphis, TN) Abstract. This paper gives a characterization
More informationTHE CATEGORY OF HYPER SACTS. Leila Shahbaz. 1. Introduction and preliminaries
italian journal of pure and applied mathematics n. 29 2012 (325 332 325 THE CATEGORY OF HYPER SACTS Leila Shahbaz Department of Mathematics University of Maragheh Maragheh 5518183111 Iran email: leilashahbaz@yahoo.com
More informationProblem Set 1 Solutions Math 109
Problem Set 1 Solutions Math 109 Exercise 1.6 Show that a regular tetrahedron has a total of twentyfour symmetries if reflections and products of reflections are allowed. Identify a symmetry which is
More informationThe fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992), 33 37) Bart de Smit
The fundamental group of the Hawaiian earring is not free Bart de Smit The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992),
More informationDistributive inverse semigroups
Distributive inverse semigroups Mark V Lawson HeriotWatt University and the Maxwell Institute for Mathematical Sciences Edinburgh, Scotland, UK August 2012 This talk is based on work carried out in collaboration
More informationSolutions A ring A is called a Boolean ring if x 2 = x for all x A.
1. A ring A is called a Boolean ring if x 2 = x for all x A. (a) Let E be a set and 2 E its power set. Show that a Boolean ring structure is defined on 2 E by setting AB = A B, and A + B = (A B c ) (B
More informationPolynomial Invariants
Polynomial Invariants Dylan Wilson October 9, 2014 (1) Today we will be interested in the following Question 1.1. What are all the possible polynomials in two variables f(x, y) such that f(x, y) = f(y,
More informationKAN EXTENSIONS AND NONSENSICAL GENERALIZATIONS
KAN EXENSIONS AND NONSENSICAL GENERALIZAIONS ADAM ANDERSON Abstract. he categorical concept of Kan extensions form a more general notion of both limits and adjoints. he general definition of Kan extensions
More informationBOREL SETS, WELLORDERINGS OF R AND THE CONTINUUM HYPOTHESIS. Proof. We shall define inductively a decreasing sequence of infinite subsets of N
BOREL SETS, WELLORDERINGS OF R AND THE CONTINUUM HYPOTHESIS SIMON THOMAS 1. The Finite Basis Problem Definition 1.1. Let C be a class of structures. Then a basis for C is a collection B C such that for
More informationHow many miles to βx? d miles, or just one foot
How many miles to βx? d miles, or just one foot Masaru Kada Kazuo Tomoyasu Yasuo Yoshinobu Abstract It is known that the Stone Čech compactification βx of a metrizable space X is approximated by the collection
More informationAlgebraic KTheory of Ring Spectra (Lecture 19)
Algebraic KTheory of ing Spectra (Lecture 19) October 17, 2014 Let be an associative ring spectrum (here by associative we mean A or associative up to coherent homotopy; homotopy associativity is not
More informationInvariants of groups and universality of quantum gate sets
Invariants of groups and universality of quantum gate sets Gábor Ivanyos MTA SZTAKI RWCA 2008, Levico Terme, June 19, 2008. Reversible gates Universality of reversible gates Reversible gates Universality
More informationChapter 10. Abstract algebra
Chapter 10. Abstract algebra C.O.S. Sorzano Biomedical Engineering December 17, 2013 10. Abstract algebra December 17, 2013 1 / 62 Outline 10 Abstract algebra Sets Relations and functions Partitions and
More informationFUNCTIONAL ANALYSIS PIOTR HAJ LASZ
FUNCTIONAL ANALYSIS PIOTR HAJ LASZ 1. Banach and Hilbert spaces In what follows K will denote R of C. Definition. A normed space is a pair (X, ), where X is a linear space over K and : X [0, ) is a function,
More informationIntroduction to Algebraic Geometry. Igor V. Dolgachev
Introduction to Algebraic Geometry Igor V. Dolgachev August 19, 2013 ii Contents 1 Systems of algebraic equations 1 2 Affine algebraic sets 7 3 Morphisms of affine algebraic varieties 13 4 Irreducible
More information3. A LITTLE ABOUT GROUP THEORY
3. A LITTLE ABOUT GROUP THEORY 3.1 Preliminaries It is an apparent fact that nature exhibits many symmetries, both exact and approximate. A symmetry is an invariance property of a system under a set of
More informationACTA UNIVERSITATIS APULENSIS No 15/2008 PRODUCTS OF MULTIALGEBRAS AND THEIR FUNDAMENTAL ALGEBRAS. Cosmin Pelea
ACTA UNIVERSITATIS APULENSIS No 15/2008 PRODUCTS OF MULTIALGEBRAS AND THEIR FUNDAMENTAL ALGEBRAS Cosmin Pelea Abstract. An important tool in the hyperstructure theory is the fundamental relation. The factorization
More informationP adic numbers And BruhatTits Tree
P adic numbers And BruhatTits Tree In the first part of these notes we give a brief introduction to padic numbers. In the second part we discuss some properties of the BruhatTits tree. It is mostly
More informationIntroduction to Modern Algebra
Introduction to Modern Algebra David Joyce Clark University Version 0.0.6, 3 Oct 2008 1 1 Copyright (C) 2008. ii I dedicate this book to my friend and colleague Arthur Chou. Arthur encouraged me to write
More informationCHAPTER 3. Mapping Concepts and Mapping Problems for. Scalar Valued Functions of a Scalar Variable
A SERIES OF CLASS NOTES TO INTRODUCE LINEAR AND NONLINEAR PROBLEMS TO ENGINEERS, SCIENTISTS, AND APPLIED MATHEMATICIANS REMEDIAL CLASS NOTES A COLLECTION OF HANDOUTS FOR REMEDIATION IN FUNDAMENTAL CONCEPTS
More informationCAN WE INTEGRATE x 2 e x2 /2? 1. THE PROBLEM. xe x2 /2 dx
CAN WE INTEGRATE x 2 e x2 /2? MICHAEL ANSHELEVICH ABSTRACT. Not every nice function has an integral given by a formula. The standard example is e x 2 /2 dx which is not an elementary function. On the other
More information= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that
Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Credit will not be given for answers (even correct ones) without
More informationPSEUDOQUOTIENTS: CONSTRUCTION, APPLICATIONS, AND THEIR FOURIER TRANSFORM
PSEUDOQUOTIENTS: CONSTRUCTION, APPLICATIONS, AND THEIR FOURIER TRANSFORM by MEHRDAD KHOSRAVI B.S. University of Central Florida, 2002 M.S. University of Central Florida, 2004 A dissertation submitted in
More informationF1.3YE2/F1.3YK3 ALGEBRA AND ANALYSIS. Part 2: ALGEBRA. RINGS AND FIELDS
F1.3YE2/F1.3YK3 ALGEBRA AND ANALYSIS Part 2: ALGEBRA. RINGS AND FIELDS LECTURE NOTES AND EXERCISES Contents 1 Revision of Group Theory 3 1.1 Introduction................................. 3 1.2 Binary Operations.............................
More informationsome algebra prelim solutions
some algebra prelim solutions David Morawski August 19, 2012 Problem (Spring 2008, #5). Show that f(x) = x p x + a is irreducible over F p whenever a F p is not zero. Proof. First, note that f(x) has no
More informationALGEBRA HW 5 CLAY SHONKWILER
ALGEBRA HW 5 CLAY SHONKWILER 510.5 Let F = Q(i). Prove that x 3 and x 3 3 are irreducible over F. Proof. If x 3 is reducible over F then, since it is a polynomial of degree 3, it must reduce into a product
More informationLecture 2: Essential quantum mechanics
Department of Physical Sciences, University of Helsinki http://theory.physics.helsinki.fi/ kvanttilaskenta/ p. 1/46 Quantum information and computing Lecture 2: Essential quantum mechanics JaniPetri Martikainen
More informationCLASSIFYING FINITE SUBGROUPS OF SO 3
CLASSIFYING FINITE SUBGROUPS OF SO 3 HANNAH MARK Abstract. The goal of this paper is to prove that all finite subgroups of SO 3 are isomorphic to either a cyclic group, a dihedral group, or the rotational
More informationLecture 5 Group actions
Lecture 5 Group actions From last time: 1. A subset H of a group G which is itself a group under the same operation is a subgroup of G. Two ways of identifying if H is a subgroup or not: (a) Check that
More informationLecture 18  Clifford Algebras and Spin groups
Lecture 18  Clifford Algebras and Spin groups April 5, 2013 Reference: Lawson and Michelsohn, Spin Geometry. 1 Universal Property If V is a vector space over R or C, let q be any quadratic form, meaning
More information6. Metric spaces. In this section we review the basic facts about metric spaces. d : X X [0, )
6. Metric spaces In this section we review the basic facts about metric spaces. Definitions. A metric on a nonempty set X is a map with the following properties: d : X X [0, ) (i) If x, y X are points
More informationFinite dimensional topological vector spaces
Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdorff t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the
More informationDomino Tableaux, Schützenberger Involution, and the Symmetric Group Action
Domino Tableaux, Schützenberger Involution, and the Symmetric Group Action Arkady Berenstein and Anatol N. Kirillov CRM2510 September 1997 Department of Mathematics, Cornell University, Ithaca, NY 14853,
More informationCHAPTER 8. Spaces of functions
CHAPTER 8 Spaces of functions 1. The algebra C(X) of continuous functions 2. Approximations in C(X): the StoneWeierstrass theorem 3. Recovering X from C(X): the Gelfand Naimark theorem 4. General function
More informationMath 312 Homework 1 Solutions
Math 31 Homework 1 Solutions Last modified: July 15, 01 This homework is due on Thursday, July 1th, 01 at 1:10pm Please turn it in during class, or in my mailbox in the main math office (next to 4W1) Please
More informationThe determinant of a skewsymmetric matrix is a square. This can be seen in small cases by direct calculation: 0 a. 12 a. a 13 a 24 a 14 a 23 a 14
4 Symplectic groups In this and the next two sections, we begin the study of the groups preserving reflexive sesquilinear forms or quadratic forms. We begin with the symplectic groups, associated with
More informationSEMINAR NOTES: GBUNDLES, STACKS AND BG (SEPT. 15, 2009)
SEMINAR NOTES: GBUNDLES, STACKS AND (SEPT. 15, 2009) DENNIS GAITSGORY 1. Gbundles 1.1. Let G be an affine algebraic group over a ground field k. We assume that k is algebraically closed. Definition 1.2.
More informationChapter 4: Binary Operations and Relations
c Dr Oksana Shatalov, Fall 2014 1 Chapter 4: Binary Operations and Relations 4.1: Binary Operations DEFINITION 1. A binary operation on a nonempty set A is a function from A A to A. Addition, subtraction,
More informationChapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.
Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize
More informationBounded Linear Operators on a Hilbert Space
Chapter 8 Bounded Linear Operators on a Hilbert Space In this chapter we describe some important classes of bounded linear operators on Hilbert spaces, including projections, unitary operators, and selfadjoint
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES
FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied
More informationSummary of week 8 (Lectures 22, 23 and 24)
WEEK 8 Summary of week 8 (Lectures 22, 23 and 24) This week we completed our discussion of Chapter 5 of [VST] Recall that if V and W are inner product spaces then a linear map T : V W is called an isometry
More informationABSTRACT ALGEBRA. Romyar Sharifi
ABSTRACT ALGEBRA Romyar Sharifi Contents Introduction 7 Part 1. A First Course 11 Chapter 1. Set theory 13 1.1. Sets and functions 13 1.2. Relations 15 1.3. Binary operations 19 Chapter 2. Group theory
More informationDMATH Algebra II FS 2014 Prof. Brent Doran. Solutions 1. Quotient rings, adjoining elements and product rings
DMATH Algebra II FS 2014 Prof. Brent Doran Solutions 1 Quotient rings, adjoining elements and product rings 1. Consider the homomorphism Z[x] Z for which x 1. Explain in this case what the Correspondence
More information