Math 441 - Abstract Algebra - Schedule

Please Login to access more options.

Problem 80 (When Does $H=Ha$)

Let $H$ be a nonempty subset of a group $G$. Prove that $H$ is a subgroup of $G$ if and only if $Ha=H$ for every $a\in H$.

Click if you want a hint.

If you assume $H$ is a subgroup, pick $a\in H$ and then prove that $H\subseteq Ha$ and $Ha\subseteq H$.

If you assume that $Ha=H$ for every $a\in H$, then you must prove $H$ is a subgroup. You'll need to rely on the fact that if $b,c\in H$, then we know $H=Hb$ and $H=Hc$ as sets. One of these should get you closure pretty quickly. If you let $b\in H$, then why does $H=Hb$ force the existence of $h\in H$ such that $b=hb$, and as such why does this mean $e\in H$. A similar argument should get you the fact that $b^{-1}\in H$ (as $e\in H$ forces $e=bh$ for some $h\in H$).

Let's now turn our attention back to homomorphisms. We'll see very soon that there is a big connection between homomorphisms and cosets. For today, let's just focus on some more properties of homomorphisms, namely that homomorphisms preserve subgroups. If you've forgotten the definition of the image of a set under a function, then here is a reminder.

Definition (Definition.The image of a function $f(A)$)

Let $f:G\to H$ be a function and let $A$ be subset of $G$. Recall that the image of $A$ under $f$ is the set $$f(A)=\{f(a)\mid a\in A\}.$$

If the set $A$ is a subgroup, then we would expect that a homomorphism maps the subgroup $A$ to a subgroup of $H$. This is precisely what the next problem asks you to show.

Problem 81 (The Image Of A Subgroup Under A Homomorphism Is A Subgroup)

Suppose that $f:G\to H$ is a homomorphism. Let $A$ be a subgroup of $G$. Show that $f(A)$ is a subgroup of $H$.

We now generalize some facts that we learned about the determinant map. We have already shown that the determinant map breaks up the set of possible matrices into equally sized cosets, where each coset consists of matrices of the same determinant. The next problem has you show that this property was not dependent on the determinant map, rather it has to do with the fact that the special linear group is a subgroup, and nothing more. You should find that your work on the problem The Set Product $Ha$ Preserves Determinants can almost be copied directly over to solve the next problem.

Problem 82 (Properties Of Cosets)

Let $G$ be a group, and let $H$ be a subgroup of $G$. Let $a,b \in G$. Prove the following:

The function $f:H\to Ha$ defined by $f(h)=ha$ is a bijection.
We have $|H|=|Ha|$.
We know $b\in Ha$ if and only if $Hb=Ha$.

We've seen that when we create an identification graph of $G$ using right cosets of $H$, we sometimes get a Cayley graph, and we sometimes don't. Today, we'll be focusing on the question, "When is an identification graph of $G$ using cosets of $H$ another Cayley graph?" To answer this question, we'll need to explore the properties of cosets in depth.

When working with the determinant map $f:GL(2,\mathbb{Z}_p)\to U(p)$, we have already shown that the kernel of this map is the special linear group $K=SL(2,\mathbb{Z}_p)$. We've also shown that the coset $Ka$ equals the set of all matrices whose determinant matches the determinant of $a$. Another way to say this is that $Ka$ equals the set of values $b\in G(2,\mathbb{Z}_p)$ such that $f(b)=f(a)$. A similar argument would show that $aK$ is the exact same set, which means we have $Ka=aK$. The next problem has you show that for any homomorphism $f:G\to H$ with kernel $K$, we always have $Ka=aK$ and that $Ka$ equals the set of $b\in G$ such that $f(b)=f(a)$.

Problem 83 (The Right And Left Cosets Of The Kernel Are Equal)

Suppose that $f:G\to H$ is a homomorphism. Let $K$ be the kernel of $f$ and let $a\in G$. Prove the following:

The right coset $Ka$ equals the set of values $b\in G$ such that $f(b)=f(a)$, or symbolically we have $$Ka = \{b\in G\mid f(b)=f(a)\} = f^{-1}(f(a)).$$
The left coset $aK$ equals the same set $\{b\in G\mid f(b)=f(a)\}$, which means the left and right cosets are the same or $Ka=aK$.

In the previous problem, we saw that any time $K$ is the kernel of a homomorphism, we can talk about left or right cosets and obtain the exact same result, namely $Ka=aK$ for every $a\in G$. Any time a subgroup of $G$ satisfies this result, we'd like to have a special name for that subgroup. We call these subgroups normal.

Definition (Normal Subgroup $N\trianglelefteq G$)

We say that a subgroup $N$ of $G$ is a normal subgroup of $G$ if for each $a\in G$ the right coset $Na$ and left coset $aN$ are equal, so we have $Na=aN$ for every $a\in G$. We write $N\trianglelefteq G$ to mean that $N$ is a normal subgroup of $G$.

Before we can move too much farther, we need to prove some additional properties about cosets. We have already shown the following for a subgroup $H$ of the group $G$ with $a,b\in G$:

We know $a\in Ha$.
We know $Ha=H$ if and only if $a\in H$.
We know $b\in Ha$ if and only if $Hb=Ha$.
The function $f:H\to Ha$ defined by $f(h)=ha$ is a bijection.
We have $|H|=|Ha|$.

Let's add to this list of properties.

Problem 84 (Properties Of Cosets Part Two)

Let $H$ be a subgroup of $G$. Let $a,b\in G$. Prove the following facts about cosets.

