Sunday, January 5, 2014

Definition, and introductory examples

So, we make a definition. A group is a set \(G\) and an operation \(\cdot\) on \(G\) such that

  • \((a \cdot b ) \cdot c = a \cdot (b \cdot c)\) for all \(a,b,c \in G\)
  • There exists an element \(e\) in \(G\) such that \(a \cdot e = e \cdot a = a\) for all \(a \in G\)
  • For every \(a\) in \(G\) there exists an element \(a^{-1} \in G\) such that \(a \cdot a^{-1} = a^{-1} \cdot a = e\)
The element \(e\) is called the neutral element of the group. \(a^{-1}\) is called the inverse of \(a\).

We can find some obvious examples of groups:

  • The set of all integers, with the operation of addition. The neutral element is 0, and the inverse of an integer \(n\) is \(-n\).
  • The set of all real numbers, with the same operation
  • The set of all non-zero rational numbers with the operation of multiplication. The neutral element is 0, and the inverse of a rational number \(r\) is \(\frac{1}{r}\).
We note that all of these examples have the set \(G\) being infinite. However, there are many finite groups.

Let \(n\) be a positive integer. We say that two integers \(x\) and \(y\) are congruent modulo \(n\) if \(n\) divides their difference, that is, if there exists an integer \(k\) such that \( x-y = kn\). For example, 3 and 13 are congruent modulo 5, since \(13 - 3 = 2 \cdot 5\). It is obvious that being congruent modulo a fixed positive integer is an equivalence relation on the set of integers. We can define addition of two equivalence classes by taking representatives, and it is clear that this will constitute a group with \(n\) elements. This group is called the cyclic group of order \(n\).

This shows us that for each positive integer n there exists at least one group of size n. For now on we will refer to the size of a group as the order of the group. However, there are other finite groups.

Let n be a positive integer. Consider the set of permutations of n elements, that is, invertible functions from the set \(\{1,2,\ldots,n\}\) to itself. This set, with function composition as an operation, is a group. It has order \(n!\), and we will realize soon that it is not "the same" as the cyclic group of order \(n!\).

Introduction

I decided that I want to see what I remember of the theory of groups, and particularly their representations. And also see if it is bearable to type mathematics on blogger. So here we go!