Absract Algebra
From Exampleproblems
Contents |
Basic Stuff
solution Explain the "null set."
Groups
proof Prove that the additive groups
and
are isomorphic for
proof Let R be an integral domain. Suppose that existence of factorizations holds in R. Prove that R is a unique factorization domain if and only if every irreducible element is prime.
proof Prove that if
, then G is abelian.
proof Prove that if G is a group and H,K are subgroups of G, then
is a group.
proof Prove that
and
, if and only if
is a subgroup of
.
proof Prove that a group homomorphism maps the identity to the identity and inverses to inverses.
proof Prove that the kernel of a homomorphism from a group is a subgroup of that group.
solution Define actions, centralizers, normalizers, stabilizers, and centers.
proof Prove that if
and
then the following are equivalent:
(a)
which means
is a generator of
.
(b)
i.e. r and
are relatively prime.
(c)
such that
.
solution Let
and
belong to the group
. If
and
, where
and
are relatively prime, show that
and that
.
proof Let
be any subgroup of the group
. The set of left cosets of
in
form a partition of
. Furthermore, for all
if and only if
and in particular,
if and only if
and
are representatives of the same coset.
Groups- facts and examples
- Addition of residue classes in
is associative.
- Multiplication of residue classes in
is associative.
- A finite group is abelian if and only if its group table is a symmetric matrix.
-
.
- If
then
.
- If
then
if and only if
.
- If
, then
is abelian.
-
is abelian if and only if both
and
are abelian.
Dihedral Groups
- If
and
is not a power of
, then
.
- Every element of
which is not a power of
is of order 2.
Symmetric Groups
-
is a non-abelian group for all
.
- Disjoint cycles commute.
- The order of a permutation is the l.c.m. of the lengths of the cycles in its cycle decomposition.
- An element has order 2 in
if and only if its cycle decomposition is a product of commuting 2-cycles.
- Let
be a prime. Show that an element has order
in
if and only if its cycle decomposition is a product of commuting p-cycles.
- If
then the number of
-cycles in
is given by
.
Matrix Groups
-
is an
matrix with entries from
and nonzero determinant.
-
is non-abelian.
Homomorphisms and Isomorphisms
-
is a homomorphism if
. This implies
and
.
- The exponential map
defined by
is an isomorphism from
to 
