DOCSLIB.ORG

Group Theory - QMII 2017

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Group Theory - QMII 2017 Group theory - QMII 2017 Daniel Aloni 0 References 1. Lecture notes - Gilad Perez 2. Lie algebra in particle physics - H. Georgi 3. Google... 1Motivation As a warm up let us motivate the need for Group theory in physics. It comes out that Group theory and symmetries share very similar properties. This motivates us to learn more sophisticated tools of Group theory and how to implement them in modern physics. We will take rotations as an example but the following holds for any symmetry: 1. Arotationofarotationisalsoarotation-R = R R . 3 2 · 1 2. Multiplication of rotations is associative - R (R R )=(R R ) R . 3 · 2 · 1 3 · 2 · 1 3. The identity 1 is a unique rotation which leaves the system unchanged and commutes with all other rotations. 4. For each rotation we can rotate the system backwards. This inverse 1 1 rotation is unique and satisfies - R− R = R R− = 1. · · 1 This list is exactly the list of axioms that defines a group. A Group is a pair (G, )ofasetG and a product s.t. · · 1. Closure - g ,g G , g g G. 8 1 2 2 2 · 1 2 2. Associativity - g ,g ,g G,(g g ) g = g (g g ). 8 1 2 3 2 3 · 2 · 1 3 · 2 · 1 3. There is an identity e G,s.t. g G, e g = g e = g. 2 8 2 · · 1 1 4. Every element g G has an inverse element g− G,s.t. g g− = 2 2 · 1 g− g = e. · What we would like to learn? Here are few examples, considering the rotations again. A rotation of a three-vector v,isgivenbya3 3matrixR. ⇥ • How it acts on other vector spaces, for instance the Hilbert space in quantum mechanics? • What are the conserved quantities? • How to make it infinitesimal? (and what is it good for...) • How a rotation of one space is induced to another space? As we will see, Group theory and in particular Lie groups and Lie algebra will teach us how to answer these questions in a systematic way, and how to do that for any symmetry. 2 Classification Adictionaryformostimportantgroups(inphysics...). 2.1 Discrete: Adiscretegroupmightcontainafiniteorinfinitenumberofelements.If the number of elements is finite,thenthenumber of elements is called the order of the group. 2 • Cyclic group Zn -ThesetofintegernumbersG =(0, 1, 2,..n 1) with − addition mod n.Itisequivalenttocyclicpermutationsofn objects. • Symmetric group Sn - All possible permutations of n objects. 3 Example - Z3,S3 and the triangle Z3 is also the rotation group of the triangle. The elements of the rotation group are: e =donothing ,a1 =(1, 2, 3) ,a2 =(3, 2, 1) where a1 (a2)areunderstoodascyclic(anti-cyclic)interchangingofcorners in positions (1,2,3). Graphically We can write the multiplication table for Z3,andcomparetorotationsof triangle: modn 0 1 2 ∆ e a1 a2 0 0 1 2 e e a1 a2 1 1 2 0 , a1 a1 a2 e 2 2 0 1 a2 a2 e a1 The symmetric group includes three additional elements - mirroring around the altitudes. The elements of S3 are: a3 =(2, 3) ,a4 =(3, 1) ,a5 =(1, 2) where a3 for instance is understood as interchanging the corners in positions (2,3). Graphically Exercise - write the multiplication table for S3. 4 • Additive group of integers - The elements are all the integer num- bers n Z.Theproductofthegroupisadditionofnumbers.Thisis 2 the most trivial example of infinite discrete group. 2.2 Lie groups: By Lie groups we will always mean Matrix Lie Groups. A Lie group have an infinite number of elements which are given by a smooth function of a finite number of parameters f(x1,x2..., xn) G, xi A.ForusA = R, C.The 2 2 group multiplication law is just matrix multiplication. • General Linear group GL(n, V )= A Mn(V ) det(A) =0 .The { 2 | 6 } set of all invertible n n matrices on a field V ,withmatrixmultipli- ⇥ cation. • Orthogonal group O(n)= A GL(n, R) AT A =1 .Equivalently, { 2 | } the column vectors of A are an orthonormal set. Also equivalently, A preserve the canonical inner product in Rn. Note that det A = 1. ± • Special Orthogonal Group. SO(n)= A O(n) det A =1. { 2 | } SO(n)isthegroupofrotationsindimensionn. O(n)containsrotations and reflections. Question: does taking det A = 1 give a group? − • Unitary Group. U(n)= A GL(n, C) A†A =1.Equivalently, { 2 | } the column vectors are an orthonormal set in Cn. Also equivalently, A preserves the canonical inner product. Note that det A =1. | | • Special Unitary Group. SU(n)= A U(n) det A =1 . { 2 | } • Generalized Orthogonal Group. O(n, k)= A GL(n+k, R) AT gA = n times k times { 2 | − − g ,whereg =diag(1,...,1, 1,..., 1). } − − Lets check that thisz is a}| group.{ z If}|A, B{ O(n, k)then(A B)T ⌘A B = ⌘ 2 · · BT AT ⌘AB = BT ⌘B = ⌘ A B O(n, k). ) · 2 Thez Lorentz}| { group is O(1, 3). 5 3 Subgroups For a given group G,ifasubsetofelementsH G,formagroupwiththe ⇢ same product of G,wesaythatH is a subgroup of G. Examples: • We already saw that Z3 is a subgroup of S3. • Consider the two dimensional unitary group U(2). This is a set of unitary matrices which acts on two dimensional complex vectors. 1. The group U(1) which changes the overall phase of those vectors is a subgroup of U(2). 2. The group SU(2) is also a subgroup of U(2) since for all matrices A B = A B . | · | | |·| | Note that the two subgroups commutes. We will make use of these fact to show that U(2) can be decomposed completely to this two subgroups, denoted by U(2) = SU(2) U(1). ⇥ • SO(3) is a subgroup of SO(4). For instance we can choose a subset of matrices of the following form 1 000 00 1 O = B0 SO(3)C B C B0 C B C @ A Note that unlike the previous case, in this case the remaining is not a group, namely there is no group G, s.t. SO(4) = SO(3) G. ⇥ 4 Representation For physicists, the theory of representation is the link between group theory and applications in physics. It tells us how an element g in an abstract group G,actsonaphysicalsystem.Moreformally, 6 A Representation ( homomorphism) is a mapping, D of elements of G ⇠ onto a set of linear operators D : G GL(V )s.t.D(g )D(g )=D(g g ) ! 1 2 1 2 We use rep as a short hand notation 1. 4.1 Discrete • The action of Z3 on complex numbers D : Z3 C: ! 2⇡i/3 4⇡i/3 D(e)=1,D(a1)=e ,D(a2)=e . This representation is 1 1andonto.Suchrepresentationsarecalled − Isomorphism. • Regular representation of a discrete group of order n, is constructed as follows: 1. For each element g G associate a vector g s.t. they form an i 2 | ii orthonormal basis, namely g g = δ . h i| ji ij 2. Define the regular representation on this vector space as D(g ) g = g g i | ji | i · ji This is indeed a representation since D(gi)D(gj)=D(gigj). 3. The components of the matrices are given by [D(g)] = g D(g) g ij h i| | ji 1A homomorphism is a mapping from a group G to a group H which is compatible with the group product, namely φ : G H satisfies g1,g2 G,φ(g1 g2)=φ(g1) φ(g2). ! 8 2 G· H· A representation is a homomorphism to the set of linear operators. 7 Let us find it explicitly for Z3: 1 0 0 e = 0 , a = 1 , a = 0 | i 0 1 | 1i 0 1 | 2i 0 1 0 0 1 B C B C B C @ A @ A @ A Clearly D(e) gi = egi = gi D(e)=1.Byusingthemultiplica- | i | i | i) tion table we find D(a ) e = a ,D(a ) e = a 001 010 1 | i | 1i 2 | i | 2i D(a ) a = a ,D(a ) a = e D(a1)= 100 ,D(a2)= 001 1 | 1i | 2i 2 | 1i | i 9 0 1 0 1 D(a ) a = e ,D(a ) a = a => 010 100 1 | 2i | i 2 | 2i | 1i B C B C @ A @ A > as you already saw in class... ; • ArepresentationofS3 on a two dimensional vector space is given by: 1 p3 1 p3 10 2 2 2 2 D(e)= ,D(a1)= −p3 − 1 ,D(a2)= −p3 1 01! ! ! 2 − 2 − 2 − 2 1 p3 1 p3 10 2 2 2 2 D(a3)= − ,D(a1)= p3 1 ,D(a2)= p3 − 1 01! ! ! 2 − 2 − 2 − 2 Exercises: – Check that this is indeed a representation. – Find the regular representation of S3. 4.2 Lie groups • The trivial representation - D(g)=1 , g G. 8 2 • Fundamental representation -ForaLiegroup,whichisdefinedas asetoflinearoperatorsthatactsonavectorspace,thefundamental representation is the representation of the group on its vector space: D(A)=A, A G. 8 2 8 Example - Consider a group element U SU(N) and an N-dimensional 2 complex vector v V .Thentheactionofthefundamentalrepresen- 2 tation on the vector space V is D (U)v = Uv U i vj fund. , j • Anti-fundamental Danti. is the complex conjugation (not )ofthe † fundamental representation D,namelyD (A)=D(A)⇤ = A⇤ , A anti. 8 2 G. Example - Consider again a group element U SU(N) and an N- 2 dimensional complex vector w V .Thentheactionoftheanti- 2 fundamental representation on the vector space V is i j j i T D (U)w = U ⇤w U ⇤w = w (U †) w U † anti.
Load more

