Ask Your Question
0

central idempotent of a finite dimensional algebra

asked 2019-08-01 14:38:44 +0100

REKHA BISWAL gravatar image

updated 2019-08-07 14:27:21 +0100

Iguananaut gravatar image

I tried the following

A=Algebras(QQ).FiniteDimensional().WithBasis().Semisimple().Commutative()

B = FiniteDimensionalAlgebra(QQ, [Matrix([[1,0,0,0,0,0,0,0,0], [0,1,0,0,0,0,0,0,0], [0,0,1,0,0,0,0,0,0], 
[0,0,0,1,0,0,0,0,0], [0,0,0,0,1,0,0,0,0], [0,0,0,0,0,1,0,0,0], [0,0,0,0,0,0,1,0,0], [0,0,0,0,0,0,0,1,0], [0,0,0,0,0,0,0,0,1]]), Matrix([[0,1,0,0,0,0,0,0,0], [0,0,1,0,0,0,0,0,0], [1,0,0,0,0,0,0,0,0], [0,0,0,0,1,0,0,0,0], [0,0,0,0,0,1,0,0,0], [0,0,0,1,0,0,0,0,0], [0,0,0,0,0,0,0,0,1], [0,0,0,0,0,0,1,0,0], [0,0,0,0,0,0,0,1,0]]), Matrix([[0,0,1,0,0,0,0,0,0], [1,0,0,0,0,0,0,0,0], [0,1,0,0,0,0,0,0,0], [0,0,0,0,0,1,0,0,0], [0,0,0,1,0,0,0,0,0], [0,0,0,0,1,0,0,0,0], [0,0,0,0,0,0,0,0,1], [0,0,0,0,0,0,1,0,0], [0,0,0,0,0,0,0,1,0]]), Matrix([[0,0,0,1,0,0,0,0,0], [0,0,0,0,1,0,0,0,0], [0,0,0,0,0,1,0,0,0], [0,1,0,0,0,0,1,0,0], [0,0,1,0,0,0,0,1,0], [1,0,0,0,0,0,0,0,1], [2,0,0,0,2,0,0,0,0], [0,2,0,0,0,2,0,0,0], [0,0,2,2,0,0,0,0,0]]), Matrix([[0,0,0,0,1,0,0,0,0], [0,0,0,0,0,1,0,0,0], [0,0,0,1,0,0,0,0,0], [0,0,1,0,0,0,0,1,0], [1,0,0,0,0,0,0,0,1], [0,1,0,0,0,0,1,0,0], [0,2,0,0,0,2,0,1,0], [0,0,2,2,0,0,0,1,0], [2,0,0,0,2,0,0,0,0]]), Matrix([[0,0,0,0,0,1,0,0,0], [0,0,0,1,0,0,0,0,0], [0,0,0,0,1,0,0,0,0], [1,0,0,0,0,0,0,0,1], [0,1,0,0,0,0,1,0,0], [0,0,1,0,0,0,0,1,0], [0,0,2,2,0,0,0,0,0], [2,0,0,0,2,0,0,0,0], [0,2,0,0,0,2,0,0,0]]), Matrix([[0,0,0,0,0,0,1,0,0], [0,0,0,0,0,0,0,1,0], [0,0,0,0,0,0,0,0,1], [2,0,0,0,2,0,0,0,0], [0,2,0,0,0,2,0,0,0], [0,0,2,2,0,0,0,0,0], [0,0,2,2,0,0,0,1,0], [2,0,0,0,2,0,0,0,1], [0,2,0,0,0,2,1,0,0]]), Matrix([[0,0,0,0,0,0,0,1,0], [0,0,0,0,0,0,0,0,1], [0,0,0,0,0,0,1,0,0], [0,2,0,0,0,2,0,0,0], [0,0,2,2,0,0,0,0,0], [2,0,0,0,2,0,0,0,0], [2,0,0,0,2,0,0,0,1], [0,2,0,0,0,2,1,0,0], [0,0,2,2,0,0,0,1,0]]), Matrix([[0,0,0,0,0,0,0,0,1], [0,0,0,0,0,0,1,0,0], [0,0,0,0,0,0,0,1,0], [0,0,2,2,0,0,0,0,0], [2,0,0,0,2,0,0,0,0], [0,2,0,0,0,2,0,0,0], [0,2,0,0,0,2,1,0,0], [0,0,2,2,0,0,0,1,0], [2,0,0,0,2,0,0,0,1]])], category=A)

