11.07.2015 Views

Abstract Algebra Theory and Applications - Computer Science ...

Abstract Algebra Theory and Applications - Computer Science ...

Abstract Algebra Theory and Applications - Computer Science ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

8.2 DIRECT PRODUCTS 143It is also one-to-one, because if φ(g)(a) = φ(h)(a), thenga = λ g a = λ h a = ha.Hence, g = h. That φ is onto follows from the fact that φ(g) = λ g for anyλ g ∈ G.□The isomorphism g ↦→ λ g is known as the left regular representationof G.Historical NoteArthur Cayley was born in Engl<strong>and</strong> in 1821, though he spent much of the firstpart of his life in Russia, where his father was a merchant. Cayley was educatedat Cambridge, where he took the first Smith’s Prize in mathematics. A lawyerfor much of his adult life, he wrote several papers in his early twenties beforeentering the legal profession at the age of 25. While practicing law he continued hismathematical research, writing more than 300 papers during this period of his life.These included some of his best work. In 1863 he left law to become a professorat Cambridge. Cayley wrote more than 900 papers in fields such as group theory,geometry, <strong>and</strong> linear algebra. His legal knowledge was very valuable to Cambridge;he participated in the writing of many of the university’s statutes. Cayley was alsoone of the people responsible for the admission of women to Cambridge.8.2 Direct ProductsGiven two groups G <strong>and</strong> H, it is possible to construct a new group fromthe Cartesian product of G <strong>and</strong> H, G × H. Conversely, given a large group,it is sometimes possible to decompose the group; that is, a group is sometimesisomorphic to the direct product of two smaller groups. Rather thanstudying a large group G, it is often easier to study the component groupsof G.External Direct ProductsIf (G, ·) <strong>and</strong> (H, ◦) are groups, then we can make the Cartesian product ofG <strong>and</strong> H into a new group. As a set, our group is just the ordered pairs(g, h) ∈ G × H where g ∈ G <strong>and</strong> h ∈ H. We can define a binary operationon G × H by(g 1 , h 1 )(g 2 , h 2 ) = (g 1 · g 2 , h 1 ◦ h 2 );

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!