Skip to content

Commit

Permalink
Implementing reviewer changes.
Browse files Browse the repository at this point in the history
  • Loading branch information
tscrim committed Jun 4, 2024
1 parent 6ba07b6 commit 7fa49e5
Showing 1 changed file with 8 additions and 7 deletions.
15 changes: 8 additions & 7 deletions src/sage/algebras/lie_algebras/representation.py
Original file line number Diff line number Diff line change
Expand Up @@ -808,17 +808,18 @@ class FaithfulRepresentationPBWPosChar(CombinatorialFreeModule, Representation_a
We implement the algorithm given in [deG2000] Section 6.6. Let `L`
be a finite dimensional Lie algebra over a ring of characteristic `p`
with basis `(b_1, \ldots, b_n)`. We compute (monic) `p`-polynomials
`f_i` such that `A = \mathrm{ad}(b_i)` solves `f_i(A) = 0` by using
minimal polynomial of `A`. The `(f_1, \ldots, f_n)` is a Gröbner basis
for an ideal `I` of the universal enveloping algebra `U(L)` such that
the quotient `U(L) / I` is a faithful representation of `L`.
`f_i` such that `A = \mathrm{ad}(b_i)` (the adjoint action of `b_i`)
solves `f_i(A) = 0` by using minimal polynomial of `A`. The
`(f_1, \ldots, f_n)` is a Gröbner basis for an ideal `I` of the
universal enveloping algebra `U(L)` such that the quotient `U(L) / I`
is a faithful representation of `L`.
EXAMPLES::
sage: sl2 = LieAlgebra(GF(3), cartan_type=['A',1])
sage: F = sl2.faithful_representation()
sage: F
Faithful representation with p-multiplicies (1, 3, 1) of Lie algebra
Faithful representation with p-multiplicities (1, 3, 1) of Lie algebra
of ['A', 1] in the Chevalley basis
sage: F.dimension()
243
Expand Down Expand Up @@ -881,10 +882,10 @@ def _repr_(self):
sage: sl3 = LieAlgebra(GF(3), cartan_type=['A',2])
sage: sl3.faithful_representation()
Faithful representation with p-multiplicies (1, 1, 1, 3, 3, 1, 1, 1)
Faithful representation with p-multiplicities (1, 1, 1, 3, 3, 1, 1, 1)
of Lie algebra of ['A', 2] in the Chevalley basis
"""
return "Faithful representation with p-multiplicies {} of {}".format(self.p_exponents(), self._lie_algebra)
return "Faithful representation with p-multiplicities {} of {}".format(self.p_exponents(), self._lie_algebra)

def _latex_(self):
r"""
Expand Down

0 comments on commit 7fa49e5

Please sign in to comment.