Solving the Group Theory Conundrum: Proving 'a' is in Z(G)".

astronut24
Messages
10
Reaction score
0
i've just started out with a course in group theory...here's a question that's been bothering me for a while now...
let G be a group and 'a' ,a unique element of order 2 in G. show that a belongs to Z(G).
if every element of the group has order 2 this is pretty easy...but that's not the case. one thing I've noted is a = a^-1..but does that help?
 
Physics news on Phys.org
Given any x in G, what can be said about xax^-1? For example, what is its order?
 
another question...

well...thanks...the order of xax^-1 is 2...and a is the only element with order 2...so xax^-1=a and that implies the result.
another problem that i seem to be unable to figure out is...
f:(Zm , +m) --> (Zn,+n) is a group homomorphism where Zm and Zn denote groups of residue classes modulo m and n respectively. if m and n are relatively prime, then show that f is identically 0.
i fathom we are supposed to use the relation... (m,n)=1 implies am+bn =1 for some a and b in Z...how do you proceed further?
thanks for the help...
 
Lemma: if f is a group homomorphism from G to H then the order of f(g) divides the order of g

Prove it and deduce the answer you want.

the am+bn=1 won't help since you aren't actually doing anything with m and n together.
 

Thread '##(A/\mathfrak{a})_{\mathfrak{p}/\mathfrak{a}}## and its isomorphism?'

I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
View full post »

Thread 'Trouble understanding an online solution to an exercise in Dummit & Foote'

##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
View full post »

Thread 'Questions about non existence of GCDs vs (coimages, cokernels)'

The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
View full post »

Similar threads

I Dfns group action & group, written in terms of the other
Replies
26
Views
375
MHB What Is the Upper Bound of Groups of Order in Finite Group Theory?
Replies
2
Views
2K
Insights Groups, The Path from a Simple Concept to Mysterious Results
Replies
17
Views
8K
I Question about "A Group Epimorphism is Surjective"
Replies
13
Views
570
I Isomorphisms between C4 & Z4 Groups
Replies
1
Views
2K
I Finding All Automorphisms of Group
Replies
2
Views
2K
MHB Group Ring Integral dihedral group with order 6
Replies
1
Views
2K
I Meaning of "passage to the quotient"?
Replies
3
Views
436
MHB Group mono-, endo-, iso-, homomorphism
Replies
9
Views
1K
MHB Proving a Subset of a Group is a Group
Replies
2
Views
2K

Hot Threads

Recent Insights

Back
Top