Let R be a commutative finite dimensional K -algebra over a field K (for example th

Nylah Burnett 2022-05-24 Answered
Let R be a commutative finite dimensional K-algebra over a field K (for example the monoid ring of a a finite monoid over a field). Assume we have R in GAP. Then we can check whether R is semisimple using the command RadicalOfAlgebra(R). When the value is 0, R is semisimple. Thus R can be written as a finite product of finite field extensions of K.
Question: Can we obtain those finite field extensions of K or at least their number and K-dimensions using GAP?
You can still ask an expert for help

Expert Community at Your Service

  • Live experts 24/7
  • Questions are typically answered in as fast as 30 minutes
  • Personalized clear answers
Learn more

Solve your problem for the price of one coffee

  • Available 24/7
  • Math expert for every subject
  • Pay only if we can solve it
Ask Question

Answers (1)

Madisyn Avery
Answered 2022-05-25 Author has 12 answers
If you are working over a finite field, and can represent the algebra through matrices, you could try to split the regular module into its homogeneous components. This can be done with the GAP command "MTX.Indecomposition". You then take a simple submodule in this component (try a spin of a random vector), and take the action of the homogeneous component on this module (and should let you deduce the appropriate field extension).
Not exactly what you’re looking for?
Ask My Question

Expert Community at Your Service

  • Live experts 24/7
  • Questions are typically answered in as fast as 30 minutes
  • Personalized clear answers
Learn more

Relevant Questions

asked 2021-06-14
i don't get the ideas to solve this question. can anyone help me?
asked 2022-06-08
If R is a commutative associative ring with neutral element. Then if R | P is an integral domain a b R | P a = 0   o r   b = 0 , then 1 ? This is the only thing I can deduct from another proof, is this correct , or must I search for another reason?
asked 2022-06-15
Suppose k is a field and A is a k-algebra of dimension no larger than 3. If A is semi-simple, then A can be written as a direct sum of simple k-algebras. Further one can find A is commutative by exhausting all the cases.
Without the semi-simple condition, what can we say about A? Is it still commutative?
asked 2020-11-29
Give an example of a commutative ring without zero-divisors that is not an integral domain.
asked 2022-05-21
Does Aluffi's book have enough commutative algebra for algebraic geometry? I understand that traditional graduate algebra course using Hungerford's book or Lang's book provides enough background for such a course.
asked 2022-05-25
Currently I am deciding whether I want to do my thesis on graduate algebra next year and I'd like to study something with applications to either physics or computer science (two relatives of mathematics). I have heard that graduate algebra has found applications in automata theory and to system communications in electrical engineering. Therefore, I'd like to be informed of some examples of the recent applications of advanced algebra (non-commutative algebra or commutative algebra) to other fields of science or engineering or just recent research trend motivated by breakthrough problems in disciplines other than math.
asked 2022-01-04
As I was working through an algebra textbook, I noticed that a field A is a commutative ring. But is it possible for ABC where A,C are fields and B is not?

Solve your problem for the price of one coffee

  • Available 24/7
  • Math expert for every subject
  • Pay only if we can solve it
Ask Question