Abstract Algebra Questions: Homomorphisms and Normal Subgroups

In summary, the conversation discusses various problems in abstract algebra and offers help and hints to understand and solve them. Specifically, the conversation covers topics such as group homomorphisms, normal subgroups, quotient groups, and cosets. The main focus is on understanding and applying these concepts to solve the given problems.
  • #1
rocky926
17
0
Abstract Algebra Questions... Help Please!

Any and all help on these problems would be greatly appreciated. Thank you in advance to any who offer help :smile:.

1. Let φ:G->H be a group homomorphism, where G has order p, a prime number. show that φ is either one-to-one or maps every element of G to the identity element of H.

2. Show that if H is a normal subgroup of G (with operation multiplication) and [G:H]=m, then for every g in G, g^m is in H.

3. Every symmetry of the cube induces a permutation of the four diagonals connecting the opposite vertices of the cube. This yields a group homomorphism φ from the group G of symmetris of the Cube to S4 (4 is a subscript). Does φ map G onto S4? Is φ 1-1? If not, describe the symmetries in the kernel of φ. Determine the order of G.
 
Physics news on Phys.org
  • #2
What have you tried? For the first, think about the kernel of phi.
 
  • #3
I know the kernal is the set K where the elements of K are the elements of G that when put into phi return the identity element of H, but I am not sure how to calculate this.
For example if I had φ:Z(mod 24) -> Z(mod 81), what would the kernal be??
I don't understand how to go about finding the kernal of this... Thank you for your help :)
 
  • #4
In general, you can't say much about the kernel until you know what the map is. But to go back to your problem, a group of prime order is a very special and simple kind of group. What kind? For example, does it have any non-trivial subgroups?
 
  • #5
I believe every group of prime order is also a cyclic group.
 
  • #6
Good, now can it have any nontrivial subgroups?
 
  • #7
I think the only subgroup would be the group containing the identity element... meaning there are no nontrivial subgroups...
 
  • #8
Yep, the whole group is also considered a subgroup of itself. Now can you figure out what 'subgroups' have to do with 'kernels'?
 
  • #9
well since the kernel of a group homomorphism is a subgroup of the group on the left, in this case G, and since G has no nontrivial subgroups.. then the kernel of phi must be the entire group G or just he identity element.
 
  • #10
Comment on the "meaning" of the statement

rocky926 said:
1. Let φ:G->H be a group homomorphism, where G has order p, a prime number. show that φ is either one-to-one or maps every element of G to the identity element of H.

The homomorphic image of a group is a simplified model of that group, in which we identify the cosets of the kernel with the elements in the image. So the result stated in the exercise says that there are no nontrivial simplified models of groups of prime order, because the only homomorphic images are either isomorphic copies (not simplified at all!) or the trivial group (absurdly oversimplified!). This might remind you of a fact about divisors of prime numbers.
 
  • #11
rocky926 said:
well since the kernel of a group homomorphism is a subgroup of the group on the left, in this case G, and since G has no nontrivial subgroups.. then the kernel of phi must be the entire group G or just he identity element.

So if the kernel is the entire group then you are all done. Now you just have to show that if the kernel is only the identity then the map is one-to-one.
 
  • #12
Thanks! I think I can handle this one from here on out... now onto the others... haha, Thanks Again!
 
  • #13
Could someone please tell me what the notation in problem 2, "[G:H]=m" means...Thanks
 
  • #14
rocky926 said:
Could someone please tell me what the notation in problem 2, "[G:H]=m" means...Thanks

I believe it means that the order of the factor group G/H is the integer m.
 
  • #15
Could someone give me a hint as to where to start on either problem 2 or problem 3... I am really having trouble with this chapter in the text... Thanks!
 
  • #16
For 2, do you know what a quotient group is? Also, note that the order of any element in a group divides the order of the group. There's a few steps to fill in, but it'd be hard to give you any more hints without giving it away.
 
  • #17
Im reading about the factor/quotient groups right now, but honestly am having a lot of trouble grasping this concept right now... Thanks for these hints though.. I am going to try and figure out the rest of the steps.. If you could offer any other help I would greatly appreciate it. :)
 
  • #18
Do you know that the quotient of a group by a normal subgroup is a group? BTW, rather than post a number of questions in a single query I think you'd do better to post them in shorter bites.
 
  • #19
Im sorry Dick I am not sure what you mean by that. I've been having a lot of trouble with the quotient groups... and am still trying to get a hold on the basic concept.
 
  • #20
It's like equivalence classes. Do you know them? If H is a normal subgroup of G then the right cosets and the left cosets are equal and there are #(G)/#(H) of them (where # just means number of elements in a set). And they form a group under the operation (xH)*(yH)=(x*y)H. Since this isn't the Physics and Math Lecture Forums, I'll just suggest that you try and review them and post further questions if you get confused, ok? This should remind you of a homomorphism. Because it is.
 
Last edited:

1. What is Abstract Algebra?

Abstract Algebra is a branch of mathematics that deals with algebraic structures, such as groups, rings, and fields, and their properties and relationships. It is a more abstract and general approach to algebra, as opposed to the more concrete and specific algebra taught in high school.

2. What are some applications of Abstract Algebra?

Abstract Algebra has many applications in various fields of mathematics and other disciplines. It is used in cryptography, coding theory, computer science, physics, chemistry, and engineering. It also has applications in pure mathematics, such as in number theory and geometry.

3. What are the basic concepts in Abstract Algebra?

The basic concepts in Abstract Algebra include groups, rings, fields, and vector spaces. Groups are sets with an operation that satisfies certain properties, such as closure, associativity, and inverse elements. Rings are sets with two operations that satisfy certain properties, such as commutativity and distributivity. Fields are sets with two operations that also satisfy the properties of a ring, but with the added requirement of every non-zero element having a multiplicative inverse. Vector spaces are sets of objects that can be added and multiplied by scalars, and they satisfy certain properties, such as closure and associativity.

4. How is Abstract Algebra different from traditional algebra?

Abstract Algebra is different from traditional algebra in that it deals with more abstract and general concepts and structures, whereas traditional algebra typically deals with specific numbers and equations. It also focuses on the properties and relationships between these structures, rather than just solving equations.

5. What are some key theorems in Abstract Algebra?

Some key theorems in Abstract Algebra include the Fundamental Theorem of Arithmetic, which states that every positive integer can be uniquely expressed as a product of prime numbers, and the Fundamental Theorem of Algebra, which states that every non-constant polynomial with complex coefficients has at least one complex root. Other important theorems include Lagrange's Theorem, the Chinese Remainder Theorem, and the Isomorphism Theorems.

Similar threads

  • Calculus and Beyond Homework Help
Replies
4
Views
3K
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
994
  • Calculus and Beyond Homework Help
Replies
6
Views
765
  • Calculus and Beyond Homework Help
Replies
1
Views
4K
  • Calculus and Beyond Homework Help
Replies
1
Views
989
  • Calculus and Beyond Homework Help
Replies
2
Views
1K
  • Calculus and Beyond Homework Help
Replies
9
Views
1K
  • Calculus and Beyond Homework Help
Replies
15
Views
1K
Back
Top