Abstract Algebra in 3 Hours

Ashwin Rao
Ashwin RaoVice President, Data Science & Optimization at Target à Target
ABSTRACT ALGEBRA IN 3 HOURS!
Ashwin Rao
Meant to be a quick preparation
for learning Category Theory
Overview of Preliminaries
• Set: unordered and unique elements
• Cartesian Product of Sets
• Relation: A subset of a cartesian product
• Reflexive, Symmetric, Transitive Relation on a set ó Equivalence Classes (Partition)
• Partially Ordered Set: Reflexive, Anti-symmetric and Transitive
• Function: Just a relation on A x B with every a in A mapped to a single b in B
• Domain, Codomain, Range, Injective, Surjective, Bijective functions
• Inverse and Composition of functions
Semigroup
• A set with an operation (*) under which the set is closed, along with associativity.
• Associativity: a * (b * c) = (a * b) * c
• Commutativity a * b = b * a is fairly common, but not part of semigroup definition.
• Canonical Example: Positive Integers Z+ with operation as + or *
• Funky Example: Integers with Min or Max operation.
• Example: Free semigroup of an alphabet (List[T] except empty list, with concat)
• Or, List[T] of length n, for any n in Z+
• Eg: Set of Functions f : X -> X with composition (think “shrinking” functions)
• Sub-Semigroup example: nZ+, for n in Z+
• Semigroup homomorphism (structure-preserving) f: G -> H : f(a *G b) = f(a) *H f(b)
Monoid
• Semigroup together with an identity element (call it “1”)
• Canonical Example: Natural numbers N with + as * , 0 as 1
• or, Z+ with * as * and 1 as 1
• Example: Free monoid of an alphabet (List[T] with concat)
• Or, List[T] of length n, for any n in N.
• Eg: {True, False} with AND as *, True as 1 (or with OR as *, False as 1)
• Eg: All subsets of a set S with Union as *, Empty as 1 (or Intersect as *, S as 1)
• Note: Cartesian product of monoids is a monoid
• Note: All functions from a set to a monoid form a monoid (pointwise operation)
• Eg: All Functions f: X -> X for any set X, with composition as * and identity function as 1
Monoid (continued)
• Submonoid example: nN
• Monoid homomorphism f: G -> H : f(a *G b) = f(a) *H f(b) and f(1G) = 1H
• Example: f(x) = 2x from (N,+,0) to (N,*,1)
• Isomorphism is when we have homomorphisms f: G -> H and g: H -> G such that g . f
= idG and f . g = idH
• Isomorphism means the two monoids are “basically the same”
• Kernel(f) = {a in G | f(a) = 1H} is a monoid
• Isomorphism can also be defined as a homomorphism f with Kernel(f) = {1G}
• Note: The f(x) = 2x example is an isomorphism
Group
• Monoid together with an inverse a-1 for every a such that a * a-1 = a-1 * a = 1
• Canonical Example: Z
• Eg: Bijective functions f : X -> X for any set X with {func composition, identity func, inverse func}
• Great Example: All Permutations of a finite set of size n (refered to as Sn)
• Eg: n-th complex root of unity zn and its powers (zn is called the generator of the group)
• Example of subgroup: nZ for any n in Z+
• Homomorphism f: G -> H: f(a *G b) = f(a) *H f(b), f(1G) = f(1H), f(a-1) = f(a)-1, eg: Z -> nZ
• Coseta,H for any a in G and any subgroup H if defined as: {a + h: h in H}
• Quotient Group: G/H is a group consisting of all the cosets of H (H becomes identity element)
• Canonical Example of Quotient Group: Z / nZ = Zn (Integers modulo n for any n in Z+)
• Isomorphism is same as defined for a monoid (isomorphism means “basically the same group“)
• First Isomorphism Theorem: Homomorphism f: G -> H, Kernel(f) is a subgroup of G, Range(f) is a
subgroup of H, G/Kernel(f) is isomorphic to Range(f)
Semiring and Ring
• Semiring has two monoid operations (*,1) and (+,0) with a * (b + c) = (a * b) + (a *
c), (a + b) * c = (a * c) + (b * c), and 0 * a = a * 0 = 0. Moreover, + is commutative.
• Canonical Example: N
• Ring is a semiring with + operation having an inverse (i.e., a group under +)
• Ring Homomorphism means homomorphism under both + and *
• Canonical Example: Z
• Another Canonical Example: Polynomials over R
• Ideal I is a subset of Ring R s.t. for any x, y in I and r in R, x + y and r * x are in I
• Canonical Example of Ideal: nZ
• R / I is a ring (Quotient Ring) consisting of all the cosets of I s.t. (a+I)+(b+I) =
(a+b)+I and (a+I)*(b+I) = (ab)+I
Field
• Field is a ring with an inverse for *, and * commutative.
• Canonical Example: Rational Numbers Q or Real Numbers R
• Finite Field Example: Zp for any prime p
• Every finite field is isomorphic to the set of polynomials over the finite field Zp
modulo an irreducible polynomial (over Zp)
• Hence, finite fields are of size pr (r is the degree of the irreducible polynomial)
Vector Space and Linear Map
• Vector Space V (associated with scalar Field F) is a commutative group under vector addition,
together with scalar multiplication, and the following properties:
o a(bv) = (ab)v
o 1(v) = v
o a(u+v) = au + av
o (a+b)v = av + bv
• Canonical Example: Rn
• Eg: Complex numbers and other field extensions
• Eg: Functions from a set X to a field F (pointwise addition and pointwise scalar multiplication)
• Linear Map f: V -> W has property f(v+w) = f(v) + f(w) and f(a.x) = a.f(x)
• Canonical Example: m by n Matrix M: Rn -> Rm
• Linear maps V -> W forms a vector space L(V,W)
• Linear maps V -> F (F the scalar Field) is called the Dual Vector Space V*
Fundamental Theorem of Linear Algebra
• Consider a linear map expressed as a m x n matrix M : Rn -> Rm
• Column Space (Range): Subspace of Rm consisting of all Mx (over all x in Rn)
• Row Space (CoRange): Subspace of Rn consisting of all MTy (over all y in Rm)
• Kernel Space: Subspace of Rn mapping (through M) to 0 in Rm
• CoKernel Space: Subspace of Rm mapping (through MT) to 0 in Rn
• Rank r is defined as the dimension of Column Space(= Dimension of Row Space)
• Kernel Space is orthogonal to Row Space and has rank n – r (a.k.a. Nullity)
• CoKernel Space is orthogonal to Column Space and has rank m – r (a.k.a. CoRank)
• More generally, we know from the First Isomorphism Theorem (on Groups) that the
Kernel Quotient (i.e., Row Space) and Range (i.e., Column Space) are isomorphic.
1 sur 10

