Note on Matrix of Rotation

Total Page:16

File Type:pdf, Size:1020Kb

Note on Matrix of Rotation Note on matrix of rotation Matrix of rotation in the x; y-plane We rotate the system of coordinates x; y by the angle α into the system of coordinaes x0; y0. Then the versors (unit vectors) ^i and ^j are rotated by the angle α into new versors i^0 and j^0 (see Figure 1). We express the new versor i^0 in the coordinates x; y as i^0 = cos α^i + sin α ^j (1) because the value of the projection of the versor i^0 onto the Ox axis is cos α and the value of the projection of the versor i^0 onto the Oy axis is sin α. Similarly, we have the following relation for the versor j^0 j^0 = − sin α^i + cos α ^j (2) because the value of the projection of the versor j^0 onto the Ox axis is − sin α and the value of the projection of the versor j^0 onto the Oy axis is cos α. Any vector ~v can be expressed in coordinates Oxy ~v = vx ^i + vy ^j (3) or in coordinates Ox0y0 as 0 0 ~v = vx0 i^ + vy0 j^ (4) We can rewrite equation (4) inserting the expressions for i^0 from the equa- tion (1) and for j^0 from the equation (2) ~v = vx0 (cos α^i + sin α ^j) + vy0 (− sin α^i + cos α ^j) (5) = (vx0 cos α − vy0 sin α)^i + (vx0 sin α + vy0 cos α)^j 1 The equation (5) expresses the vector ~v with primed coordinates vx0 and vy0 in original unrotated coordinate system Oxy. Comparing equation (5) with equation (3) we see that vx0 cos α − vy0 sin α = vx (6) vx0 sin α + vy0 cos α = vy We may solve the system of linear equations (6) to calculate vx0 and vx0 , i.e. the coordinates of the vector ~v in the rotated coordinate system Ox0y0. The determinants D, Dvx0 , Dvy0 are cos α − sin α 2 2 D = = cos α + sin α = 1 (7) sin α cos α v − sin α D = x = v cos α + v sin α (8) vx0 x y vy cos α cos α v D = x = −v sin α + v cos α (9) vy0 x y sin α vy 0 0 and therefore using the formulas vx = Dvx0 =D and vy = Dvy0 =D we obtain vx0 = vx cos α + vy sin α (10) vy0 = −vx sin α + vy cos α Applying the matrix notation we have " # " #" # v 0 cos α sin α v x = x (11) vy0 − sin α cos α vy The above matrix equation (11) gives the coordinates of original vector ~v in rotated system Ox0y0. So it is as if the vector in the primed system Ox0y0 is 0 0 rotated by the angle −α. Then the coordinates vx and vy of the vector as rotated by angle α will be " # " #" # v0 cos α − sin α v x = x (12) 0 vy sin α cos α vy if the vector had original coordinates vx and vy because we had to change the sign by angle α to the opposite one. The matrix in the equation (12) is the rotation matrix of a point of coordinates vx and vy by the angle α. 2 Pawel Jan Piskorz ([email protected]) 3 Figure 1: We rotate the system of coordinates x; y by the angle α into the system of coordinaes x0; y0. Then the versors (unit vectors) ^i and ^j are rotated by the angle α into new versors i^0 and j^0. 4.
Recommended publications
  • Quaternions and Cli Ord Geometric Algebras
    Quaternions and Cliord Geometric Algebras Robert Benjamin Easter First Draft Edition (v1) (c) copyright 2015, Robert Benjamin Easter, all rights reserved. Preface As a rst rough draft that has been put together very quickly, this book is likely to contain errata and disorganization. The references list and inline citations are very incompete, so the reader should search around for more references. I do not claim to be the inventor of any of the mathematics found here. However, some parts of this book may be considered new in some sense and were in small parts my own original research. Much of the contents was originally written by me as contributions to a web encyclopedia project just for fun, but for various reasons was inappropriate in an encyclopedic volume. I did not originally intend to write this book. This is not a dissertation, nor did its development receive any funding or proper peer review. I oer this free book to the public, such as it is, in the hope it could be helpful to an interested reader. June 19, 2015 - Robert B. Easter. (v1) [email protected] 3 Table of contents Preface . 3 List of gures . 9 1 Quaternion Algebra . 11 1.1 The Quaternion Formula . 11 1.2 The Scalar and Vector Parts . 15 1.3 The Quaternion Product . 16 1.4 The Dot Product . 16 1.5 The Cross Product . 17 1.6 Conjugates . 18 1.7 Tensor or Magnitude . 20 1.8 Versors . 20 1.9 Biradials . 22 1.10 Quaternion Identities . 23 1.11 The Biradial b/a .
    [Show full text]
  • Marc De Graef, CMU
    Rotations, rotations, and more rotations … Marc De Graef, CMU AN OVERVIEW OF ROTATION REPRESENTATIONS AND THE RELATIONS BETWEEN THEM AFOSR MURI FA9550-12-1-0458 CMU, 7/8/15 1 Outline 2D rotations 3D rotations 7 rotation representations Conventions (places where you can go wrong…) Motivation 2 Outline 2D rotations 3D rotations 7 rotation representations Conventions (places where you can go wrong…) Motivation PREPRINT: “Tutorial: Consistent Representations of and Conversions between 3D Rotations,” D. Rowenhorst, A.D. Rollett, G.S. Rohrer, M. Groeber, M. Jackson, P.J. Konijnenberg, M. De Graef, MSMSE, under review (2015). 2 2D Rotations 3 2D Rotations y x 3 2D Rotations y0 y ✓ x0 x 3 2D Rotations y0 y ✓ x0 x ex0 cos ✓ sin ✓ ex p = ei0 = Rijej e0 sin ✓ cos ✓ ey ! ✓ y ◆ ✓ − ◆✓ ◆ 3 2D Rotations y0 y ✓ p x R = e0 e 0 ij i · j x ex0 cos ✓ sin ✓ ex p = ei0 = Rijej e0 sin ✓ cos ✓ ey ! ✓ y ◆ ✓ − ◆✓ ◆ 3 2D Rotations y0 y ✓ p x R = e0 e 0 ij i · j x ex0 cos ✓ sin ✓ ex p = ei0 = Rijej e0 sin ✓ cos ✓ ey ! ✓ y ◆ ✓ − ◆✓ ◆ Rotating the reference frame while keeping the object constant is known as a passive rotation. 3 2D Rotations y0 y Assumptions: Cartesian reference frame, right-handed; positive ✓ rotation is counter-clockwise p x R = e0 e 0 ij i · j x ex0 cos ✓ sin ✓ ex p = ei0 = Rijej e0 sin ✓ cos ✓ ey ! ✓ y ◆ ✓ − ◆✓ ◆ Rotating the reference frame while keeping the object constant is known as a passive rotation. 3 2D Rotations 4 2D Rotations y0 y ✓ x0 x 4 2D Rotations y0 y ✓ x0 x 4 2D Rotations y0 y ✓ r = ri0ei0 = rjej x0 x 4 2D Rotations y0 y ✓ r = ri0ei0 = rjej p = ri0Rijej x0 p T =(R )jiri0ej x 4 2D Rotations y0 y ✓ r = ri0ei0 = rjej p = ri0Rijej x0 p T =(R )jiri0ej x p T r =(R ) r0 ! j ji i 4 2D Rotations y0 y ✓ r = ri0ei0 = rjej p = ri0Rijej x0 p T =(R )jiri0ej x p T r =(R ) r0 ! j ji i p r0 = R r ! i ij j 4 2D Rotations y0 y ✓ r = ri0ei0 = rjej p = ri0Rijej x0 p T =(R )jiri0ej x p T r =(R ) r0 ! j ji i p r0 = R r ! i ij j The passive matrix converts the old coordinates into the new coordinates by left-multiplication.
    [Show full text]
  • The Devil of Rotations Is Afoot! (James Watt in 1781)
    The Devil of Rotations is Afoot! (James Watt in 1781) Leo Dorst Informatics Institute, University of Amsterdam XVII summer school, Santander, 2016 0 1 The ratio of vectors is an operator in 2D Given a and b, find a vector x that is to c what b is to a? So, solve x from: x : c = b : a: The answer is, by geometric product: x = (b=a) c kbk = cos(φ) − I sin(φ) c kak = ρ e−Iφ c; an operator on c! Here I is the unit-2-blade of the plane `from a to b' (so I2 = −1), ρ is the ratio of their norms, and φ is the angle between them. (Actually, it is better to think of Iφ as the angle.) Result not fully dependent on a and b, so better parametrize by ρ and Iφ. GAViewer: a = e1, label(a), b = e1+e2, label(b), c = -e1+2 e2, dynamicfx = (b/a) c,g 1 2 Another idea: rotation as multiple reflection Reflection in an origin plane with unit normal a x 7! x − 2(x · a) a=kak2 (classic LA): Now consider the dot product as the symmetric part of a more fundamental geometric product: 1 x · a = 2(x a + a x): Then rewrite (with linearity, associativity): x 7! x − (x a + a x) a=kak2 (GA product) = −a x a−1 with the geometric inverse of a vector: −1 2 FIG(7,1) a = a=kak . 2 3 Orthogonal Transformations as Products of Unit Vectors A reflection in two successive origin planes a and b: x 7! −b (−a x a−1) b−1 = (b a) x (b a)−1 So a rotation is represented by the geometric product of two vectors b a, also an element of the algebra.
    [Show full text]
  • Working with 3D Rotations
    Working With 3D Rotations Stan Melax Graphics Software Engineer, Intel Human Brain is wired for Spatial Computation Which shape is the same: a) b) c) “I don’t need to ask A childhood IQ test question for directions” Translations Rotations Agenda ● Rotations and Matrices (hopefully review) ● Combining Rotations ● Matrix and Axis Angle ● Challenges of deep Space (of Rotations) ● Quaternions ● Applications Terminology Clarification Preferred usages of various terms: Linear Angular Object Pose Position (point) Orientation A change in Pose Translation (vector) Rotation Rate of change Linear Velocity Spin also: Direction specifies 2 DOF, Orientation specifies all 3 angular DOF. Rotations Trickier than Translations Translations Rotations a then b == b then a x then y != y then x (non-commutative) ● Programming with rotations also more challenging! 2D Rotation θ Rotate [1 0] by θ about origin 1,1 [ cos(θ) sin(θ) ] θ θ sin cos θ 1,0 2D Rotation θ Rotate [0 1] by θ about origin -1,1 0,1 sin θ [-sin(θ) cos(θ)] θ θ cos 2D Rotation of an arbitrary point Rotate about origin by θ = cos θ + sin θ 2D Rotation of an arbitrary point 푥 Rotate 푦 about origin by θ 푥′, 푦′ 푥′ = 푥 cos θ − 푦 sin θ 푦′ = 푥 sin θ + 푦 cos θ 푦 푥 2D Rotation Matrix 푥 Rotate 푦 about origin by θ 푥′, 푦′ 푥′ = 푥 cos θ − 푦 sin θ 푦′ = 푥 sin θ + 푦 cos θ 푦 푥′ cos θ − sin θ 푥 푥 = 푦′ sin θ cos θ 푦 cos θ − sin θ Matrix is rotation by θ sin θ cos θ 2D Orientation 풚 Yellow grid placed over first grid but at angle of θ cos θ − sin θ sin θ cos θ 풙 Columns of the matrix are the directions of the axes.
    [Show full text]
  • Construction of Multivector Inverse for Clif
    Construction of multivector inverse for Clif- ford algebras over 2m+1-dimensional vector spaces from multivector inverse for Clifford algebras over 2m-dimensional vector spaces.∗ Eckhard Hitzer and Stephen J. Sangwine Abstract. Assuming known algebraic expressions for multivector inver- p0;q0 ses in any Clifford algebra over an even dimensional vector space R , n0 = p0 + q0 = 2m, we derive a closed algebraic expression for the multi- p;q vector inverse over vector spaces one dimension higher, namely over R , n = p+q = p0+q0+1 = 2m+1. Explicit examples are provided for dimen- sions n0 = 2; 4; 6, and the resulting inverses for n = n0 + 1 = 3; 5; 7. The general result for n = 7 appears to be the first ever reported closed al- gebraic expression for a multivector inverse in Clifford algebras Cl(p; q), n = p + q = 7, only involving a single addition of multivector products in forming the determinant. Mathematics Subject Classification (2010). Primary 15A66; Secondary 11E88, 15A15, 15A09. Keywords. Clifford algebra, multivector determinants, multivector in- verse. 1. Introduction The inverse of Clifford algebra multivectors is useful for the instant solution of multivector equations, like AXB = C, which gives with the inverses of A and B the solution X = A−1CB−1, A; B; C; X 2 Cl(p; q). Furthermore the inverse of geometric transformation versors is essential for computing two- sided spinor- and versor transformations as X0 = V −1XV , where V can in principle be factorized into a product of vectors from Rp;q, X 2 Cl(p; q). * This paper is dedicated to the Turkish journalist Dennis Y¨ucel,who is since 14.
    [Show full text]
  • Algebraic Foundations of Split Hypercomplex Nonlinear Adaptive
    Mathematical Methods in the Research Article Applied Sciences Received XXXX (www.interscience.wiley.com) DOI: 10.1002/sim.0000 MOS subject classification: 60G35; 15A66 Algebraic foundations of split hypercomplex nonlinear adaptive filtering E. Hitzer∗ A split hypercomplex learning algorithm for the training of nonlinear finite impulse response adaptive filters for the processing of hypercomplex signals of any dimension is proposed. The derivation strictly takes into account the laws of hypercomplex algebra and hypercomplex calculus, some of which have been neglected in existing learning approaches (e.g. for quaternions). Already in the case of quaternions we can predict improvements in performance of hypercomplex processes. The convergence of the proposed algorithms is rigorously analyzed. Copyright c 2011 John Wiley & Sons, Ltd. Keywords: Quaternionic adaptive filtering, Hypercomplex adaptive filtering, Nonlinear adaptive filtering, Hypercomplex Multilayer Perceptron, Clifford geometric algebra 1. Introduction Split quaternion nonlinear adaptive filtering has recently been treated by [23], who showed its superior performance for Saito’s Chaotic Signal and for wind forecasting. The quaternionic methods constitute a generalization of complex valued adaptive filters, treated in detail in [19]. A method of quaternionic least mean square algorithm for adaptive quaternionic has previously been developed in [22]. Additionally, [24] successfully proposes the usage of local analytic fully quaternionic functions in the Quaternion Nonlinear Gradient Descent (QNGD). Yet the unconditioned use of analytic fully quaternionic activation functions in neural networks faces problems with poles due to the Liouville theorem [3]. The quaternion algebra of Hamilton is a special case of the higher dimensional Clifford algebras [10]. The problem with poles in nonlinear analytic functions does not generally occur for hypercomplex activation functions in Clifford algebras, where the Dirac and the Cauchy-Riemann operators are not elliptic [21], as shown, e.g., for hyperbolic numbers in [17].
    [Show full text]
  • Introduction to Clifford's Geometric Algebra
    SICE Journal of Control, Measurement, and System Integration, Vol. 4, No. 1, pp. 001–011, January 2011 Introduction to Clifford’s Geometric Algebra ∗ Eckhard HITZER Abstract : Geometric algebra was initiated by W.K. Clifford over 130 years ago. It unifies all branchesof physics, and has found rich applications in robotics, signal processing, ray tracing, virtual reality, computer vision, vector field processing, tracking, geographic information systems and neural computing. This tutorial explains the basics of geometric algebra, with concrete examples of the plane, of 3D space, of spacetime, and the popular conformal model. Geometric algebras are ideal to represent geometric transformations in the general framework of Clifford groups (also called versor or Lipschitz groups). Geometric (algebra based) calculus allows, e.g., to optimize learning algorithms of Clifford neurons, etc. Key Words: Hypercomplex algebra, hypercomplex analysis, geometry, science, engineering. 1. Introduction unique associative and multilinear algebra with this property. W.K. Clifford (1845-1879), a young English Goldsmid pro- Thus if we wish to generalize methods from algebra, analysis, ff fessor of applied mathematics at the University College of Lon- calculus, di erential geometry (etc.) of real numbers, complex don, published in 1878 in the American Journal of Mathemat- numbers, and quaternion algebra to vector spaces and multivec- ics Pure and Applied a nine page long paper on Applications of tor spaces (which include additional elements representing 2D Grassmann’s Extensive Algebra. In this paper, the young ge- up to nD subspaces, i.e. plane elements up to hypervolume el- ff nius Clifford, standing on the shoulders of two giants of alge- ements), the study of Cli ord algebras becomes unavoidable.
    [Show full text]
  • Arxiv:2007.13674V2 [Hep-Ph] 1 Nov 2020 Contents
    Prepared for submission to JHEP Universality-breaking effects in e+e− hadronic production processes M. Boglione, and A. Simonelli Dipartimento di Fisica Teorica, Universit`adi Torino, Via P. Giuria 1, I-10125 Torino, Italy INFN, Sezione di Torino, Via P. Giuria 1, I-10125 Torino, Italy E-mail: [email protected], [email protected] Abstract: Recent BELLE measurements provide the cross section for single hadron pro- duction in e+e− annihilations, differential in thrust and in the hadron transverse momen- tum with respect to the thrust axis. Universality breaking effects due to process-dependent soft factors make it very difficult to relate this cross sections to those corresponding to hadron-pair production in e+e− annihilations, where transverse momentum dependent (TMD) factorization can be applied. The correspondence between these two cross sections is examined in the framework of the Collins-Soper-Sterman factorization, in the collinear as well as in the TMD approach. We propose a scheme that allows to relate the TMD parton densities defined in 1-hadron and in 2-hadron processes, neatly separating, within the soft and collinear parts, the non-perturbative terms from the contributions that can be calculated perturbatively. The regularization of rapidity divergences introduces cut-offs, the arbitrariness of which will be properly reabsorbed by means of a mechanism closely reminiscent of a gauge transformation. In this way, we restore the possibility to perform global phenomenological studies of TMD physics, simultaneously analyzing data belonging to different hadron classes. arXiv:2007.13674v2 [hep-ph] 1 Nov 2020 Contents 1 Introduction2 1.1 Collinear and TMD Factorization3 2 Soft Factor6 2.1 2-h Soft Factor9 3 Collinear Parts and TMDs 11 3.1 Evolution Equations for TMDs 14 3.2 Rapidity dilations 16 3.2.1 Rapidity dilation and z-axis reflection 21 4 Universality and Process Classification 22 5 The 2-hadron class 25 5.1 2-h Class Cross Section 25 5.2 Factorization Definition vs.
    [Show full text]
  • Decomposition of Nd-Rotations: Classification, Properties and Algorithm Aurélie Richard, Laurent Fuchs, Eric Andres, Gaëlle Largeteau-Skapin
    Decomposition of nD-rotations: Classification, properties and algorithm Aurélie Richard, Laurent Fuchs, Eric Andres, Gaëlle Largeteau-Skapin To cite this version: Aurélie Richard, Laurent Fuchs, Eric Andres, Gaëlle Largeteau-Skapin. Decomposition of nD- rotations: Classification, properties and algorithm. Graphical Models, Elsevier, 2011, 73 (6), pp.346- 353. 10.1016/j.gmod.2011.06.004. hal-00713697 HAL Id: hal-00713697 https://hal.archives-ouvertes.fr/hal-00713697 Submitted on 3 Jul 2012 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Decomposition of nD-rotations: classification, properties and algorithm A. Richarda,∗, L. Fuchsa, E. Andresa, G. Largeteau-Skapina aLaboratoire XLIM-SIC, Universit´ede Poitiers, 86360 Chasseneuil, France Abstract In this paper, the decomposition of nD-rotations is studied. Using this decompo- sition, nD-rotations are classified and properties are underlined. For each class, an algorithm previously presented by the authors to decompose nD-rotation into planar rotations is proposed and a generalized algorithm is presented. More- over, an alternate algorithm based on the Schur decomposition is investigated. A comparison between these different algorithms is finally provided. Keywords: nD-dimensional rotations, planar rotations, Cartan-Dieudonn´e theorem, Schur decomposition, classification of nD-rotation.
    [Show full text]
  • Project Gutenberg's Vector Analysis and Quaternions, by Alexander
    Project Gutenberg’s Vector Analysis and Quaternions, by Alexander Macfarlane This eBook is for the use of anyone anywhere at no cost and with almost no restrictions whatsoever. You may copy it, give it away or re-use it under the terms of the Project Gutenberg License included with this eBook or online at www.gutenberg.net Title: Vector Analysis and Quaternions Author: Alexander Macfarlane Release Date: October 5, 2004 [EBook #13609] Language: English Character set encoding: TeX *** START OF THIS PROJECT GUTENBERG EBOOK VECTOR ANALYSIS AND QUATERNIONS *** Produced by David Starner, Joshua Hutchinson, John Hagerson, and the Project Gutenberg On-line Distributed Proofreaders. i MATHEMATICAL MONOGRAPHS. EDITED BY MANSFIELD MERRIMAN and ROBERT S. WOODWARD. No. 8. VECTOR ANALYSIS and QUATERNIONS. by ALEXANDER MACFARLANE, Secretary of International Association for Promoting the Study of Quaternions. NEW YORK: JOHN WILEY & SONS. London: CHAPMAN & HALL, Limited. 1906. Transcriber’s Notes: This material was originally published in a book by Merriman and Wood- ward titled Higher Mathematics. I believe that some of the page number cross-references have been retained from that presentation of this material. I did my best to recreate the index. ii MATHEMATICAL MONOGRAPHS. edited by Mansfield Merriman and Robert S. Woodward. Octavo. Cloth. $1.00 each. No. 1. History of Modern Mathematics. By David Eugene Smith. No. 2. Synthetic Projective Geometry. By George Bruce Halsted. No. 3. Determinants. By Laenas Gifford Weld. No. 4. Hyperbolic Functions. By James McMahon. No. 5. Harmonic Functions. By William E. Byerly. No. 6. Grassmann’s Space Analysis. By Edward W. Hyde. No. 7. Probability and Theory of Errors.
    [Show full text]
  • Quaternions and Elliptical Space (Quaternions Et Espace Elliptique1)
    Quaternions and Elliptical Space (Quaternions et Espace Elliptique1) GEORGES LEMAÎTRE2 Pontifical Academician3 The Pontifical Academy of Sciences of Vatican City RICHARD L. AMOROSO (Trans.)4 Noetic Advanced Studies Institute Escalante Desert, Beryl, UT 84714 USA [email protected] Translators Forward: This is generally a literal translation, terms such as versor and parataxis in use at the time are not updated to contemporary style, rather defined and briefly compared in an appendix. The decision to translate Lemaître’s 1948 essay arose not merely because of personal interest in Lemaître’s ‘persona’, Physicist - Priest, but from an ever increasing interest in Quaternions and more recent discovery of correspondence with Octonions in additional dimensional (XD) brane topological phase transitions (currently most active research arena in all physics), and to make this particular work available to readers interested in any posited historical value during the time quaternions were still considered a prize of some merit, which as well-known, were marginalized soon thereafter (beginning mid1880’s) by the occluding dominance of the rise of vector algebra; indeed, Lemaître himself states in his introduction: “Since elliptic space plays an increasingly important part … I have thought that an exposition … could present some utility even if the specialists … must bear the judgment that it contains nothing really new”, but also because the author feels quaternions (likely in conjunction with octonions), extended into elliptical and hyperbolic XD spaces, especially in terms of the ease they provide in simplifying the Dirac equation, will be essential facilitators in ushering in post-standard model physics of unified field mechanics. The translator comes to realizes that 3rd regime Natural Science (Classical Quantum Unified Field Mechanics) will be described by a reformulated M-Theoretic topological field theory, details of which will be best described by Quaternion-Octonion correspondence.
    [Show full text]
  • Quaternion Fields the Six Dimensions of Space-Time
    Quaternion fields The six dimensions of space-time Rastko Vukovic Gimnazija Banja Luka December 3, 2014 Abstract It is explored some possibilities of mathematical symmetry between physical space and time. We define the space plus time with (three) Pauli matrices plus Quaternions. Indicated the possibility of extending the ideas of Lorentz rotation to general method of transformation coordinates, for arbitrary force field. The theoretical possibility of inversion of coordinates of space and time was observed. Quaternions are number systems that extend the set of complex numbers. They were discovered by Irish mathematician William Rowan Hamilton in 1843 who has applied it to the mechanics. Hamilton defined quaternion as the quotient of two directed lines, or two vectors in three-dimensional space. 1 Algebra Algebra in the narrow sense is the branch of mathematics that studies the equation. In a broader sense, algebra is the part of mathematics that uses numbers and other quantities represented by letters and symbols for studying formulas and equations. 1.1 Group Theory A set S together with a binary operation ◦, which satisfies the first three (a1-a3) of the next axioms, is called a group and denoted by (S; ◦). if it meets the fourth axiom (a4), it is called the commutative or Abelian group. For all σ 2 S in Abel group (S; ◦) is valid: a1. associativity: (σ1 ◦ σ2) ◦ σ3 = σ1 ◦ (σ2 ◦ σ3), a2. exist neutral e 2 G that is e ◦ σ = σ ◦ e = σ, a3. each σ 2 G has inverse σ−1 2 G such that σ ◦ σ−1 = σ−1 ◦ σ = e, a4.
    [Show full text]