# Isomorphisms and a proof of Cayley's Theorem

We discuss the definition of a group isomorphism, some examples of isomorphisms, and we construct an in-depth proof of Cayley's theorem.

# Programming Language Translation Issues

In this article, we learn about the process of translating programming languages. Topics covered include program-subprogram structure, BNF grammers, finite-state automata, and recursive descent parsing.

# Programming Language Design Issues

We begin studying programming language design and implementations by examining the history of programming languages, the role of programming languages, and the details on programming environments.

# Finite groups and subgroups - part 2

In continuing the discussion of finite groups and subgroups, we look at the two-step subgroup test and more examples of groups.

# Finite groups and subgroups - part 1

We continue our discussion of groups by learning about subgroups, the order of a group, subgroup tests, and more properties of groups.

# Introduction to groups

Introduction to group theory. Includes definitions related to groups, examples of groups, theorems of basic proof properties along with proofs of the theorems.

# Abstract algebra preliminaries

A refresher on basic definitions and theorems needed to begin studying abstract algebra. Items of interest include computing gcd, the division algorithm, and modular arithmetic.

# Division in number theory - part 1

We begin our descent into introductory Number Theory material with the help of the book "Elementary Number Theory" by Gareth A. Jones and J. Mary Jones. The first topic is divisibility. This post discusses the division algorithm and the definition of "divides".