Finding maximal orders in semisimple algebras over \(\mathbb{Q}\) (Q1312180): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5550483 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hereditary Orders / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two Remarks About Hereditary Orders / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4061092 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computing the structure of finite algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algorithmic properties of maximal orders in simple algebras over \(\mathbb{Q}\) / rank | |||
Normal rank |
Revision as of 12:32, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finding maximal orders in semisimple algebras over \(\mathbb{Q}\) |
scientific article |
Statements
Finding maximal orders in semisimple algebras over \(\mathbb{Q}\) (English)
0 references
7 August 1994
0 references
The paper concerns the algorithmic problem of constructing a maximal order in a semisimple algebra over an algebraic number field. A polynomial time ff-algorithm is presented to solve the problem. (An ff- algorithm is a deterministic method which is allowed to call oracles for factoring integers and for factoring polynomials over finite fields. The cost of a call is the size of the input given to the oracle.) The method is based on the following iterative step: If an order is not locally maximal at some prime, a larger order can be constructed in polynomial time using calls to an oracle for factoring polynomials over finite fields. The implementation of this step is based on the theory of hereditary orders. There is a straightforward iterative method using purely linear algebra in lattices for embedding an order over a discrete valuation ring into a hereditary one. To embed a hereditary order into a maximal one, Jacobinski's theory on the structure of hereditary orders can be applied. The oracle for factoring integers is only used to factor the discriminant of a starting order. In case of group rings, this discriminant has prime factors all dividing the order of the group. As an application, a method is given to compute the degrees of the irreducible representations over an algebraic number field \(K\) of a finite group \(G\), in time polynomial in the discriminant of the defining polynomial of \(K\) and the size of a multiplication table of \(G\).
0 references
maximal order
0 references
semisimple algebra
0 references
algebraic number field
0 references
polynomial time ff-algorithm
0 references
factoring polynomials over finite fields
0 references
hereditary orders
0 references
group rings
0 references
irreducible representations
0 references