Solving Ring Theory Question - Centralizer of Division Char(D) ≠ 2

  • Context: Graduate 
  • Thread starter Thread starter DukeSteve
  • Start date Start date
  • Tags Tags
    Ring Theory
Click For Summary
SUMMARY

The discussion centers on proving properties of the centralizer of a division ring D with characteristic not equal to 2. The user demonstrates that if x is an element of D not in the centralizer F, but x² is in F, then there exists an element y in D such that yxy⁻¹ = -x. The user successfully derives the necessary relationships using the properties of non-commutative multiplication in rings, specifically leveraging the invertibility of elements in D.

PREREQUISITES
  • Understanding of ring theory and division rings
  • Familiarity with the concept of centralizers in algebra
  • Knowledge of group theory, particularly the properties of invertible elements
  • Proficiency in manipulating algebraic expressions involving non-commutative operations
NEXT STEPS
  • Study the properties of centralizers in non-commutative rings
  • Learn about division rings and their characteristics, particularly in relation to their centralizers
  • Explore the implications of the characteristic of a ring on its structure and element behavior
  • Investigate examples of non-commutative rings to solidify understanding of the concepts discussed
USEFUL FOR

This discussion is beneficial for mathematicians, particularly those specializing in abstract algebra, ring theory, and anyone interested in the properties of division rings and their centralizers.

DukeSteve
Messages
9
Reaction score
0
Hello Experts,

Here is the question, and what I did:

Q: Given a ring with division D char(D) != 2, F = Centralizer of D (means that F becomes a field). Given that x in D isn't in F but x^2 is included in F.

Needed to prove that there exists y in D and y*x*y^(-1) = -x
and also that y^2 is in C_D({x}) where C_D is the centralizer of the set {x} sub set of D.

What I did is:

I know that x is not in F so there exists such s in D that sx!=xs
Let's call sx-xs = y there is y^-1 because every non zero element in D is invertible.

Then I just tried to plug it in the equation: (sx-xs)*x*(sx-xs)^(-1) =>
(sx-xs)^(-1) should be 1/(sx-xs) but it gives nothing.

Please tell me how to solve it...I know that I miss something, please guide me step by step.
 
Physics news on Phys.org
You're almost there (remember that [tex]sx^2=x^2s[/tex]):

[tex](sx-xs)x(sx-xs)^{-1}=(sx^2-xsx)(sx-xs)^{-1}=x(xs-sx)(sx-xs)^{-1}=-x[/tex]
 
Ohh thanks a lot I just figured it out!
Please excuse me if I answered before in a rude form, I didn't want to hurt you!

Thank You very much!
 

Similar threads

  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 0 ·
Replies
0
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K