Hi. I'm stuck on a university level algebra question in my textbook and I was hoping to receive some help on it.
The problem is: Let G be a group and let H1, H2 be subgroups of G. Prove that if H1 union H2 is a subgroup then either H1 is a subset of H2 or H2 is a subset of H1. Sorry about the notation or lack thereof. I don't know all the programming stuff.
Plus I'm just reading something and I was wondering. Are the symbols S3, Q8, and D4 notations for specific groups? I have never seen them before and a problem I have seems to assume I should know them. Anyway, all the numbers after the letters are subscripts.
Thanks for any help. Pvt Bill Pilgrim.
Okay the problem is that when you take the union of two subgroups of a group not necessarily a subgroup, why? Well, there is an identity element, there is an inverse for each element and multiplication is associate. The problem is it fails to be closed.
Let us do this by contradiction...
Assume, that neither and is true. (Note the meaning of is the same as because these are groups).
Thus there exists such as,
But the condition of the problem,
is a group, and
Using group properties we have,
implies and thus, by closure. Thus,
implies and thus, by closure. Thus, .
Thus, (de Morgan's negation)
I really appreciate the proof.
Now just a few questions:
How exactly do you define these particular groups, say Q8, S3, D4?
What would be the order of each element of these groups?
What would be the subgroups of these groups (which ones are cyclic?)
I must have missed something in class and now I'm behind. All my notes seem to assume that these are known.
is a group of symettries on
Dihedral group is more complicated to explain. are the octions. These are,
This is non-abelian (in fact all 3 that you mentioned are non-abelian).
The order of an element is the smalles positive (it exists for finite groups) such that,What would be the order of each element of these groups?
For example, in the octions
Order of 1
Order of 2
---> Order of 4
Let us look at the octions.What would be the subgroups of these groups (which ones are cyclic?)
The Klein 4 group is its subgroup,
It happens to be cyclic,
is a generator.
Here is the group .
There are going to be elements.
Here there are.... (note I given them a name).
These will form a group shown below.
We can see that the set,
Is a subgroup of this group.
Furthermore, since the order of this subgroup is 3, a prime, it is cyclic.
While we have this diagram let us see if we can find any subgroups.
is a subgroup, it is the trival subgroup for it contains the identity element.
is the improper subgroup it contains all of these elements.
But are there any other except for the one I mentioned above?
By Lagrange's theorem the order of a subgroup divides the order of the finite group. So if they exist they must be either 2 or 3. (In fact they must exist, it is called Cauchy's theorem but that might be too advanced for you since you are just starting to learn group theory). But still even if you never learned Cauchy's theorem you can still come to a conclusion by looking at the group diagram.
By observing this group we see that are subgroups. It can be shown (again might be too difficult for you yet) that there cannot exist more subgroups of order 2. Or you can just look at all the possibilities and see that these are the only ones.
And all of these are cyclic! Because 2 is a prime.
We have succesfully given all the subgroups and shown they are all cyclic except for the improper subgroup, the group itself.