Abstract-Algebra

Axioms of Groups

A Group is a set together with a binary operation denoted by where is a set and is a binary operation. (Conventionally the operation is called multiplication even though it may not be standard multiplication).

A Group has to satisfy the following 4 axioms. Other fundamental corollaries denoted by

  • Closure: ,
  • Associativity: ,
  • Inverse: , s.t .
    • Works both ways (Directly implied by axioms 1-4)
    • Inverses are unique.
  • Identity: s.t .
    • Works both ways (Directly implied by axioms 1-4)
    • Identity is unique.

Note that commutativity is not required

Corollary Proofs

The following properties are a direct result of the axioms and are sometimes included in the definition but do not have to be. Proof

  1. Note that where . All these elements are guaranteed to exist by .
  2. Consider . By . Also by using the equivalent statements of we get . So we get that
  3. Substituting in we get

Proof

  1. Consider .
  2. . Using and
  3. . Using and
  4. Hence

Proof

  1. Assume that that exists two distinct inverses of such that
  2. Then

Proof

  1. Assume that there exists two distinct identity elements such that
  2. Then

Proof - For a fixed , maps to a unique for all .

  1. Assume that for a given

Proof -


Cayley Tables

A Cayley Table fully describes a finite group by showing all possible products of elements in the group Example:

When a group’s elements are displayed in a Cayley Table:

  1. All entries are
  2. Every entry appears exactly once in each row and column
    1. Trivial with
  3. must appear in every row and column and it’s position is symmetric about the leading diagonal
    1. Since (and can only be formed from this operation), when is in location it has to be in as or are or so

Order

The order of group denoted as is the size of the underlying set The order of an element is the smallest non-negative integer s.t . Also

Properties

  1. and

Subgroups

If some subset of the underlying set of a group adheres to the group axioms then it is a subgroup. Every group has at least 2 trivial subgroups and - itself. Definitions

  1. means is a subgroup of ,
  2. means is a proper subgroup of meaning ,

Let be a group and a finite subset of the underlying set of ( is a subgroup is closed under the operation of )

Subgroup Generation

generates

Lagrange’s Theorem


Isomorphisms

2 groups , are isomorphic if there exists a mapping called a group isomorphism such that:

  1. maps all elements of to
  2. is one to one
  3. preserves structure:

Properties

If with identity elements , and is an isomorphism then and :

  1. If has elements of order then has elements of order
  2. If has subgroups of order , has subgroups of order
  3. such that

Types of Groups

Modular Arithmetic Groups

You can use modular arithmetic to define a finite group of integers. The operation is defined as The operation is defined as

Groups of Permutations

A group of Permutations is a group with a set of permutations of objects with operation composition - the operation of applying permutation then forms a group.

The symmetric group is a group of permutation on elements where the set consists of all possible permutations that can be performed on objects coupled with the operation of composition . (It’s basically a fully complete group of permutations of objects 1. a normal group of permutations doesn’t have to contain every possible permutation of , These “incomplete” groups will be be subgroups of )

2 Row Notation

You can use 2 row notation to describe permutations like: The top row shows the starting position and denotes what object will end up in the th position and NOT what position the th object will end up in.

Composition For, will be where is found by finding in (in the bottom row) then find in top row of and is the corresponding . Inverse To find the inverse swap top and bottom.

Groups of Symmetries

You can construct a group of symmetries denoted by by considering a set of all symmetrical transformations of an -sided polygon coupled with the composition operation. There is possible rotations and possible reflections so for an sided polygon there are elements so the group is denoted as meaning ( would be a square)

Cyclic Groups

A cyclic group is a group that can be written where all elements can be written as where is the group generator and . denotes performing the group operation times.


Direct Product of Groups

The direct product of two groups and , denoted , is a group defined as follows:

Underlying Set The elements of are ordered pairs such that and . Formally:

Group Operation The operation on is defined component-wise. For , the operation is:

Identity Element The identity element of is:

Inverses: The inverse of an element is: