Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Spectrum of a ring
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
== Functional analysis perspective == {{Main|Spectrum (functional analysis)}} {{details|Algebra representation#Weights}} The term "spectrum" comes from the use in [[operator theory]]. Given a [[linear operator]] ''T'' on a [[finite-dimensional]] vector space ''V'', one can consider the vector space with operator as a module over the polynomial ring in one variable ''R'' = ''K''[''T''], as in the [[structure theorem for finitely generated modules over a principal ideal domain]]. Then the spectrum of ''K''[''T''] (as a ring) equals the spectrum of ''T'' (as an operator). Further, the geometric structure of the spectrum of the ring (equivalently, the algebraic structure of the module) captures the behavior of the spectrum of the operator, such as algebraic multiplicity and geometric multiplicity. For instance, for the 2Γ2 identity matrix has corresponding module: :<math>K[T]/(T-1) \oplus K[T]/(T-1)</math> the 2Γ2 zero matrix has module :<math>K[T]/(T-0) \oplus K[T]/(T-0),</math> showing geometric multiplicity 2 for the zero [[eigenvalue]], while a non-trivial 2Γ2 nilpotent matrix has module :<math>K[T]/T^2,</math> showing algebraic multiplicity 2 but geometric multiplicity 1. In more detail: * the eigenvalues (with geometric multiplicity) of the operator correspond to the (reduced) points of the variety, with multiplicity; * the primary decomposition of the module corresponds to the unreduced points of the variety; * a diagonalizable (semisimple) operator corresponds to a reduced variety; * a cyclic module (one generator) corresponds to the operator having a [[cyclic vector]] (a vector whose orbit under ''T'' spans the space); * the last [[invariant factor]] of the module equals the [[Minimal polynomial (linear algebra)|minimal polynomial]] of the operator, and the product of the invariant factors equals the [[characteristic polynomial]].
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)