Recommandé

Pseudo and Quasi Random Number Generation par
Pseudo and Quasi Random Number GenerationPseudo and Quasi Random Number Generation
Pseudo and Quasi Random Number GenerationAshwin Rao
1.6K vues20 diapositives
Category Theory made easy with (ugly) pictures par
Category Theory made easy with (ugly) picturesCategory Theory made easy with (ugly) pictures
Category Theory made easy with (ugly) picturesAshwin Rao
1.6K vues28 diapositives
Unit vii par
Unit viiUnit vii
Unit viimrecedu
647 vues36 diapositives
fourier series and fourier transform par
fourier series and fourier transformfourier series and fourier transform
fourier series and fourier transformVikas Rathod
292 vues14 diapositives
Lesson 27: Evaluating Definite Integrals par
Lesson 27: Evaluating Definite IntegralsLesson 27: Evaluating Definite Integrals
Lesson 27: Evaluating Definite IntegralsMatthew Leingang
4.3K vues72 diapositives
Fourier transform par
Fourier transformFourier transform
Fourier transformChinnannan Periasamy
2.6K vues56 diapositives

Contenu connexe

Tendances

Lesson 30: The Definite Integral par
Lesson 30: The  Definite  IntegralLesson 30: The  Definite  Integral
Lesson 30: The Definite IntegralMatthew Leingang
2.9K vues35 diapositives
Signal Processing Introduction using Fourier Transforms par
Signal Processing Introduction using Fourier TransformsSignal Processing Introduction using Fourier Transforms
Signal Processing Introduction using Fourier TransformsArvind Devaraj
7.7K vues8 diapositives
Half range sine cosine fourier series par
Half range sine cosine fourier seriesHalf range sine cosine fourier series
Half range sine cosine fourier seriesHardik Parmar
52.3K vues8 diapositives
Deep generative model.pdf par
Deep generative model.pdfDeep generative model.pdf
Deep generative model.pdfHyungjoo Cho
5.6K vues85 diapositives
Function in Mathematics par
Function in MathematicsFunction in Mathematics
Function in MathematicsDaffodil International University
2.8K vues13 diapositives
Lesson 20: Derivatives and the Shapes of Curves (slides) par
Lesson 20: Derivatives and the Shapes of Curves (slides)Lesson 20: Derivatives and the Shapes of Curves (slides)
Lesson 20: Derivatives and the Shapes of Curves (slides)Matthew Leingang
1.1K vues128 diapositives

Tendances(19)

