To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Skolem–Noether theorem

From Wikipedia, the free encyclopedia

In ring theory, a branch of mathematics, the Skolem–Noether theorem characterizes the automorphisms of simple rings. It is a fundamental result in the theory of central simple algebras.

The theorem was first published by Thoralf Skolem in 1927 in his paper Zur Theorie der assoziativen Zahlensysteme (German: On the theory of associative number systems) and later rediscovered by Emmy Noether.

YouTube Encyclopedic

  • 1/3
    Views:
    2 197 696
    330
    332
  • The High Schooler Who Solved a Prime Number Theorem
  • Emmy Noether in Erlangen and Göttingen by Ravi Rao
  • Thoralf Skolem

Transcription

Statement

In a general formulation, let A and B be simple unitary rings, and let k be the center of B. The center k is a field since given x nonzero in k, the simplicity of B implies that the nonzero two-sided ideal BxB = (x) is the whole of B, and hence that x is a unit. If the dimension of B over k is finite, i.e. if B is a central simple algebra of finite dimension, and A is also a k-algebra, then given k-algebra homomorphisms

f, g : AB,

there exists a unit b in B such that for all a in A[1][2]

g(a) = b · f(a) · b−1.

In particular, every automorphism of a central simple k-algebra is an inner automorphism.[3][4]

Proof

First suppose . Then f and g define the actions of A on ; let denote the A-modules thus obtained. Since the map f is injective by simplicity of A, so A is also finite-dimensional. Hence two simple A-modules are isomorphic and are finite direct sums of simple A-modules. Since they have the same dimension, it follows that there is an isomorphism of A-modules . But such b must be an element of . For the general case, is a matrix algebra and that is simple. By the first part applied to the maps , there exists such that

for all and . Taking , we find

for all z. That is to say, b is in and so we can write . Taking this time we find

,

which is what was sought.

Notes

  1. ^ Lorenz (2008) p.173
  2. ^ Farb, Benson; Dennis, R. Keith (1993). Noncommutative Algebra. Springer. ISBN 9780387940571.
  3. ^ Gille & Szamuely (2006) p. 40
  4. ^ Lorenz (2008) p. 174

References

This page was last edited on 25 January 2024, at 04:50
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.