Krull–Schmidt theorem

Krull–Schmidt theorem It has been suggested that Remak decomposition be merged into this article. (Discuss) Proposed since July 2022.

In matematica, the Krull–Schmidt theorem states that a group subjected to certain finiteness conditions on chains of subgroups, can be uniquely written as a finite direct product of indecomposable subgroups.

Contenuti 1 Definizioni 2 Dichiarazione 3 Prova 4 Nota 5 Krull–Schmidt theorem for modules 6 Storia 7 Guarda anche 8 Riferimenti 9 Ulteriori letture 10 External links Definitions We say that a group G satisfies the ascending chain condition (ACC) on subgroups if every sequence of subgroups of G: {displaystyle 1=G_{0}leq G_{1}leq G_{2}leq cdots ,} is eventually constant, cioè., there exists N such that GN = GN+1 = GN+2 = ... . We say that G satisfies the ACC on normal subgroups if every such sequence of normal subgroups of G eventually becomes constant.

Allo stesso modo, one can define the descending chain condition on (normal) subgroups, by looking at all decreasing sequences of (normal) subgroups: {displaystyle G=G_{0}geq G_{1}geq G_{2}geq cdots .,} Chiaramente, all finite groups satisfy both ACC and DCC on subgroups. The infinite cyclic group {displaystyle mathbf {Z} } satisfies ACC but not DCC, da (2) > (2)2 > (2)3 > ... is an infinite decreasing sequence of subgroups. D'altro canto, il {stile di visualizzazione p^{infty }} -torsion part of {displaystyle mathbf {Q} /mathbf {Z} } (the quasicyclic p-group) satisfies DCC but not ACC.

We say a group G is indecomposable if it cannot be written as a direct product of non-trivial subgroups G = H × K.

Statement If {stile di visualizzazione G} is a group that satisfies either ACC or DCC on normal subgroups, then there is exactly one way of writing {stile di visualizzazione G} as a direct product {stile di visualizzazione G_{1}times G_{2}times cdots times G_{K},} of finitely many indecomposable subgroups of {stile di visualizzazione G} . Qui, uniqueness means direct decompositions into indecomposable subgroups have the exchange property. Questo è: supponiamo {displaystyle G=H_{1}times H_{2}times cdots times H_{l},} is another expression of {stile di visualizzazione G} as a product of indecomposable subgroups. Quindi {displaystyle k=l} and there is a reindexing of the {stile di visualizzazione H_{io}} 's satisfying {stile di visualizzazione G_{io}} e {stile di visualizzazione H_{io}} are isomorphic for each {stile di visualizzazione i} ; {displaystyle G=G_{1}times cdots times G_{r}times H_{r+1}times cdots times H_{l},} per ciascuno {stile di visualizzazione r} . Proof Proving existence is relatively straightforward: let S be the set of all normal subgroups that can not be written as a product of indecomposable subgroups. Inoltre, any indecomposable subgroup is (trivially) the one-term direct product of itself, hence decomposable. If Krull-Schmidt fails, then S contains G; so we may iteratively construct a descending series of direct factors; this contradicts the DCC. One can then invert the construction to show that all direct factors of G appear in this way.[1] The proof of uniqueness, d'altro canto, is quite long and requires a sequence of technical lemmas. For a complete exposition, see.[2] Remark The theorem does not assert the existence of a non-trivial decomposition, but merely that any such two decompositions (if they exist) sono gli stessi.

Krull–Schmidt theorem for modules If {displaystyle Eneq 0} is a module that satisfies the ACC and DCC on submodules (questo è, it is both Noetherian and Artinian or – equivalently – of finite length), poi {stile di visualizzazione E} is a direct sum of indecomposable modules. Up to a permutation, the indecomposable components in such a direct sum are uniquely determined up to isomorphism.[3] In generale, the theorem fails if one only assumes that the module is Noetherian or Artinian.[4] History The present-day Krull–Schmidt theorem was first proved by Joseph Wedderburn (Anna. di matematica (1909)), for finite groups, though he mentions some credit is due to an earlier study of G.A. Miller where direct products of abelian groups were considered. Wedderburn's theorem is stated as an exchange property between direct decompositions of maximum length. Tuttavia, Wedderburn's proof makes no use of automorphisms.

The thesis of Robert Remak (1911) derived the same uniqueness result as Wedderburn but also proved (nella terminologia moderna) that the group of central automorphisms acts transitively on the set of direct decompositions of maximum length of a finite group. From that stronger theorem Remak also proved various corollaries including that groups with a trivial center and perfect groups have a unique Remak decomposition.

Otto Schmidt (Sur les produits directs, S. M. F. Toro. 41 (1913), 161–164), simplified the main theorems of Remak to the 3 page predecessor to today's textbook proofs. His method improves Remak's use of idempotents to create the appropriate central automorphisms. Both Remak and Schmidt published subsequent proofs and corollaries to their theorems.

Wolfgang Krull (Über verallgemeinerte endliche Abelsche Gruppen, M. Z. 23 (1925) 161–196), returned to G.A. Miller's original problem of direct products of abelian groups by extending to abelian operator groups with ascending and descending chain conditions. This is most often stated in the language of modules. His proof observes that the idempotents used in the proofs of Remak and Schmidt can be restricted to module homomorphisms; the remaining details of the proof are largely unchanged.

o. Ore unified the proofs from various categories include finite groups, abelian operator groups, rings and algebras by proving the exchange theorem of Wedderburn holds for modular lattices with descending and ascending chain conditions. This proof makes no use of idempotents and does not reprove the transitivity of Remak's theorems.

Kurosh's The Theory of Groups and Zassenhaus' The Theory of Groups include the proofs of Schmidt and Ore under the name of Remak–Schmidt but acknowledge Wedderburn and Ore. Later texts use the title Krull–Schmidt (Hungerford's Algebra) and Krull–Schmidt–Azumaya (Curtis–Reiner). The name Krull–Schmidt is now popularly substituted for any theorem concerning uniqueness of direct products of maximum size. Some authors choose to call direct decompositions of maximum-size Remak decompositions to honor his contributions.

See also Krull–Schmidt category References ^ Thomas W. Hungerford (6 Dicembre 2012). Algebra. Springer Science & Business Media. p. 83. ISBN 978-1-4612-6101-8. ^ Hungerford 2012, p.86-8. ^ Jacobson, Nathan (2009). Basic algebra. vol. 2 (2nd ed.). Dover. p. 115. ISBN 978-0-486-47187-7. ^ Facchini, Alberto; Herbera, Dolors; Levy, Lawrence S.; Vámos, Peter (1 Dicembre 1995). "Krull-Schmidt fails for Artinian modules". Atti dell'American Mathematical Society. 123 (12): 3587. doi:10.1090/S0002-9939-1995-1277109-4. Further reading A. Facchini: Module theory. Endomorphism rings and direct sum decompositions in some classes of modules. Progressi in matematica, 167. Birkhauser Verlag, Basilea, 1998. ISBN 3-7643-5908-0 C.M. Ringel: Krull–Remak–Schmidt fails for Artinian modules over local rings. Algebr. Represent. Teoria 4 (2001), No. 1, 77–86. External links Page at PlanetMath Categories: Module theoryTheorems in group theory

Se vuoi conoscere altri articoli simili a Krull–Schmidt theorem puoi visitare la categoria Module theory.

Vai su

Utilizziamo cookie propri e di terze parti per migliorare l'esperienza dell'utente Maggiori informazioni