Signal Processing Introduction using Fourier Transforms par Arvind Devaraj
Signal Processing Introduction using Fourier TransformsSignal Processing Introduction using Fourier Transforms
Signal Processing Introduction using Fourier Transforms
Arvind Devaraj7.7K vues
Half range sine cosine fourier series par Hardik Parmar
Half range sine cosine fourier seriesHalf range sine cosine fourier series
Half range sine cosine fourier series
Hardik Parmar52.3K vues
Deep generative model.pdf par Hyungjoo Cho
Deep generative model.pdfDeep generative model.pdf
Deep generative model.pdf
Hyungjoo Cho5.6K vues
Lesson 20: Derivatives and the Shapes of Curves (slides) par Matthew Leingang
Lesson 20: Derivatives and the Shapes of Curves (slides)Lesson 20: Derivatives and the Shapes of Curves (slides)
Lesson 20: Derivatives and the Shapes of Curves (slides)
Matthew Leingang1.1K vues
Expressiveness and Model of the Polymorphic λ Calculus par evastsdsh
Expressiveness and Model of the Polymorphic λ CalculusExpressiveness and Model of the Polymorphic λ Calculus
Expressiveness and Model of the Polymorphic λ Calculus
evastsdsh649 vues
Lesson 14: Derivatives of Logarithmic and Exponential Functions (slides) par Matthew Leingang
Lesson 14: Derivatives of Logarithmic and Exponential Functions (slides)Lesson 14: Derivatives of Logarithmic and Exponential Functions (slides)
Lesson 14: Derivatives of Logarithmic and Exponential Functions (slides)
Matthew Leingang2.9K vues
Domain & range intro presentation par daldridge530
Domain & range intro presentationDomain & range intro presentation
Domain & range intro presentation
daldridge5302.9K vues
Lesson 18: Maximum and Minimum Values (slides) par Matthew Leingang
Lesson 18: Maximum and Minimum Values (slides)Lesson 18: Maximum and Minimum Values (slides)
Lesson 18: Maximum and Minimum Values (slides)
Matthew Leingang2.8K vues
Lesson 25: Evaluating Definite Integrals (slides) par Matthew Leingang
Lesson 25: Evaluating Definite Integrals (slides)Lesson 25: Evaluating Definite Integrals (slides)
Lesson 25: Evaluating Definite Integrals (slides)
Matthew Leingang3.3K vues
Lesson 8: Basic Differentation Rules (slides) par Matthew Leingang
Lesson 8: Basic Differentation Rules (slides)Lesson 8: Basic Differentation Rules (slides)
Lesson 8: Basic Differentation Rules (slides)
Matthew Leingang534 vues
Maximums and minimum par rubimedina01
Maximums and minimum Maximums and minimum
Maximums and minimum
rubimedina013.5K vues

En vedette

The Newsvendor meets the Options Trader par
The Newsvendor meets the Options TraderThe Newsvendor meets the Options Trader
The Newsvendor meets the Options TraderAshwin Rao
1.1K vues7 diapositives
Risk Pooling sensitivity to Correlation par
Risk Pooling sensitivity to CorrelationRisk Pooling sensitivity to Correlation
Risk Pooling sensitivity to CorrelationAshwin Rao
349 vues2 diapositives
The Fuss about || Haskell | Scala | F# || par
The Fuss about || Haskell | Scala | F# ||The Fuss about || Haskell | Scala | F# ||
The Fuss about || Haskell | Scala | F# ||Ashwin Rao
1.5K vues23 diapositives
Introduction to Stochastic calculus par
Introduction to Stochastic calculusIntroduction to Stochastic calculus
Introduction to Stochastic calculusAshwin Rao
2K vues22 diapositives
OmniChannelNewsvendor par
OmniChannelNewsvendorOmniChannelNewsvendor
OmniChannelNewsvendorAshwin Rao
490 vues7 diapositives
Careers outside Academia - USC Computer Science Masters and Ph.D. Students par
Careers outside Academia - USC Computer Science Masters and Ph.D. StudentsCareers outside Academia - USC Computer Science Masters and Ph.D. Students
Careers outside Academia - USC Computer Science Masters and Ph.D. StudentsAshwin Rao
944 vues17 diapositives

En vedette(18)

