Displaying similar documents to “Filtrations of the modules for Chevalley groups arising from admissible lattices.”

When does an AB5* module have finite hollow dimension?

Derya Keskin Tütüncü, Rachid Tribak, Patrick F. Smith (2011)

Colloquium Mathematicae

Similarity:

Using a lattice-theoretical approach we find characterizations of modules with finite uniform dimension and of modules with finite hollow dimension.

Generalised Jantzen filtration of Lie superalgebras I

Yucai Su, R. B. Zhang (2012)

Journal of the European Mathematical Society

Similarity:

A Jantzen type filtration for generalised Verma modules of Lie superalgebras is introduced. In the case of type I Lie superalgebras, it is shown that the generalised Jantzen filtration for any Kac module is the unique Loewy filtration, and the decomposition numbers of the layers of the filtration are determined by the coefficients of inverse Kazhdan–Lusztig polynomials. Furthermore, the length of the Jantzen filtration for any Kac module is determined explicitly in terms of the degree...

Divisible ℤ-modules

Yuichi Futa, Yasunari Shidama (2016)

Formalized Mathematics

Similarity:

In this article, we formalize the definition of divisible ℤ-module and its properties in the Mizar system [3]. We formally prove that any non-trivial divisible ℤ-modules are not finitely-generated.We introduce a divisible ℤ-module, equivalent to a vector space of a torsion-free ℤ-module with a coefficient ring ℚ. ℤ-modules are important for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm [15], cryptographic systems with lattices [16] and coding theory [8]. ...

Classification of irreducible weight modules

Olivier Mathieu (2000)

Annales de l'institut Fourier

Similarity:

Let 𝔤 be a reductive Lie algebra and let 𝔥 be a Cartan subalgebra. A 𝔤 -module M is called a if and only if M = λ M λ , where each weight space M λ is finite dimensional. The main result of the paper is the classification of all simple weight 𝔤 -modules. Further, we show that their characters can be deduced from characters of simple modules in category 𝒪 .