An (associative) algebra is a vector space over a field equipped with an associative, bilinear multiplication. By use of a new bilinear operation, any associative algebra morphs into a nonassociative abstract Lie algebra, where the new product in terms of the given associative product, is the commutator. The crux of this paper is to investigate the commutator as it pertains to the general linear group and its subalgebras. This forces us to examine properties of ring theory under the lens of linear algebra, as we determine subalgebras, ideals, and solvability as decomposed into an extension of abelian ideals, and nilpotency, as decomposed into the lower central series and eventual zero subspace. The map sending the Lie algebra L to a derivation of L is called the adjoint representation, where a given Lie algebra is nilpotent if and only if the adjoint is nilpotent. Our goal is to prove Engel's Theorem, which states that if all elements of L are ad-nilpotent, then L is nilpotent.
Identifer | oai:union.ndltd.org:csusb.edu/oai:scholarworks.lib.csusb.edu:etd-1668 |
Date | 01 December 2017 |
Creators | Talley, Amanda Renee |
Publisher | CSUSB ScholarWorks |
Source Sets | California State University San Bernardino |
Detected Language | English |
Type | text |
Format | application/pdf |
Source | Electronic Theses, Projects, and Dissertations |
Page generated in 0.0019 seconds