The Newsvendor meets the Options Trader par Ashwin Rao
The Newsvendor meets the Options TraderThe Newsvendor meets the Options Trader
The Newsvendor meets the Options Trader
Ashwin Rao1.1K vues
Risk Pooling sensitivity to Correlation par Ashwin Rao
Risk Pooling sensitivity to CorrelationRisk Pooling sensitivity to Correlation
Risk Pooling sensitivity to Correlation
Ashwin Rao349 vues
The Fuss about || Haskell | Scala | F# || par Ashwin Rao
The Fuss about || Haskell | Scala | F# ||The Fuss about || Haskell | Scala | F# ||
The Fuss about || Haskell | Scala | F# ||
Ashwin Rao1.5K vues
Introduction to Stochastic calculus par Ashwin Rao
Introduction to Stochastic calculusIntroduction to Stochastic calculus
Introduction to Stochastic calculus
Ashwin Rao2K vues
OmniChannelNewsvendor par Ashwin Rao
OmniChannelNewsvendorOmniChannelNewsvendor
OmniChannelNewsvendor
Ashwin Rao490 vues
Careers outside Academia - USC Computer Science Masters and Ph.D. Students par Ashwin Rao
Careers outside Academia - USC Computer Science Masters and Ph.D. StudentsCareers outside Academia - USC Computer Science Masters and Ph.D. Students
Careers outside Academia - USC Computer Science Masters and Ph.D. Students
Ashwin Rao944 vues
Career Advice at University College of London, Mathematics Department. par Ashwin Rao
Career Advice at University College of London, Mathematics Department.Career Advice at University College of London, Mathematics Department.
Career Advice at University College of London, Mathematics Department.
Ashwin Rao1.2K vues
IIT Bombay - First Steps to a Successful Career par Ashwin Rao
IIT Bombay - First Steps to a Successful CareerIIT Bombay - First Steps to a Successful Career
IIT Bombay - First Steps to a Successful Career
Ashwin Rao2.7K vues
Fitness 101 - Mumbai par Ashwin Rao
Fitness 101 - MumbaiFitness 101 - Mumbai
Fitness 101 - Mumbai
Ashwin Rao884 vues
Introduction to Risk-Neutral Pricing par Ashwin Rao
Introduction to Risk-Neutral PricingIntroduction to Risk-Neutral Pricing
Introduction to Risk-Neutral Pricing
Ashwin Rao1.9K vues
Columbia CS - Roles in Quant Finance par Ashwin Rao
Columbia CS - Roles in Quant Finance Columbia CS - Roles in Quant Finance
Columbia CS - Roles in Quant Finance
Ashwin Rao886 vues
Careers in Quant Finance talk at UCLA Financial Engineering par Ashwin Rao
Careers in Quant Finance talk at UCLA Financial EngineeringCareers in Quant Finance talk at UCLA Financial Engineering
Careers in Quant Finance talk at UCLA Financial Engineering
Ashwin Rao1.2K vues
Stanford FinMath - Careers in Quant Finance par Ashwin Rao
Stanford FinMath - Careers in Quant FinanceStanford FinMath - Careers in Quant Finance
Stanford FinMath - Careers in Quant Finance
Ashwin Rao1.5K vues
Berkeley Financial Engineering - Guidance on Careers in Quantitative Finance par Ashwin Rao
Berkeley Financial Engineering - Guidance on Careers in Quantitative FinanceBerkeley Financial Engineering - Guidance on Careers in Quantitative Finance
Berkeley Financial Engineering - Guidance on Careers in Quantitative Finance
Ashwin Rao1.9K vues
Careers in Quant Finance - IIT Delhi par Ashwin Rao
Careers in Quant Finance - IIT DelhiCareers in Quant Finance - IIT Delhi
Careers in Quant Finance - IIT Delhi
Ashwin Rao3.4K vues
Implementing Higher-Kinded Types in Dotty par Martin Odersky
Implementing Higher-Kinded Types in DottyImplementing Higher-Kinded Types in Dotty
Implementing Higher-Kinded Types in Dotty
Martin Odersky11.9K vues
HOW can India's Parliament function better? par Yogesh Upadhyaya
HOW can India's Parliament function better?HOW can India's Parliament function better?
HOW can India's Parliament function better?
Yogesh Upadhyaya25.8K vues

Similaire à Abstract Algebra in 3 Hours

Linear Transformations_part1.pdf par
Linear Transformations_part1.pdfLinear Transformations_part1.pdf
Linear Transformations_part1.pdfHirunManujaya
9 vues12 diapositives
Z transfrm ppt par
Z transfrm pptZ transfrm ppt
Z transfrm pptSWATI MISHRA
32.6K vues52 diapositives
U 2-bm-2 par
U 2-bm-2U 2-bm-2
U 2-bm-2Rai University
755 vues38 diapositives
High-dimensional polytopes defined by oracles: algorithms, computations and a... par
High-dimensional polytopes defined by oracles: algorithms, computations and a...High-dimensional polytopes defined by oracles: algorithms, computations and a...
High-dimensional polytopes defined by oracles: algorithms, computations and a...Vissarion Fisikopoulos
32 vues79 diapositives
Transformations par
TransformationsTransformations
TransformationsSyed Zaid Irshad
279 vues24 diapositives
Functions par
FunctionsFunctions
FunctionsGaditek
780 vues17 diapositives

Similaire à Abstract Algebra in 3 Hours(20)

High-dimensional polytopes defined by oracles: algorithms, computations and a... par Vissarion Fisikopoulos
High-dimensional polytopes defined by oracles: algorithms, computations and a...High-dimensional polytopes defined by oracles: algorithms, computations and a...
High-dimensional polytopes defined by oracles: algorithms, computations and a...
Functions par Gaditek
FunctionsFunctions
Functions
Gaditek780 vues
Bartosz Milewski, “Re-discovering Monads in C++” par Platonov Sergey
Bartosz Milewski, “Re-discovering Monads in C++”Bartosz Milewski, “Re-discovering Monads in C++”
Bartosz Milewski, “Re-discovering Monads in C++”
Platonov Sergey2.3K vues
Different types of functions par Katrina Young
Different types of functionsDifferent types of functions
Different types of functions
Katrina Young40.5K vues
Data structures and Algorithm analysis_Lecture4.pptx par AhmedEldesoky24
Data structures and Algorithm analysis_Lecture4.pptxData structures and Algorithm analysis_Lecture4.pptx
Data structures and Algorithm analysis_Lecture4.pptx
Domain-and-Range-of-a-Function par EmeraldAcaba
Domain-and-Range-of-a-FunctionDomain-and-Range-of-a-Function
Domain-and-Range-of-a-Function
EmeraldAcaba70 vues

Plus de Ashwin Rao

