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
Subalgebra
(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!
=== Example === The 2Γ2-matrices over the reals '''R''', with [[matrix multiplication]], form a four-dimensional unital algebra M(2,'''R'''). The 2Γ2-matrices for which all entries are zero, except for the first one on the diagonal, form a subalgebra. It is also unital, but it is not a unital subalgebra. The [[identity element]] of M(2,'''R''') is the [[identity matrix]] I , so the unital subalgebras contain the line of [[diagonal matrices]] {''x'' I : ''x'' in '''R'''}. For two-dimensional subalgebras, consider :<math>E^2 = \begin{pmatrix}a & c \\ b & -a \end{pmatrix}^2 = \begin{pmatrix}a^2+bc & 0 \\ 0 & bc+a^2 \end{pmatrix} = p I \ \ \text{where}\ \ p = a^2 + bc .</math> When ''p'' = 0, then E is [[nilpotent]] and the subalgebra { ''x'' I + ''y'' E : ''x, y'' in '''R''' } is a copy of the [[dual number]] plane. When ''p'' is negative, take ''q'' = 1/ββ''p'', so that (''q'' E)<sup>2</sup> = − I, and subalgebra { ''x'' I + ''y'' (''q''E) : ''x,y'' in '''R''' } is a copy of the [[complex plane]]. Finally, when ''p'' is positive, take ''q'' = 1/β''p'', so that (''q''E)<sup>2</sup> = I, and subalgebra { ''x'' I + ''y'' (''q''E) : ''x,y'' in '''R''' } is a copy of the plane of [[split-complex number]]s. By the [[law of trichotomy]], these are the only planar subalgebras of M(2,'''R'''). [[L. E. Dickson]] noted in 1914, the "Equivalence of [[complex quaternion]] and complex matric algebras", meaning M(2,'''C'''), the 2x2 complex matrices.<ref>[[L. E. Dickson]] (1914) ''Linear Algebras'', pages 13,4</ref> But he notes also, "the real quaternion and real matric sub-algebras are not [isomorphic]." The difference is evident as there are the three [[isomorphism class]]es of planar subalgebras of M(2,'''R'''), while real quaternions have only one isomorphism class of planar subalgebras as they are all isomorphic to '''C'''.
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)