Composition series | EPFL Graph Search

Are you an EPFL student looking for a semester project?

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

In abstract algebra, a composition series provides a way to break up an algebraic structure, such as a group or a module, into simple pieces. The need for considering composition series in the context of modules arises from the fact that many naturally occurring modules are not semisimple, hence cannot be decomposed into a direct sum of simple modules. A composition series of a module M is a finite increasing filtration of M by submodules such that the successive quotients are simple and serves as a replacement of the direct sum decomposition of M into its simple constituents. A composition series may not exist, and when it does, it need not be unique. Nevertheless, a group of results known under the general name Jordan–Hölder theorem asserts that whenever composition series exist, the isomorphism classes of simple pieces (although, perhaps, not their location in the composition series in question) and their multiplicities are uniquely determined. Composition series may thus be used to define invariants of finite groups and Artinian modules. A related but distinct concept is a chief series: a composition series is a maximal subnormal series, while a chief series is a maximal normal series. If a group G has a normal subgroup N, then the factor group G/N may be formed, and some aspects of the study of the structure of G may be broken down by studying the "smaller" groups G/N and N. If G has no normal subgroup that is different from G and from the trivial group, then G is a simple group. Otherwise, the question naturally arises as to whether G can be reduced to simple "pieces", and if so, are there any unique features of the way this can be done? More formally, a composition series of a group G is a subnormal series of finite length with strict inclusions, such that each Hi is a maximal proper normal subgroup of Hi+1. Equivalently, a composition series is a subnormal series such that each factor group Hi+1 / Hi is simple. The factor groups are called composition factors. A subnormal series is a composition series if and only if it is of maximal length.

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.

Related publications (9)

Related people (2)

Related concepts (20)

Related courses (3)

Related lectures (30)

Maximal subgroups acting with two composition factors on irreducible representations of exceptional algebraic groups

Nathan Scheinmann

Let

Y

be a simply connected simple algebraic group over an algebraically closed field

k

of characteristic

p

and let

X

be a maximal closed connected simple subgroup of

Y

. Excluding some smal

EPFL2019

Jordan blocks of unipotent elements in some irreducible representations of classical groups in good characteristic

Mikko Tapani Korhonen

Let

G

be a classical group with natural module

V

over an algebraically closed field of good characteristic. For every unipotent element

u

G

, we describe the Jordan block sizes of

u

2019

Structure of certain Weyl modules for the Spin groups

Mikaël Cavallin

Let K be an algebraically closed field of characteristic and let W be a finite-dimensional K-vector space of dimension greater than or equal to 5. In this paper, we give the structure of certain Weyl

2018

Finite group

In abstract algebra, a finite group is a group whose underlying set is finite. Finite groups often arise when considering symmetry of mathematical or physical objects, when those objects admit just a finite number of structure-preserving transformations. Important examples of finite groups include cyclic groups and permutation groups. The study of finite groups has been an integral part of group theory since it arose in the 19th century.

Semisimple module

In mathematics, especially in the area of abstract algebra known as module theory, a semisimple module or completely reducible module is a type of module that can be understood easily from its parts. A ring that is a semisimple module over itself is known as an Artinian semisimple ring. Some important rings, such as group rings of finite groups over fields of characteristic zero, are semisimple rings. An Artinian ring is initially understood via its largest semisimple quotient.

Composition series

MATH-314: Linear representation of finite groups

La théorie des représentations des groupes étudie les actions linéaires d'un groupe G sur un espace vectoriel V. On peut alors utiliser l'algèbre linéaire pour résoudre certaines questions de théorie

MATH-334: Representation theory

Study the basics of representation theory of groups and associative algebras.

MATH-679: Group schemes

This is a course about group schemes, with an emphasis on structural theorems for algebraic groups (e.g. Barsotti--Chevalley's theorem). All the basics will be covered towards the proof of such theore

Module Theory: Noetherian Modules

Introduces Noetherian modules and explores simple modules and composition series.

Vibrational Mechanics: MidTerm Exam

Covers the details of the MidTerm Exam for the Vibrational Mechanics course and addresses common questions and feedback from students.

Matrix Operations: Theorems and Applications

Covers matrix operations and properties of matrices, including symmetric and anti-symmetric matrices.