Stochastic Control/Reinforcement Learning for Optimal Market Making par
Stochastic Control/Reinforcement Learning for Optimal Market MakingStochastic Control/Reinforcement Learning for Optimal Market Making
Stochastic Control/Reinforcement Learning for Optimal Market MakingAshwin Rao
1.5K vues30 diapositives
Adaptive Multistage Sampling Algorithm: The Origins of Monte Carlo Tree Search par
Adaptive Multistage Sampling Algorithm: The Origins of Monte Carlo Tree SearchAdaptive Multistage Sampling Algorithm: The Origins of Monte Carlo Tree Search
Adaptive Multistage Sampling Algorithm: The Origins of Monte Carlo Tree SearchAshwin Rao
220 vues7 diapositives
Fundamental Theorems of Asset Pricing par
Fundamental Theorems of Asset PricingFundamental Theorems of Asset Pricing
Fundamental Theorems of Asset PricingAshwin Rao
2K vues38 diapositives
Evolutionary Strategies as an alternative to Reinforcement Learning par
Evolutionary Strategies as an alternative to Reinforcement LearningEvolutionary Strategies as an alternative to Reinforcement Learning
Evolutionary Strategies as an alternative to Reinforcement LearningAshwin Rao
327 vues7 diapositives
Principles of Mathematical Economics applied to a Physical-Stores Retail Busi... par
Principles of Mathematical Economics applied to a Physical-Stores Retail Busi...Principles of Mathematical Economics applied to a Physical-Stores Retail Busi...
Principles of Mathematical Economics applied to a Physical-Stores Retail Busi...Ashwin Rao
890 vues24 diapositives
Understanding Dynamic Programming through Bellman Operators par
Understanding Dynamic Programming through Bellman OperatorsUnderstanding Dynamic Programming through Bellman Operators
Understanding Dynamic Programming through Bellman OperatorsAshwin Rao
636 vues11 diapositives

Plus de Ashwin Rao(18)

