Is g^-1Ng a Subgroup of G? Proving Invariance in Group Theory

Click For Summary
SUMMARY

The discussion centers on proving that the set \( g^{-1}Ng \) is a subgroup of a group \( G \) when \( N \) is a subgroup of \( G \). Participants emphasize the necessity of demonstrating closure and the existence of inverses within \( g^{-1}Ng \). The proof requires showing that for any elements \( x \) and \( y \) in \( g^{-1}Ng \), their product \( xy \) also belongs to \( g^{-1}Ng \). Additionally, the inverse of any element in \( g^{-1}Ng \) must also be shown to reside in the same set.

PREREQUISITES
  • Understanding of group theory concepts, specifically subgroups.
  • Familiarity with group operations and properties, such as closure and inverses.
  • Knowledge of notation and terminology used in group theory, including \( g^{-1} \) and \( N \).
  • Basic proof techniques in mathematics, particularly in abstract algebra.
NEXT STEPS
  • Study the properties of subgroups in group theory.
  • Learn about the concept of conjugates in group theory.
  • Explore the criteria for subgroup tests, including closure and inverse properties.
  • Review examples of subgroup proofs to solidify understanding of the concepts.
USEFUL FOR

Students of abstract algebra, mathematicians interested in group theory, and anyone seeking to understand the properties of subgroups and their proofs.

Juanriq
Messages
39
Reaction score
0
Salutations all, just stuck with the starting step, I want to see if I can take it from there.

Homework Statement


Let G be a group and let N be a subgroup of G. Prove that the set g^{-1}Ng is a subgroup of G.




The Attempt at a Solution

Well, I'm going to have to show that g^{-1}Ng is closed and contains an inverse. Do I start by saying that g \in G and n \in N, therefore n \in G as well as g^{-1} \in G. The fact that G is a group means that combining these terms under the operation will still fall in G because it is closed. Also, for inverses, the element n^{-1}\in G so I can take g^{-1}n^{-1}g as the inverse?

Thanks in advance!
 
Physics news on Phys.org
if you want to show their element is closed, you have to show any two element in <br /> g^{-1}Ng <br /> when multiply, it still in <br /> g^{-1}Ng <br />, not in G.

so if x and y is in <br /> g^{-1}Ng <br />, what can you say about x and y??

and you need to show x*y is in <br /> g^{-1}Ng <br />

p/s: sorry if my english terrible
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K