Trusted by Students Everywhere
Why Choose Us?
0% AI Guarantee

Human-written only.

24/7 Support

Anytime, anywhere.

Plagiarism Free

100% Original.

Expert Tutors

Masters & PhDs.

100% Confidential

Your privacy matters.

On-Time Delivery

Never miss a deadline.

Let K={k1,

Math Sep 04, 2020

Let K={k1,....km} be a conjugacy class in the finite group G.

a) Prove that the element K=k1+k2+....km is the center of the group ring R[G]
(check that g^-1Kg=K for all gin G)

b) Let K1,....Kr be the conjugacy classes of G and for each Ki let Ki be the element of R[G] that is the sum of the members of Ki. Prove that an element alpha of R[G] is in the center of R[G] iff alpha=a1K1 +.....+arKr for some a1,...ar in R

Expert Solution

Proof:
a) Since K={k1,...,km} is a conjugacy class of a finite group G, then
for any g in G, gkig^(-1)=ki' is still in K, for any ki in K. And
K'={k1',...,km'} is a permutation of K={k1,...,km}.
So k1+...+km = k1'+...+km'. Let K=k1+...+km, K'=k1'+...+km',
then gKg^(-1)=K'=K. So gK=Kg.
Since G is finite, then G={g1,...,gn} and G is a basis of the group
ring R[G]. For any r and gi, we have rgiK=rKgi=Krgi.
Thus for any r=r1g1+...+rngn in R[G], we have
rK=(r1g1+...+rngn)K=r1g1K+...+rngnK=Kr1g1+...+Krngn
=K(r1g1+..+rngn)=Kr.
So K is in the center of R[G].

b) Since K1,...Kr are conjugacy classes in G, from the above proof, we
know that K1,...,Kr are in the center of G, where Ki is also denoted
as the sum of all elements in Ki.
"<=": If alpha=a1K1+...+arKr, then for any x in R[G], we have
x*alpha=x(a1K1+...+arKr)=a1xK1+...+arxKr
=a1K1x+..+arKrx=(a1K1+...+arKr)x=alpha*x
Thus alpha is in the center of R[G].
"=>": If alpha is in the center of R[G], then alpha is a linear combination
of elements in G. But elements in G is divided into conjuacy classes.
So alpha=K1'+K2'+...+Kr', where Ki' is a linear combination of elements
in Ki. For each g in G, g can be also considered an elements in R[G],
gKi'g^(-1) is also a linear combination of elements in Ki'. But alpha
is in the center of G, then g*alpha*g^(-1)=alpha. Thus we must have
gKi'g^(-1)=Ki.
Without the loss the generality, we only consider K1'(assume K1' is not 0)
Suppose h1,...,hm are all elements in K1 and K1'=b1h1+...+bmhm.
The trivial case is that K1 contains only one element, then K1'=b1h1=b1K1
and we are done. For nontrivial case that K1 contains at least two elements.
First I claim the bi is not 0 for any 1<=i<=m. If bi=0, then we can find
some g in G, such that ghjg^(-1)=hi, and bj is not 0, for some j not equal to i.
So gK1'g^(-1) contains item gbjhjg^(-1)=bjhi but K1' does not contain the term
hi because bi=0. So gK1'g^(-1) is not equal to K1'. This is a contradiction.
Second, I claim the b1=b2=...=br. Because if any two are not equal, say
bi is not equal to bj, then ghjg^(-1)=hi and gK1'g^(-1) has term bjhi, but
K1' only has term bihi and bi not equal to bj. So gK1'g^(-1) is not equal to K1'.
Again we get a contradiction.
Therefore, K1'=b1(h1+...+hm)=b1K1. Other Ki's are the same.
Thus alpha=a1b1K1+...+arbrKr and we are done.

Archived Solution
Unlocked Solution

You have full access to this solution. To save a copy with all formatting and attachments, use the button below.

Already a member? Sign In
Important Note: This solution is from our archive and has been purchased by others. Submitting it as-is may trigger plagiarism detection. Use it for reference only.

For ready-to-submit work, please order a fresh solution below.

Or get 100% fresh solution
Get Custom Quote
Secure Payment