What does it mean for a Ring to be Stabilized by a map

  • Thread starter Thread starter AcidRainLiTE
  • Start date Start date
  • Tags Tags
    Map Mean Ring
Click For Summary
SUMMARY

The discussion focuses on the concept of a division subring S of a division ring D being stabilized by the map x -> dxd-1 for all nonzero d in D. It establishes that if S is stabilized by this map, then either S equals D or S is a subset of the center C of D. The terminology used in the problem statement is clarified, emphasizing that stabilization means dSd-1 = S for all nonzero d, which aligns with the definition of stabilizers in group theory.

PREREQUISITES
  • Understanding of division rings and their properties
  • Familiarity with the concept of stabilizers in group theory
  • Knowledge of the center of a ring
  • Basic understanding of algebraic structures and mappings
NEXT STEPS
  • Study the properties of division rings and their centers
  • Research the concept of stabilizers in group theory
  • Explore examples of division subrings and their relationships with division rings
  • Learn about the implications of ring homomorphisms on subring structures
USEFUL FOR

Mathematicians, algebraists, and students studying abstract algebra, particularly those interested in ring theory and the properties of division rings.

AcidRainLiTE
Messages
89
Reaction score
2

Homework Statement


Let D be a division ring, C its center and let S be a division subring of D which is stabilized by every map x -> dxd-1, d≠0 in D. Show that either S = D or S is a subset of C.


2. The attempt at a solution
I haven't actually started working on it yet because I am not sure what it asking. What does it mean for a subring to be stabilized by a map? And what is x? Is it an element of D?

I am familiar with the stabilizer of an element, but the above terminology is confusing me.
 
Physics news on Phys.org
It means that dSd-1=S for all nonzero d. (same definition as the stabilizer of an element but with the set S substituted in its place!)

I think a more common terminology would be to say

"...and let S be a division subring of D which is stable under the action by every map x -> dxd-1, d≠0 in D"
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K