Recommended publications
  • The Universal Property of Inverse Semigroup Equivariant KK-Theory
    KYUNGPOOK Math. J. 61(2021), 111-137 https://doi.org/10.5666/KMJ.2021.61.1.111 pISSN 1225-6951 eISSN 0454-8124 c Kyungpook Mathematical Journal The Universal Property of Inverse Semigroup Equivariant KK-theory Bernhard Burgstaller Departamento de Matematica, Universidade Federal de Santa Catarina, CEP 88.040-900 Florian´opolis-SC, Brasil e-mail : [email protected] Abstract. Higson proved that every homotopy invariant, stable and split exact func- tor from the category of C∗-algebras to an additive category factors through Kasparov's KK-theory. By adapting a group equivariant generalization of this result by Thomsen, we generalize Higson's result to the inverse semigroup and locally compact, not necessarily Hausdorff groupoid equivariant setting. 1. Introduction In [3], Cuntz noted that if F is a homotopy invariant, stable and split exact func- tor from the category of separable C∗-algebras to the category of abelian groups then Kasparov's KK-theory acts on F , that is, every element of KK(A; B) induces a natural map F (A) ! F (B). Higson [4], on the other hand, developed Cuntz' find- ings further and proved that every such functor F factorizes through the category K consisting of separable C∗-algebras as the object class and KK-theory together with the Kasparov product as the morphism class, that is, F is the composition F^ ◦ κ of a universal functor κ from the class of C∗-algebras to K and a functor F^ from K to abelian groups. In [12], Thomsen generalized Higson's findings to the group equivariant setting by replacing everywhere in the above statement algebras by equivariant algebras, ∗- homomorphisms by equivariant ∗-homomorphisms and KK-theory by equivariant KK-theory (the proof is however far from such a straightforward replacement).
    [Show full text]
  • An Introduction to Inverse Semigroups and Their Connections to C*-Algebras
    CARLETON UNIVERSITY SCHOOL OF MATHEMATICS AND STATISTICS HONOURS PROJECT TITLE: An Introduction to Inverse Semigroups and Their Connections To C*-Algebras AUTHOR: Kyle Cheaney SUPERVISOR: Dr. Charles Starling DATE: August 24, 2020 AN INTRODUCTION TO INVERSE SEMIGROUPS AND THEIR CONNECTIONS TO C∗-ALGEBRAS KYLE CHEANEY: 101012022 Abstract. This paper sets out to provide the reader with a basic introduction to inverse semigroups, as well as a proof of the Wagner-Preston Representation Theorem. It then focuses on finite directed graphs, specifically the graph inverse semigroup and how properties of the semigroup correspond to properties of C∗ algebras associated to such graphs. 1. Introduction The study of inverse semigroups was founded in the 1950's by three mathematicians: Ehresmann, Preston, and Wagner, as a way to algebraically describe pseudogroups of trans- formations. The purpose of this paper is to introduce the topic of inverse semigroups and some of the basic properties and theorems. We use these basics to relate the inverse semi- group formed by a directed graph to the corresponding graph C∗ algebra. The study of such C∗ algebras is still an active topic of research in analysis, thus providing a connection between abstract algebraic objects and complex analysis. In section 2, we outline some preliminary definitions and results which will be our basic tools for working with inverse semigroups. Section 3 provides a more detailed introduction to inverse semigroups and contains a proof of the Wagner-Preston representation theorem, a cornerstone in the study of inverse semigroups. In section 4, we present some detailed examples of inverse semigroups, including proving said sets are in fact inverse semigroups and discussing what their idempotents look like.
    [Show full text]
  • SOME ALGEBRAIC DEFINITIONS and CONSTRUCTIONS Definition
    SOME ALGEBRAIC DEFINITIONS AND CONSTRUCTIONS Definition 1. A monoid is a set M with an element e and an associative multipli- cation M M M for which e is a two-sided identity element: em = m = me for all m M×. A−→group is a monoid in which each element m has an inverse element m−1, so∈ that mm−1 = e = m−1m. A homomorphism f : M N of monoids is a function f such that f(mn) = −→ f(m)f(n) and f(eM )= eN . A “homomorphism” of any kind of algebraic structure is a function that preserves all of the structure that goes into the definition. When M is commutative, mn = nm for all m,n M, we often write the product as +, the identity element as 0, and the inverse of∈m as m. As a convention, it is convenient to say that a commutative monoid is “Abelian”− when we choose to think of its product as “addition”, but to use the word “commutative” when we choose to think of its product as “multiplication”; in the latter case, we write the identity element as 1. Definition 2. The Grothendieck construction on an Abelian monoid is an Abelian group G(M) together with a homomorphism of Abelian monoids i : M G(M) such that, for any Abelian group A and homomorphism of Abelian monoids−→ f : M A, there exists a unique homomorphism of Abelian groups f˜ : G(M) A −→ −→ such that f˜ i = f. ◦ We construct G(M) explicitly by taking equivalence classes of ordered pairs (m,n) of elements of M, thought of as “m n”, under the equivalence relation generated by (m,n) (m′,n′) if m + n′ = −n + m′.
    [Show full text]
  • MAS4107 Linear Algebra 2 Linear Maps And
    Introduction Groups and Fields Vector Spaces Subspaces, Linear . Bases and Coordinates MAS4107 Linear Algebra 2 Linear Maps and . Change of Basis Peter Sin More on Linear Maps University of Florida Linear Endomorphisms email: [email protected]fl.edu Quotient Spaces Spaces of Linear . General Prerequisites Direct Sums Minimal polynomial Familiarity with the notion of mathematical proof and some experience in read- Bilinear Forms ing and writing proofs. Familiarity with standard mathematical notation such as Hermitian Forms summations and notations of set theory. Euclidean and . Self-Adjoint Linear . Linear Algebra Prerequisites Notation Familiarity with the notion of linear independence. Gaussian elimination (reduction by row operations) to solve systems of equations. This is the most important algorithm and it will be assumed and used freely in the classes, for example to find JJ J I II coordinate vectors with respect to basis and to compute the matrix of a linear map, to test for linear dependence, etc. The determinant of a square matrix by cofactors Back and also by row operations. Full Screen Close Quit Introduction 0. Introduction Groups and Fields Vector Spaces These notes include some topics from MAS4105, which you should have seen in one Subspaces, Linear . form or another, but probably presented in a totally different way. They have been Bases and Coordinates written in a terse style, so you should read very slowly and with patience. Please Linear Maps and . feel free to email me with any questions or comments. The notes are in electronic Change of Basis form so sections can be changed very easily to incorporate improvements.
    [Show full text]
  • Semigroups and Monoids 
    S Luis Alonso-Ovalle // Contents Subgroups Semigroups and monoids Subgroups Groups. A group G is an algebra consisting of a set G and a single binary operation ◦ satisfying the following axioms: . ◦ is completely defined and G is closed under ◦. ◦ is associative. G contains an identity element. Each element in G has an inverse element. Subgroups. We define a subgroup G0 as a subalgebra of G which is itself a group. Examples: . The group of even integers with addition is a proper subgroup of the group of all integers with addition. The group of all rotations of the square h{I, R, R0, R00}, ◦i, where ◦ is the composition of the operations is a subgroup of the group of all symmetries of the square. Some non-subgroups: SEMIGROUPS AND MONOIDS . The system h{I, R, R0}, ◦i is not a subgroup (and not even a subalgebra) of the original group. Why? (Hint: ◦ closure). The set of all non-negative integers with addition is a subalgebra of the group of all integers with addition, because the non-negative integers are closed under addition. But it is not a subgroup because it is not itself a group: it is associative and has a zero, but . does any member (except for ) have an inverse? Order. The order of any group G is the number of members in the set G. The order of any subgroup exactly divides the order of the parental group. E.g.: only subgroups of order , , and are possible for a -member group. (The theorem does not guarantee that every subset having the proper number of members will give rise to a subgroup.
    [Show full text]
  • 5 Definition and Examples of Groups
    Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 5 Definition and Examples of Groups In Section 3, properties of binary operations were emphasized-closure, iden- tity, inverses, associativity. Now these properties will be studied from a slightly different viewpoint by considering systems (S, ∗) that satisfy all four of the properties. Such mathematical systems are called groups. A group may be defined as follows. Definition 5.1 A set G is a group with respect to a binary operation ∗ if the following properties are satisfied: (i) (x ∗ y) ∗ z = x ∗ (y ∗ z) for all elements x, y, and z of G (the Asso- ciative Law); (ii) there exists an element e of G (the identity element of G) such that e ∗ x = x = x ∗ e, for all elements x of G; (iii) for each element x of G there exists an element x0 of G (the inverse of x) such that x ∗ x0 = e = x0 ∗ x (where e is the identity element of G). A group G is Abelian (or commutative) if x ∗ y = y ∗ x for all elements x and y of G. Remark 5.1 The phrase ”with respect” should be noted. For example, the set Z is a group with respect to addition but not with respect to multiplication (it has no inverses for elements other than ±1.) Example 5.1 We can obtain some simple examples of groups by considering appropriate subsets of the familiar number systems. (a) The set of even integers is an Abelian group with respect to addition. 1 (b) The set N of positive integers is not a group with respect to addition since it has no identity element.
    [Show full text]
  • MATH 4140/MATH 5140: Abstract Algebra II
    MATH 4140/MATH 5140: Abstract Algebra II Farid Aliniaeifard April 30, 2018 Contents 1 Rings and Isomorphism (See Chapter 3 of the textbook) 2 1.1 Definitions and examples . .2 1.2 Units and Zero-divisors . .6 1.3 Useful facts about fields and integral domains . .6 1.4 Homomorphism and isomorphism . .7 2 Polynomials Arithmetic and the Division algorithm 9 3 Ideals and Quotient Rings 11 3.1 Finitely Generated Ideals . 12 3.2 Congruence . 13 3.3 Quotient Ring . 13 4 The Structure of R=I When I Is Prime or Maximal 16 5 EPU 17 p 6 Z[ d], an integral domain which is not a UFD 22 7 The field of quotients of an integral domain 24 8 If R is a UDF, so is R[x] 26 9 Vector Spaces 28 10 Simple Extensions 30 11 Algebraic Extensions 33 12 Splitting Fields 35 13 Separability 38 14 Finite Fields 40 15 The Galois Group 43 1 16 The Fundamental Theorem of Galois Theory 45 16.1 Galois Extensions . 47 17 Solvability by Radicals 51 17.1 Solvable groups . 51 18 Roots of Unity 52 19 Representation Theory 53 19.1 G-modules and Group algebras . 54 19.2 Action of a group on a set yields a G-module . 54 20 Reducibility 57 21 Inner product space 58 22 Maschke's Theorem 59 1 Rings and Isomorphism (See Chapter 3 of the text- book) 1.1 Definitions and examples Definition. A ring is a nonempty set R equipped with two operations (usually written as addition (+) and multiplication(.) and we denote the ring with its operations by (R,+,.)) that satisfy the following axioms.
    [Show full text]
  • A Study of Some Properties of Generalized Groups
    OCTOGON MATHEMATICAL MAGAZINE Vol. 17, No.2, October 2009, pp 599-626 599 ISSN 1222-5657, ISBN 978-973-88255-5-0, www.hetfalu.ro/octogon A study of some properties of generalized groups Akinmoyewa, Joseph Toyin9 1. INTRODUCTION Generalized group is an algebraic structure which has a deep physical background in the unified gauge theory and has direct relation with isotopies. 1.1. THE IDEA OF UNIFIED THEORY The unified theory has a direct relation with the geometry of space. It describes particles and their interactions in a quantum mechanical manner and the geometry of the space time through which they are moving. For instance, the result of experiment at very high energies in accelerators such as the Large Electron Position Collider [LEP] at CERN (the European Laboratory for Nuclear Research) in general has led to the discovery of a wealth of so called ’elementary’ particles and that this variety of particles interact with each other via the weak electromagnetic and strong forces(the weak and electromagnetic having been unified). A simple application of Heisenberg’s on certainty principle-the embodiment of quantum mechanics-at credibly small distances leads to the conclusion that at distance scale of around 10−35 metres(the plank length) there are huge fluctuation of energy that sufficiently big to create tiny black holes. Space is not empty but full of these tiny black holes fluctuations that come and go on time scale of around 10−35 seconds(the plank time). The vacuum is full of space-time foam. Currently, the most promising is super-string theory in which the so called ’elementary’ particles are described as vibration of tiny(planck-length)closed loops of strings.
    [Show full text]
  • A STUDY on the ALGEBRAIC STRUCTURE of SL 2(Zpz)
    A STUDY ON THE ALGEBRAIC STRUCTURE OF SL2 Z pZ ( ~ ) A Thesis Presented to The Honors Tutorial College Ohio University In Partial Fulfillment of the Requirements for Graduation from the Honors Tutorial College with the degree of Bachelor of Science in Mathematics by Evan North April 2015 Contents 1 Introduction 1 2 Background 5 2.1 Group Theory . 5 2.2 Linear Algebra . 14 2.3 Matrix Group SL2 R Over a Ring . 22 ( ) 3 Conjugacy Classes of Matrix Groups 26 3.1 Order of the Matrix Groups . 26 3.2 Conjugacy Classes of GL2 Fp ....................... 28 3.2.1 Linear Case . .( . .) . 29 3.2.2 First Quadratic Case . 29 3.2.3 Second Quadratic Case . 30 3.2.4 Third Quadratic Case . 31 3.2.5 Classes in SL2 Fp ......................... 33 3.3 Splitting of Classes of(SL)2 Fp ....................... 35 3.4 Results of SL2 Fp ..............................( ) 40 ( ) 2 4 Toward Lifting to SL2 Z p Z 41 4.1 Reduction mod p ...............................( ~ ) 42 4.2 Exploring the Kernel . 43 i 4.3 Generalizing to SL2 Z p Z ........................ 46 ( ~ ) 5 Closing Remarks 48 5.1 Future Work . 48 5.2 Conclusion . 48 1 Introduction Symmetries are one of the most widely-known examples of pure mathematics. Symmetry is when an object can be rotated, flipped, or otherwise transformed in such a way that its appearance remains the same. Basic geometric figures should create familiar examples, take for instance the triangle. Figure 1: The symmetries of a triangle: 3 reflections, 2 rotations. The red lines represent the reflection symmetries, where the trianlge is flipped over, while the arrows represent the rotational symmetry of the triangle.
    [Show full text]
  • The Classical Matrix Groups 1 Groups
    The Classical Matrix Groups CDs 270, Spring 2010/2011 The notes provide a brief review of matrix groups. The primary goal is to motivate the lan- guage and symbols used to represent rotations (SO(2) and SO(3)) and spatial displacements (SE(2) and SE(3)). 1 Groups A group, G, is a mathematical structure with the following characteristics and properties: i. the group consists of a set of elements {gj} which can be indexed. The indices j may form a finite, countably infinite, or continous (uncountably infinite) set. ii. An associative binary group operation, denoted by 0 ∗0 , termed the group product. The product of two group elements is also a group element: ∀ gi, gj ∈ G gi ∗ gj = gk, where gk ∈ G. iii. A unique group identify element, e, with the property that: e ∗ gj = gj for all gj ∈ G. −1 iv. For every gj ∈ G, there must exist an inverse element, gj , such that −1 gj ∗ gj = e. Simple examples of groups include the integers, Z, with addition as the group operation, and the real numbers mod zero, R − {0}, with multiplication as the group operation. 1.1 The General Linear Group, GL(N) The set of all N × N invertible matrices with the group operation of matrix multiplication forms the General Linear Group of dimension N. This group is denoted by the symbol GL(N), or GL(N, K) where K is a field, such as R, C, etc. Generally, we will only consider the cases where K = R or K = C, which are respectively denoted by GL(N, R) and GL(N, C).
    [Show full text]
  • Oriented Steiner Quasigroups
    Oriented Steiner quasigroups Izabella Stuhl Abstract We introduce the notion of an oriented Steiner quasigroup and de- velop elements of a relevant algebraic apparatus. The approach is based upon (modified) Schreier-type f-extensions for quasigroups (cf. earlier works [14, 11, 10]) achieved through oriented Steiner triple sys- tems. This is done in a fashion similar to in [13] where an analogous construction was established for loops. As a justification of this con- cept briefly discuss an application of oriented Steiner triple systems in cryptography using oriented Steiner quasigroups. 1 Introduction A Steiner triple system S is an incidence structure consisting of points and blocks such that every two distinct points are contained in precisely one block and any block has precisely three points. A finite Steiner triple system with n points exists if and only if n ≡ 1 or 3 (mod 6). A possible way to enrich Steiner triple systems is to introduce in each block a cyclic order. These objects occur in the literature as oriented Steiner triple systems (S, T ) (see [16]) or as Mendelsohn triple systems (see [8] Section 28, p. 388). Steiner triple systems play an important role in applications, particulary in cryptography, coding theory, statistics and computer science. Cf. [3], [6] (where a number of chapters are dedicated to this concept), and also [5] and the references therein. A particular example of an application is given in [15]. The results of the present paper develop an algebraic background that arXiv:1402.4644v2 [math.GR] 22 Apr 2014 can be useful, e.g., in the context of [2].
    [Show full text]
  • Two-Sided Expansions of Monoids 4.1
    TWO-SIDED EXPANSIONS OF MONOIDS GANNA KUDRYAVTSEVA Abstract. We initiate the study of expansions of monoids in the class of two-sided restriction monoids and show that generalizations of the Birget-Rhodes prefix group ex- pansion, despite the absence of involution, have rich structure close to that of relatively free inverse monoids. For a monoid M and a class of partial actions of M, determined by a set, R, of identities, we define FRR(M) to be the universal M-generated two-sided restriction monoid with respect to partial actions of M determined by R. This is an F -restriction monoid which (for a certain R) generalizes the Birget-Rhodes prefix expansion GR of a group G. Our main result provides a coordinatization of FR (M) via a partial action product of the R e idempotent semilattice E(FIR(M)) of a similarly defined inverse monoid, partially acted upon by M. The result by Fountain, Gomes and Gould on the structure of the free two-sided restriction monoid is recovered as a special case of our result. We show that some properties of FRR(M) agree well with suitable properties of M, such as being cancellative or embeddable into a group. We observe that if M is an inverse monoid, then FIRs (M), the free inverse monoid with respect to strong premorphisms, is isomorphic to the Lawson-Margolis-Steinberg generalized prefix expansion M pr. This pr gives a presentation of M and leads to a model for FRRs (M) in terms of the known model for M pr. 1. Introduction The Birget-Rhodes prefix expansion of a group [3] and, in particular, its model proposed by Szendrei [33], is a construction that assigns to an arbitrary group G an E-unitary inverse monoid, GR, which has a number of interesting properties and important applications.
    [Show full text]