We have $Ha=Hb$ if and only if $ab^{-1}\in H$.
We must have $Ha=Hb$ or $Ha\cap Hb=\emptyset$.
We have $Ha=aH$ if and only if $aHa^{-1}=H$.

We've already seen all of these properties before when studying modular arithmetic. Let $G=\mathbb{Z}$ and let $H=n\mathbb{Z}$ for some $n\in\mathbb{N}$. The cosets of $H$ are $r+n\mathbb{Z}$ for $0\leq r<n$.

The first property above states that $a+n\mathbb{Z}=b+n\mathbb{Z}$ if and only if $a-b\in n\mathbb{Z}$. Wait, this just says two numbers have the same remainder if and only if their difference is a multiple of $n$.
The second property above states that either $a$ and $b$ have the same remainder, or they don't. It basically states that remainders are unique.
The third property is trivial for $\mathbb{Z}$ because $\mathbb{Z}$ is an Abelian group and we always know $a+n\mathbb{Z}=n\mathbb{Z}+a$.

Problem 85 (The Set Product Is A Binary Operation On Cosets Of Normal Subgroups)

Suppose that $N$ is a normal subgroup of $G$. Let $a,b\in G$, and consider the two cosets $Na$ and $Nb$. Show that the set product $(Na)(Nb)$ is again a coset of $N$, and that we have $(Na)(Nb)=N(ab)$.

This shows that the set product is a binary operation on right cosets (and left cosets) of a normal subgroup $N$.

Click if you want a hint.

You've got to make use of the fact that $Na=aN$ for every $a\in G$. So we have $Nb=bN$, $Nc=cN$, $Nx=xN$, etc. Why is this useful? Any time you see $na$ in your work for some $n\in N$, you know that $na\in Na$ which means $na\in aN$ which means there exists some $n'\in N$ with $na=an'$. You don't have the ability to commute, but we get ALMOST commutativity. We can write $na=an'$ for some different $n'\in N$. The $'$ symbol just means that it's a different element. It's not a derivative.

So in your work if you ever see $bn_1a$, you can instead either write $bn=n_2b$ or you could write $na=an_3$ for some $n_2,n_3\in N$, and then you have $bn_1a = n_2ba=ban_3$. Similarly, if you see $n_1an_2b$, then you should be able to write this, after some work, in either the form $n_3ab$ or the form $abn_4$ (you'll need to use the closure of the operation in $N$ to combine elements in $N$).

You can't use the commutative law, but you have something pretty close.

The next theorem should come as no surprise. We've already shown that given any subgroup $H$ of $G$, that every element of $H$ is in one of the cosets of $H$. We've also shown that the cosets of $H$ are disjoint. These two facts together show that we can partition $G$ into a disjoint union of cosets of $H$. We also know that the size of each coset matches the order of $H$. So if we have $r$ disjoint cosets $Ha_1$, $Ha_2$, $Ha_3$, ..., $Ha_r$, all of which have the same number of elements, then we should be able to use this information to show that the order of $H$ divides the order of the group. This fact is called Lagrange's theorem.

Problem 86 (Lagrange's Theorem Proof)

Prove Lagrange's Theorem.

Theorem (Lagrange's Theorem)

Suppose that $G$ is a finite group and that $H$ is a subgroup of $G$. Then the order of $H$ divides the order of $G$. In particular, we know that $|G|/|H|$ equals the number of distinct right (or left) cosets of $H$ in $G$.

We now have shown that the $|G|/|H|$ is precisely the number of cosets of $H$ there are in $G$. From a Cayley graph perspective, this is how many copies of $H$ are visible in the graph, as they are translated throughout the graph. The number of such cosets is called the index of $H$ in $G$, and written $|G:H|$.

Definition (Index of $H$ in $G$, or $|G:H|$)

If $H$ is a subgroup of $G$, then the index of $H$ in $G$, written $|G:H|$, is the number of distinct right (or left) cosets of $H$. Because of Lagrange's theorem, we know that $|G:H|=|G|/|H|$.

We'll now return to looking at when the left and right cosets of a subgroup agree, namely we'll be looking at normal subgroups. Let's first get ourselves a collection of subgroups that are normal.

Problem 87 (Some Normal Subgroups)

Prove the following facts.

If $G$ is Abelian, then every subgroup of $G$ is normal.
The center $Z(G)$ of any group $G$ is always a normal subgroup of $G$.

We are now ready to define a new group using the cosets of a normal subgroup. If $N$ is a normal subgroup of $G$, then we've already shown that the binary operation on the collection of cosets, defined by $(Na)(Nb)=N(ab)$, is well defined. Is this binary operation enough to forma a group? To say yes, we need to show that the operation is associative, that there is there an identity coset, and that every coset has an inverse coset. We're now ready to prove that the collection of cosets of a normal subgroup is actually a group, and we call this the factor group of $G$ by $N$, or the quotient group of $G$ by $N$, and we write $G/N$ to talk about this group of cosets.

Definition (Factor Group or Quotient Group of $G$ by $N$, or $G/N$)

Let $G$ be a group. Let $N$ be a normal subgroup of $G$. Then we define the factor group of $G$ by $N$, or the quotient group of $G$ by $N$, to be the set $G/N = \{Na\mid a\in G\}$, i.e the collection of right cosets of $N$ using the set product $(Na)(Nb)=N(ab)$ as the binary operation.

Problem 88 (The Quotient Group $G/N$ Is A Group)

Let $G$ be a group and let $N$ be a normal subgroup of $G$. Prove that the set $G/N$ is actually a group under the operation of coset products.

For more problems, see AllProblems

20171117