AoPSWiki
Want to learn how to tackle those tough AMC/AIME/Olympiad algebra problems? Check out Art of Problem Solving's Intermediate Algebra by Richard Rusczyk and Mathew Crawford. Over 1600 problems!

Artinian

From AoPSWiki

We say that a ring or module is Artinian if the descending chain condition holds for its ideals/submodules. The notion is similar to that of Noetherian rings and modules.

One might expect Artinian rings to be just as broad and diverse a category as Noetherian rings. However, this is not the case.


Theorem. Let A be a ring. Then A is Artinian if and only if A is Noetherian and every element of A is either invertible or nilpotent.


However, Artinian modules are not necessarily Noetherian. Consider, for example, the Prüfer Group for some prime p as a \mathbb{Z}-module (i.e., the additive group of rationals of the form a/p^k, modulo \mathbb{Z}). Each of its submodules is of the form (1/p^n), for some integer n \ge 0. Thus a descending chain of submodules corresponds uniquely to an increasing sequence of nonnegative integers, and vice-versa. Thus every ascending chain must stabilize, but we have the descending chain (1/p^0) \supset (1/p^1) \supset (1/p^2) \supset \dotsb . This module is therefore Artinian, but not Noetherian.

See also

Do you have what it takes to be the next brilliant trader, researcher, or developer at Jane Street Capital? Find out in the Careers in Mathematics Forum.
© Copyright 2008 AoPS Incorporated. All Rights Reserved. • FoundationPrivacyContact Us