Stochastic Control/Reinforcement Learning for Optimal Market Making par Ashwin Rao
Stochastic Control/Reinforcement Learning for Optimal Market MakingStochastic Control/Reinforcement Learning for Optimal Market Making
Stochastic Control/Reinforcement Learning for Optimal Market Making
Ashwin Rao1.5K vues
Adaptive Multistage Sampling Algorithm: The Origins of Monte Carlo Tree Search par Ashwin Rao
Adaptive Multistage Sampling Algorithm: The Origins of Monte Carlo Tree SearchAdaptive Multistage Sampling Algorithm: The Origins of Monte Carlo Tree Search
Adaptive Multistage Sampling Algorithm: The Origins of Monte Carlo Tree Search
Ashwin Rao220 vues
Fundamental Theorems of Asset Pricing par Ashwin Rao
Fundamental Theorems of Asset PricingFundamental Theorems of Asset Pricing
Fundamental Theorems of Asset Pricing
Ashwin Rao2K vues
Evolutionary Strategies as an alternative to Reinforcement Learning par Ashwin Rao
Evolutionary Strategies as an alternative to Reinforcement LearningEvolutionary Strategies as an alternative to Reinforcement Learning
Evolutionary Strategies as an alternative to Reinforcement Learning
Ashwin Rao327 vues
Principles of Mathematical Economics applied to a Physical-Stores Retail Busi... par Ashwin Rao
Principles of Mathematical Economics applied to a Physical-Stores Retail Busi...Principles of Mathematical Economics applied to a Physical-Stores Retail Busi...
Principles of Mathematical Economics applied to a Physical-Stores Retail Busi...
Ashwin Rao890 vues
Understanding Dynamic Programming through Bellman Operators par Ashwin Rao
Understanding Dynamic Programming through Bellman OperatorsUnderstanding Dynamic Programming through Bellman Operators
Understanding Dynamic Programming through Bellman Operators
Ashwin Rao636 vues
Stochastic Control of Optimal Trade Order Execution par Ashwin Rao
Stochastic Control of Optimal Trade Order ExecutionStochastic Control of Optimal Trade Order Execution
Stochastic Control of Optimal Trade Order Execution
Ashwin Rao759 vues
A.I. for Dynamic Decisioning under Uncertainty (for real-world problems in Re... par Ashwin Rao
A.I. for Dynamic Decisioning under Uncertainty (for real-world problems in Re...A.I. for Dynamic Decisioning under Uncertainty (for real-world problems in Re...
A.I. for Dynamic Decisioning under Uncertainty (for real-world problems in Re...
Ashwin Rao1.2K vues
Overview of Stochastic Calculus Foundations par Ashwin Rao
Overview of Stochastic Calculus FoundationsOverview of Stochastic Calculus Foundations
Overview of Stochastic Calculus Foundations
Ashwin Rao375 vues
Risk-Aversion, Risk-Premium and Utility Theory par Ashwin Rao
Risk-Aversion, Risk-Premium and Utility TheoryRisk-Aversion, Risk-Premium and Utility Theory
Risk-Aversion, Risk-Premium and Utility Theory
Ashwin Rao3.4K vues
Value Function Geometry and Gradient TD par Ashwin Rao
Value Function Geometry and Gradient TDValue Function Geometry and Gradient TD
Value Function Geometry and Gradient TD
Ashwin Rao579 vues
Stanford CME 241 - Reinforcement Learning for Stochastic Control Problems in ... par Ashwin Rao
Stanford CME 241 - Reinforcement Learning for Stochastic Control Problems in ...Stanford CME 241 - Reinforcement Learning for Stochastic Control Problems in ...
Stanford CME 241 - Reinforcement Learning for Stochastic Control Problems in ...
Ashwin Rao863 vues
HJB Equation and Merton's Portfolio Problem par Ashwin Rao
HJB Equation and Merton's Portfolio ProblemHJB Equation and Merton's Portfolio Problem
HJB Equation and Merton's Portfolio Problem
Ashwin Rao1K vues
Policy Gradient Theorem par Ashwin Rao
Policy Gradient TheoremPolicy Gradient Theorem
Policy Gradient Theorem
Ashwin Rao2.9K vues
A Quick and Terse Introduction to Efficient Frontier Mathematics par Ashwin Rao
A Quick and Terse Introduction to Efficient Frontier MathematicsA Quick and Terse Introduction to Efficient Frontier Mathematics
A Quick and Terse Introduction to Efficient Frontier Mathematics
Ashwin Rao831 vues
Towards Improved Pricing and Hedging of Agency Mortgage-backed Securities par Ashwin Rao
Towards Improved Pricing and Hedging of Agency Mortgage-backed SecuritiesTowards Improved Pricing and Hedging of Agency Mortgage-backed Securities
Towards Improved Pricing and Hedging of Agency Mortgage-backed Securities
Ashwin Rao1.2K vues
Recursive Formulation of Gradient in a Dense Feed-Forward Deep Neural Network par Ashwin Rao
Recursive Formulation of Gradient in a Dense Feed-Forward Deep Neural NetworkRecursive Formulation of Gradient in a Dense Feed-Forward Deep Neural Network
Recursive Formulation of Gradient in a Dense Feed-Forward Deep Neural Network
Ashwin Rao560 vues
Demystifying the Bias-Variance Tradeoff par Ashwin Rao
Demystifying the Bias-Variance TradeoffDemystifying the Bias-Variance Tradeoff
Demystifying the Bias-Variance Tradeoff
Ashwin Rao2.4K vues

Dernier

"Node.js Development in 2024: trends and tools", Nikita Galkin par
"Node.js Development in 2024: trends and tools", Nikita Galkin "Node.js Development in 2024: trends and tools", Nikita Galkin
"Node.js Development in 2024: trends and tools", Nikita Galkin Fwdays
32 vues38 diapositives
"Running students' code in isolation. The hard way", Yurii Holiuk par
"Running students' code in isolation. The hard way", Yurii Holiuk "Running students' code in isolation. The hard way", Yurii Holiuk
"Running students' code in isolation. The hard way", Yurii Holiuk Fwdays
36 vues34 diapositives
Ransomware is Knocking your Door_Final.pdf par
Ransomware is Knocking your Door_Final.pdfRansomware is Knocking your Door_Final.pdf
Ransomware is Knocking your Door_Final.pdfSecurity Bootcamp
96 vues46 diapositives
Evaluation of Quality of Experience of ABR Schemes in Gaming Stream par
Evaluation of Quality of Experience of ABR Schemes in Gaming StreamEvaluation of Quality of Experience of ABR Schemes in Gaming Stream
Evaluation of Quality of Experience of ABR Schemes in Gaming StreamAlpen-Adria-Universität
38 vues34 diapositives
The Power of Generative AI in Accelerating No Code Adoption.pdf par
The Power of Generative AI in Accelerating No Code Adoption.pdfThe Power of Generative AI in Accelerating No Code Adoption.pdf
The Power of Generative AI in Accelerating No Code Adoption.pdfSaeed Al Dhaheri
32 vues18 diapositives
KVM Security Groups Under the Hood - Wido den Hollander - Your.Online par
KVM Security Groups Under the Hood - Wido den Hollander - Your.OnlineKVM Security Groups Under the Hood - Wido den Hollander - Your.Online
KVM Security Groups Under the Hood - Wido den Hollander - Your.OnlineShapeBlue
221 vues19 diapositives

Dernier(20)

"Node.js Development in 2024: trends and tools", Nikita Galkin par Fwdays
"Node.js Development in 2024: trends and tools", Nikita Galkin "Node.js Development in 2024: trends and tools", Nikita Galkin
"Node.js Development in 2024: trends and tools", Nikita Galkin
Fwdays32 vues
"Running students' code in isolation. The hard way", Yurii Holiuk par Fwdays
"Running students' code in isolation. The hard way", Yurii Holiuk "Running students' code in isolation. The hard way", Yurii Holiuk
"Running students' code in isolation. The hard way", Yurii Holiuk
Fwdays36 vues
The Power of Generative AI in Accelerating No Code Adoption.pdf par Saeed Al Dhaheri
The Power of Generative AI in Accelerating No Code Adoption.pdfThe Power of Generative AI in Accelerating No Code Adoption.pdf
The Power of Generative AI in Accelerating No Code Adoption.pdf
KVM Security Groups Under the Hood - Wido den Hollander - Your.Online par ShapeBlue
KVM Security Groups Under the Hood - Wido den Hollander - Your.OnlineKVM Security Groups Under the Hood - Wido den Hollander - Your.Online
KVM Security Groups Under the Hood - Wido den Hollander - Your.Online
ShapeBlue221 vues
Business Analyst Series 2023 - Week 4 Session 8 par DianaGray10
Business Analyst Series 2023 -  Week 4 Session 8Business Analyst Series 2023 -  Week 4 Session 8
Business Analyst Series 2023 - Week 4 Session 8
DianaGray10123 vues
Elevating Privacy and Security in CloudStack - Boris Stoyanov - ShapeBlue par ShapeBlue
Elevating Privacy and Security in CloudStack - Boris Stoyanov - ShapeBlueElevating Privacy and Security in CloudStack - Boris Stoyanov - ShapeBlue
Elevating Privacy and Security in CloudStack - Boris Stoyanov - ShapeBlue
ShapeBlue222 vues
Don’t Make A Human Do A Robot’s Job! : 6 Reasons Why AI Will Save Us & Not De... par Moses Kemibaro
Don’t Make A Human Do A Robot’s Job! : 6 Reasons Why AI Will Save Us & Not De...Don’t Make A Human Do A Robot’s Job! : 6 Reasons Why AI Will Save Us & Not De...
Don’t Make A Human Do A Robot’s Job! : 6 Reasons Why AI Will Save Us & Not De...
Moses Kemibaro34 vues
Transcript: Redefining the book supply chain: A glimpse into the future - Tec... par BookNet Canada
Transcript: Redefining the book supply chain: A glimpse into the future - Tec...Transcript: Redefining the book supply chain: A glimpse into the future - Tec...
Transcript: Redefining the book supply chain: A glimpse into the future - Tec...
BookNet Canada41 vues
CloudStack Managed User Data and Demo - Harikrishna Patnala - ShapeBlue par ShapeBlue
CloudStack Managed User Data and Demo - Harikrishna Patnala - ShapeBlueCloudStack Managed User Data and Demo - Harikrishna Patnala - ShapeBlue
CloudStack Managed User Data and Demo - Harikrishna Patnala - ShapeBlue
ShapeBlue135 vues
VNF Integration and Support in CloudStack - Wei Zhou - ShapeBlue par ShapeBlue
VNF Integration and Support in CloudStack - Wei Zhou - ShapeBlueVNF Integration and Support in CloudStack - Wei Zhou - ShapeBlue
VNF Integration and Support in CloudStack - Wei Zhou - ShapeBlue
ShapeBlue203 vues
2FA and OAuth2 in CloudStack - Andrija Panić - ShapeBlue par ShapeBlue
2FA and OAuth2 in CloudStack - Andrija Panić - ShapeBlue2FA and OAuth2 in CloudStack - Andrija Panić - ShapeBlue
2FA and OAuth2 in CloudStack - Andrija Panić - ShapeBlue
ShapeBlue147 vues
Why and How CloudStack at weSystems - Stephan Bienek - weSystems par ShapeBlue
Why and How CloudStack at weSystems - Stephan Bienek - weSystemsWhy and How CloudStack at weSystems - Stephan Bienek - weSystems
Why and How CloudStack at weSystems - Stephan Bienek - weSystems
ShapeBlue238 vues
NTGapps NTG LowCode Platform par Mustafa Kuğu
NTGapps NTG LowCode Platform NTGapps NTG LowCode Platform
NTGapps NTG LowCode Platform
Mustafa Kuğu423 vues
Webinar : Desperately Seeking Transformation - Part 2: Insights from leading... par The Digital Insurer
Webinar : Desperately Seeking Transformation - Part 2:  Insights from leading...Webinar : Desperately Seeking Transformation - Part 2:  Insights from leading...
Webinar : Desperately Seeking Transformation - Part 2: Insights from leading...
What’s New in CloudStack 4.19 - Abhishek Kumar - ShapeBlue par ShapeBlue
What’s New in CloudStack 4.19 - Abhishek Kumar - ShapeBlueWhat’s New in CloudStack 4.19 - Abhishek Kumar - ShapeBlue
What’s New in CloudStack 4.19 - Abhishek Kumar - ShapeBlue
ShapeBlue263 vues

Abstract Algebra in 3 Hours

  • 1. ABSTRACT ALGEBRA IN 3 HOURS! Ashwin Rao Meant to be a quick preparation for learning Category Theory
  • 2. Overview of Preliminaries • Set: unordered and unique elements • Cartesian Product of Sets • Relation: A subset of a cartesian product • Reflexive, Symmetric, Transitive Relation on a set ó Equivalence Classes (Partition) • Partially Ordered Set: Reflexive, Anti-symmetric and Transitive • Function: Just a relation on A x B with every a in A mapped to a single b in B • Domain, Codomain, Range, Injective, Surjective, Bijective functions • Inverse and Composition of functions
  • 3. Semigroup • A set with an operation (*) under which the set is closed, along with associativity. • Associativity: a * (b * c) = (a * b) * c • Commutativity a * b = b * a is fairly common, but not part of semigroup definition. • Canonical Example: Positive Integers Z+ with operation as + or * • Funky Example: Integers with Min or Max operation. • Example: Free semigroup of an alphabet (List[T] except empty list, with concat) • Or, List[T] of length n, for any n in Z+ • Eg: Set of Functions f : X -> X with composition (think “shrinking” functions) • Sub-Semigroup example: nZ+, for n in Z+ • Semigroup homomorphism (structure-preserving) f: G -> H : f(a *G b) = f(a) *H f(b)
  • 4. Monoid • Semigroup together with an identity element (call it “1”) • Canonical Example: Natural numbers N with + as * , 0 as 1 • or, Z+ with * as * and 1 as 1 • Example: Free monoid of an alphabet (List[T] with concat) • Or, List[T] of length n, for any n in N. • Eg: {True, False} with AND as *, True as 1 (or with OR as *, False as 1) • Eg: All subsets of a set S with Union as *, Empty as 1 (or Intersect as *, S as 1) • Note: Cartesian product of monoids is a monoid • Note: All functions from a set to a monoid form a monoid (pointwise operation) • Eg: All Functions f: X -> X for any set X, with composition as * and identity function as 1
  • 5. Monoid (continued) • Submonoid example: nN • Monoid homomorphism f: G -> H : f(a *G b) = f(a) *H f(b) and f(1G) = 1H • Example: f(x) = 2x from (N,+,0) to (N,*,1) • Isomorphism is when we have homomorphisms f: G -> H and g: H -> G such that g . f = idG and f . g = idH • Isomorphism means the two monoids are “basically the same” • Kernel(f) = {a in G | f(a) = 1H} is a monoid • Isomorphism can also be defined as a homomorphism f with Kernel(f) = {1G} • Note: The f(x) = 2x example is an isomorphism
  • 6. Group • Monoid together with an inverse a-1 for every a such that a * a-1 = a-1 * a = 1 • Canonical Example: Z • Eg: Bijective functions f : X -> X for any set X with {func composition, identity func, inverse func} • Great Example: All Permutations of a finite set of size n (refered to as Sn) • Eg: n-th complex root of unity zn and its powers (zn is called the generator of the group) • Example of subgroup: nZ for any n in Z+ • Homomorphism f: G -> H: f(a *G b) = f(a) *H f(b), f(1G) = f(1H), f(a-1) = f(a)-1, eg: Z -> nZ • Coseta,H for any a in G and any subgroup H if defined as: {a + h: h in H} • Quotient Group: G/H is a group consisting of all the cosets of H (H becomes identity element) • Canonical Example of Quotient Group: Z / nZ = Zn (Integers modulo n for any n in Z+) • Isomorphism is same as defined for a monoid (isomorphism means “basically the same group“) • First Isomorphism Theorem: Homomorphism f: G -> H, Kernel(f) is a subgroup of G, Range(f) is a subgroup of H, G/Kernel(f) is isomorphic to Range(f)
  • 7. Semiring and Ring • Semiring has two monoid operations (*,1) and (+,0) with a * (b + c) = (a * b) + (a * c), (a + b) * c = (a * c) + (b * c), and 0 * a = a * 0 = 0. Moreover, + is commutative. • Canonical Example: N • Ring is a semiring with + operation having an inverse (i.e., a group under +) • Ring Homomorphism means homomorphism under both + and * • Canonical Example: Z • Another Canonical Example: Polynomials over R • Ideal I is a subset of Ring R s.t. for any x, y in I and r in R, x + y and r * x are in I • Canonical Example of Ideal: nZ • R / I is a ring (Quotient Ring) consisting of all the cosets of I s.t. (a+I)+(b+I) = (a+b)+I and (a+I)*(b+I) = (ab)+I
  • 8. Field • Field is a ring with an inverse for *, and * commutative. • Canonical Example: Rational Numbers Q or Real Numbers R • Finite Field Example: Zp for any prime p • Every finite field is isomorphic to the set of polynomials over the finite field Zp modulo an irreducible polynomial (over Zp) • Hence, finite fields are of size pr (r is the degree of the irreducible polynomial)
  • 9. Vector Space and Linear Map • Vector Space V (associated with scalar Field F) is a commutative group under vector addition, together with scalar multiplication, and the following properties: o a(bv) = (ab)v o 1(v) = v o a(u+v) = au + av o (a+b)v = av + bv • Canonical Example: Rn • Eg: Complex numbers and other field extensions • Eg: Functions from a set X to a field F (pointwise addition and pointwise scalar multiplication) • Linear Map f: V -> W has property f(v+w) = f(v) + f(w) and f(a.x) = a.f(x) • Canonical Example: m by n Matrix M: Rn -> Rm • Linear maps V -> W forms a vector space L(V,W) • Linear maps V -> F (F the scalar Field) is called the Dual Vector Space V*
  • 10. Fundamental Theorem of Linear Algebra • Consider a linear map expressed as a m x n matrix M : Rn -> Rm • Column Space (Range): Subspace of Rm consisting of all Mx (over all x in Rn) • Row Space (CoRange): Subspace of Rn consisting of all MTy (over all y in Rm) • Kernel Space: Subspace of Rn mapping (through M) to 0 in Rm • CoKernel Space: Subspace of Rm mapping (through MT) to 0 in Rn • Rank r is defined as the dimension of Column Space(= Dimension of Row Space) • Kernel Space is orthogonal to Row Space and has rank n – r (a.k.a. Nullity) • CoKernel Space is orthogonal to Column Space and has rank m – r (a.k.a. CoRank) • More generally, we know from the First Isomorphism Theorem (on Groups) that the Kernel Quotient (i.e., Row Space) and Range (i.e., Column Space) are isomorphic.