 #1
Math Amateur
Gold Member
 1,067
 47
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 the proof of Lemma 1.25 ...
Lemma 1.25 reads as follows:
My questions on the proof of Lemma 1.25 are as follows:
Question 1
In the above text from Bresar we read the following:
" ... ... Therefore ##[ M(A) \ : \ F ] \ge d^2 = [ \text{ End}_F (A) \ : \ F ]## ... ... "
Can someone please explain exactly why Bresar is concluding that ##[ M(A) \ : \ F ] \ge d^2## ... ... ?
Question 2
In the above text from Bresar we read the following:
" ... ... Therefore ##[ M(A) \ : \ F ] \ge d^2 = [ \text{ End}_F (A) \ : \ F ]##
and so ##M(A) = [ \text{ End}_F (A) \ : \ F ]##. ... ... "
Can someone please explain exactly why ##[ M(A) \ : \ F ] \ge d^2 = [ \text{ End}_F (A) \ : \ F ]## ... ...
... implies that ... ##M(A) = [ \text{ End}_F (A) \ : \ F ]## ...
Hope someone can help ...
Peter
===========================================================
*** NOTE ***
So that readers of the above post will be able to understand the context and notation of the post ... I am providing Bresar's first two pages on Multiplication Algebras ... ... as follows:
I need help with the proof of Lemma 1.25 ...
Lemma 1.25 reads as follows:
My questions on the proof of Lemma 1.25 are as follows:
Question 1
In the above text from Bresar we read the following:
" ... ... Therefore ##[ M(A) \ : \ F ] \ge d^2 = [ \text{ End}_F (A) \ : \ F ]## ... ... "
Can someone please explain exactly why Bresar is concluding that ##[ M(A) \ : \ F ] \ge d^2## ... ... ?
Question 2
In the above text from Bresar we read the following:
" ... ... Therefore ##[ M(A) \ : \ F ] \ge d^2 = [ \text{ End}_F (A) \ : \ F ]##
and so ##M(A) = [ \text{ End}_F (A) \ : \ F ]##. ... ... "
Can someone please explain exactly why ##[ M(A) \ : \ F ] \ge d^2 = [ \text{ End}_F (A) \ : \ F ]## ... ...
... implies that ... ##M(A) = [ \text{ End}_F (A) \ : \ F ]## ...
Hope someone can help ...
Peter
===========================================================
*** NOTE ***
So that readers of the above post will be able to understand the context and notation of the post ... I am providing Bresar's first two pages on Multiplication Algebras ... ... as follows:
Attachments

57.7 KB Views: 454

55 KB Views: 571

74.4 KB Views: 443

76.6 KB Views: 617
Last edited: