Chain. The chain condition for stable groups

2001 ◽  
pp. 11-23
Author(s):  
Bruno Poizat
Keyword(s):  
Chain Condition

scholarly journals On prime Jordan rings H(R) with chain condition

1973 ◽  
Vol 27 (2) ◽  
pp. 414-421 ◽  
Author(s):  
Daniel J Britten
Keyword(s):  
Chain Condition

Completely Indecomposable Modules

1949 ◽  
Vol 1 (2) ◽  
pp. 125-152 ◽  
Author(s):  
Ernst Snapper
Keyword(s):  
Abelian Group ◽  
Commutative Ring ◽  
Chain Condition ◽  
Indecomposable Module ◽  
Unit Element ◽  
Indecomposable Modules ◽  
Operator Domain ◽  
Unit Operator ◽  
Ascending Chain Condition

The purpose of this paper is to investigate completely indecomposable modules. A completely indecomposable module is an additive abelian group with a ring A as operator domain, where the following four conditions are satisfied.1-1. A is a commutative ring and has a unit element which is unit operator for .1-2. The submodules of satisfy the ascending chain condition. (Submodule will always mean invariant submodule.)

scholarly journals REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION

2017 ◽  
Vol 82 (2) ◽  
pp. 576-589 ◽  
Author(s):  
KOSTAS HATZIKIRIAKOU ◽  
STEPHEN G. SIMPSON
Keyword(s):  
Theorem Proving ◽  
Chain Condition ◽  
Reverse Mathematics ◽  
Partial Ordering ◽  
Young Diagrams ◽  
Equivalence Proof ◽  
Image Position ◽  
Countably Infinite ◽  
Infinite Set ◽  
Ascending Chain Condition

AbstractLetSbe the group of finitely supported permutations of a countably infinite set. Let$K[S]$be the group algebra ofSover a fieldKof characteristic 0. According to a theorem of Formanek and Lawrence,$K[S]$satisfies the ascending chain condition for two-sided ideals. We study the reverse mathematics of this theorem, proving its equivalence over$RC{A_0}$(or even over$RCA_0^{\rm{*}}$) to the statement that${\omega ^\omega }$is well ordered. Our equivalence proof proceeds via the statement that the Young diagrams form a well partial ordering.

Sign in / Sign up

Export Citation Format

Share Document