B.central_orthogonal_idempotents()

The above code gives me error. Could anyone tell me how to fix the code?enter code here

edit retag flag offensive close merge delete

Comments

Hi Rekha

Please, edit your message, select your code and click on the 101 button, just right of the web link button. it will be more readable.

ortollj gravatar imageortollj ( 2019-08-01 18:02:12 +0100 )edit

Thanks. I edited . I hope its readable now.

REKHA BISWAL gravatar imageREKHA BISWAL ( 2019-08-02 00:51:53 +0100 )edit

it seems my comment was irrelevant here. I must admit that the presentation does not really matter in this question Sorry

maybe like that ? :

ortollj gravatar imageortollj ( 2019-08-02 07:50:31 +0100 )edit
add a comment

1 Answer

Sort by ยป oldest newest most voted
2

answered 2019-08-07 11:49:34 +0100

vdelecroix gravatar image

updated 2019-08-07 11:50:12 +0100

My analysis is that this method is very broken

  • first of all the inital error is because a __hash__ method is "missing" for FiniteDimensionalAlgebraElement
  • next, the method central_orthogonal_idempotents assumes that the quasi-idempotents of a commutative algebra are defined over the base ring which is wrong in general (needs the base ring to be algebraically closed...)
  • finally, even though we change QQ for QQbar in the definition of B, the subalgebras created along the way do not implement retract/lift so that the product is not working... For the example given in the documentation of central_orthogonal_idempotents it works by some black magic

Here is the black magic:

sage: A4 = SymmetricGroup(4).algebra(QQ)
sage: B4 = A4.submodule([A4.an_element()])
sage: B4.retract
Generic morphism:
  From: Symmetric group algebra of order 4 over Rational Field
  To:   Free module generated by {0} over Rational Field
sage: B4.lift
Generic morphism:
  From: Free module generated by {0} over Rational Field
  To:   Symmetric group algebra of order 4 over Rational Field
sage: C = B.submodule([B.an_element()])
sage: C.retract
...
AttributeError: 'SubmoduleWithBasis_with_category' object has no attribute 'retract'

My conclusion is that the code is not written in a way that it works for generic commutative algebra.

edit flag offensive delete link more

Comments

1

Perhaps there is another solution? It would depend on exactly what problem the OP is trying to solve. If central_orthogonal_idempotents can't be solved in this case it should also say so instead of just giving a useless crash (in this case I get TypeError: <class 'sage.sets.family.TrivialFamily_with_category'> is not hashable and does not implement _cache_key()). So I would definitely consider that a bug.

Iguananaut gravatar imageIguananaut ( 2019-08-07 14:29:43 +0100 )edit

I agree that it is a bug... and more precisely at least three bugs.

vdelecroix gravatar imagevdelecroix ( 2019-08-07 16:24:03 +0100 )edit
add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

subscribe to rss feed

Stats

Asked: 2019-08-01 14:38:44 +0100

Seen: 380 times

Last updated: Aug 07 '19

Related questions

Compute radical and idempotents of a quotient algebra

Limitation of solve?

Abstract Algebra Question

Quotient decomposition by Groebner basis

Using numerical solution from system of equations

Ideal Radicals Question?

Tensor products in Sage

Partial Algebras

How can I construct modules as quotient algebras?

Simplification of expression with exponentials.

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
about | faq | help | privacy policy | terms of service
Powered by Askbot version 0.7.59