Related papers: Computing ideal classes representatives in quatern…
We study maximal subalgebras of an arbitrary finite dimensional algebra over a field, and obtain full classification/description results of such algebras. This is done by first obtaining a complete classification in the semisimple case, and…
For a number field $K$, we extend the notion of the ring class field of an order in $K$ [C. Lv and Y. Deng, SciChina. Math., 2015] to that of an arbitrary number ring in $K$. We give both ideal-theoretic and idele-theoretic description of…
For certain problems involving vector fields, it is possible to find an associated imaginary field that, in conjunction with the first, forms a complex field for which the equation can be solved. This result is generalized to arbitrary…
Let $K$ be an imaginary quadratic field and let $\mathcal{O}_K$ be its ring of integers. For an integral ideal $\mathfrak{n}$ of $\mathcal{O}_K$, let $\Gamma_0({\mathfrak{n}})$ be the congruence subgroup of level ${\mathfrak{n}}$ consisting…
The problem of determining maximal ideals in universal affine vertex algebras is difficult for levels beyond admissible, since there are no simple character formulas which can be applied. Here we investigate when certain quotient $\mathcal…
Lenstra introduced the notion of the Euclidean ideal class, a generalization of the Euclidean domain that captures cyclic class groups. In this article, we establish the existence of Euclidean ideal classes in abelian quartic fields. As a…
In \cite{BigAlg-3gen}, an explicit description of bi-quadratic algebras on three generators with PBW basis was obtained. There are four classes: I-IV. The aim of the paper is to study algebras that belong to one of the classes: class II.1.…
The computation of a maximal order of an order in a semisimple algebra over a global field is a classical well-studied problem in algorithmic number theory. In this paper we consider the related problems of computing all minimal overorders…
We present an adaptation of Voronoi theory for imaginary quadratic number fields of class number greater than 1. This includes a characterisation of extreme Hermitian forms which is analogous to the classic characterisation of extreme…
The aim of this paper is to study the group of elliptic units of a cyclic extension $L$ of an imaginary quadratic field $K$ such that the degree $[L:K]$ is a power of an odd prime $p$. We construct an explicit root of the usual top…
In this paper we show that the irreducible representations of a finite inverse semigroup $S$ over an algebraically closed field $F$ are in bijection with the conjugacy classes of $S$ if the characteristic of $F$ is zero or a prime number…
Fast algorithms for arithmetic on real or complex polynomials are well-known and have proven to be not only asymptotically efficient but also very practical. Based on Fast Fourier Transform (FFT), they for instance multiply two polynomials…
A positive definite quadratic form is called perfect, if it is uniquely determined by its arithmetical minimum and the integral vectors attaining it. In this self-contained survey we explain how to enumerate perfect forms in $d$ variables…
The paper presents a classification of quadratic extension algebras, also known as algebras of degree 2, as well as several characterizations of quaternion algebras over a field (of characteristic not 2). The presentation is not restricted…
The principal ideal problem constitutes a fundamental problem in algebraic number theory and has attracted significant attention due to its applications in ideal lattice based cryptosystems. Efficient quantum algorithm has been found to…
For each real quadratic field we constructively show the existence of infinitely many exceptional quartic number fields containing that quadratic field. On the other hand, another infinite collection of quartic exceptional fields without…
We give an upper bound for the norm of the determinant of additively indecomposable, totally positive definite quadratic forms defined over the ring of integers of totally real number fields. We apply these results to find lower and upper…
In this paper, we construct certain infinite families of imaginary quadratic fields whose class number is divisible by a given positive integer.
Let $R=\k[x,y,z]$ and $I=(f_0,\dots,f_{n-1})$ be a height two perfect ideal which is almost linearly presented (that is, all but the last column have linear entries, but the last column has entries which are homogeneous of degree $2$).…
The classical theorems relating integral binary quadratic forms and ideal classes of quadratic orders have been of tremendous importance in mathematics, and many authors have given extensions of these theorems to rings other than the…