Automorphisms of Central Simple Algebras/Bresar Example 1.27

  • Context: Undergrad 
  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Example
Click For Summary
SUMMARY

This discussion centers on Example 1.27 from Matej Bresar's "Introduction to Noncommutative Algebra," specifically addressing the nature of inner automorphisms in commutative rings and the relationship between endomorphisms and multiplication algebras. Bresar asserts that the identity map is the only inner automorphism of a commutative ring, which is clarified by the fact that any inner automorphism in such a ring must yield the identity due to commutativity. Additionally, the discussion explains why the conjugation automorphism is an element of the endomorphism space End() but not of the multiplication algebra M().

PREREQUISITES
  • Understanding of inner and outer automorphisms in algebra
  • Familiarity with the definitions of commutative rings and fields
  • Knowledge of endomorphisms and multiplication algebras
  • Basic concepts of abstract algebra, particularly in the context of division algebras
NEXT STEPS
  • Study the definitions and properties of inner and outer automorphisms in algebra
  • Explore the relationship between fields and commutative rings in abstract algebra
  • Investigate the structure and properties of endomorphism spaces, particularly End()
  • Learn about multiplication algebras and their applications in noncommutative algebra
USEFUL FOR

Mathematicians, particularly those specializing in abstract algebra, graduate students studying noncommutative algebra, and anyone interested in the properties of automorphisms in algebraic structures.

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Matej Bresar's book, "Introduction to Noncommutative Algebra" and am currently focussed on Chapter 1: Finite Dimensional Division Algebras ... ...

I need help with some aspects of Example 1.27...

Example 1.27 (including a short preamble and Definition 1.26) reads as follows:
?temp_hash=94ae0ee76da59037e98127b7c520fd44.png

My questions on Example 1.27 comprise the following:
Question 1

In the above example from Bresar we read the following:

" ... ... Of course it is outer ... for the identity map is obviously the only inner automorphism of a commutative ring. ... ... "

I have two questions regarding this remark ...

(a) ... why does Bresar assert that "the identity map is obviously the only inner automorphism of a commutative ring" ... surely a commutative ring may have some units (invertible elements other than ##1## ...) and so may have some inner automorphisms ... BUT Bresar is asserting that this is not the case ... can someone please clarify this issue ...(b) ... Bresar seems to be talking about ##\mathbb{C}## ... but he is referring to "a commutative ring" in the quote above ... but why? ... ##\mathbb{C}## is a field ... ?

Can someone please clarify what Bresar means ...

Question 2

In the above example from Bresar we read the following:

" ... ... We also remark that it is an element of ##\text{End}_\mathbb{R} ( \mathbb{C} )## but not ##M( \mathbb{C} )##. ... "I have two questions on this remark ... as follows ...(a) ... ... Bresar proved in Lemma 1.25 (see previous post) that for

##M(A) = \text{End}_F (A)## ...

so ... why isn't it true that ##M( \mathbb{C} ) = \text{End}_\mathbb{R} ( \mathbb{C} )## ... ?(b) ... can someone please explain exactly why the conjugation automorphism is an element of ##\text{End}_\mathbb{R} ( \mathbb{C} )## but not of ##M( \mathbb{C} )## ... ?Help will be much appreciated ... ...

Peter=============================================================================

So that readers of this post can appreciate the notation and the context I am providing Bresar Section 1.5 ( which includes Lemmas 1.24 and 1.25) and also the start of Bresar Section 1.6 ... ... as follows:
?temp_hash=94ae0ee76da59037e98127b7c520fd44.png

?temp_hash=94ae0ee76da59037e98127b7c520fd44.png

?temp_hash=94ae0ee76da59037e98127b7c520fd44.png
 

Attachments

  • Bresar - Example 1.27 ....png
    Bresar - Example 1.27 ....png
    31.4 KB · Views: 1,240
  • Bresar - 1 - Section 1.5 Multiplication Algebra - PART 1 ... ....png
    Bresar - 1 - Section 1.5 Multiplication Algebra - PART 1 ... ....png
    27.6 KB · Views: 686
  • Bresar - 2 - Section 1.5 Multiplication Algebra - PART 2 ... ....png
    Bresar - 2 - Section 1.5 Multiplication Algebra - PART 2 ... ....png
    29.5 KB · Views: 661
  • Bresar - 1 - Section 1.6 ... Automorphisms of Central Simple Algebras ... PART 1 ....png
    Bresar - 1 - Section 1.6 ... Automorphisms of Central Simple Algebras ... PART 1 ....png
    66.3 KB · Views: 804
Physics news on Phys.org
I think I can answer question 1 easily but mind that I am a bit rusty on abstract algebra.

if the ring is commutative then any inner automorphism is the identity since by definition of the inner automorphism ##\phi(x)=axa^{-1}=aa^{-1}x=x##. The second step in the series of equalities is because the ring is commutative.

Also any field is a commutative ring (by the definition of the field if I am not mistaken) so I hope the above answer this question.
 
  • Like
Likes   Reactions: Math Amateur
It is necessary to sit with pencil (or your favorite writing implement) and paper in order to understand the answers to questions like yours, Math Amateur.

M(C) is the multiplication algebra of C, generated by left and right multiplications of an element (call it z) of C, by other elements of C. First verify that conjugation is an endomorphism of the R-algebra C. (Here it is absolutely necessary to know what the terms conjugation, R, R-algebra, and C mean.) Then verify that no matter which left and right multiplications you use to get an element of M(C), you will never obtain complex conjugation.
 

Similar threads

Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K