Summary
In mathematics, more specifically ring theory, the Jacobson radical of a ring is the ideal consisting of those elements in that annihilate all simple right -modules. It happens that substituting "left" in place of "right" in the definition yields the same ideal, and so the notion is left-right symmetric. The Jacobson radical of a ring is frequently denoted by or ; the former notation will be preferred in this article, because it avoids confusion with other radicals of a ring. The Jacobson radical is named after Nathan Jacobson, who was the first to study it for arbitrary rings in . The Jacobson radical of a ring has numerous internal characterizations, including a few definitions that successfully extend the notion to rings without unity. The radical of a module extends the definition of the Jacobson radical to include modules. The Jacobson radical plays a prominent role in many ring and module theoretic results, such as Nakayama's lemma. There are multiple equivalent definitions and characterizations of the Jacobson radical, but it is useful to consider the definitions based on if the ring is commutative or not. In the commutative case, the Jacobson radical of a commutative ring is defined as the intersection of all maximal ideals . If we denote as the set of all maximal ideals in thenThis definition can be used for explicit calculations in a number of simple cases, such as for local rings , which have a unique maximal ideal, Artin rings, and products thereof. See the examples section for explicit computations. For a general ring with unity , the Jacobson radical is defined as the ideal of all elements such that whenever is a simple -module. That is,This is equivalent to the definition in the commutative case for a commutative ring because the simple modules over a commutative ring are of the form for some maximal ideal , and the only annihilators of in are in , i.e. . Understanding the Jacobson radical lies in a few different cases: namely its applications and the resulting geometric interpretations, and its algebraic interpretations.
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood