Related papers: Computing the ideal class monoid of an order
We prove that a monomial ideal $I$ generated in a single degree, is polymatroidal if and only if it has linear quotients with respect to the lexicographical ordering of the minimal generators induced by every ordering of variables. We also…
Let $F$ be a totally real number field of class number one, and let $K$ be a CM-field with $F$ as its maximal real subfield. For each positive integer $N$, we construct a class group of certain binary quadratic forms over $F$ which is…
We study order units in the real group ring and the augmentation ideal, as well as in matrix algebras. We identify an infinite family of order units in the powers of the augmentation ideal, that includes the Laplacian, and show that these…
For a Dedekind domain $R$ with field of fractions $K$ a classical $R$-order in a semisimple $K$-algebra $A$ is an $R$-projective $R$-subalgebra $\Lambda$ of $A$ such that $K\Lambda=A$. We study differential graded $K$-algebras which are…
We apply tropical geometry to study matrix algebras over a field with valuation. Using the shapes of min-max convexity, known as polytropes, we revisit the graduated orders introduced by Plesken and Zassenhaus. These are classified by the…
In recent years, the combinatorial properties of monomials ideals and binomial ideals have been widely studied. In particular, combinatorial interpretations of free resolution algorithms have been given in both cases. In this present work,…
In this paper, we examine the general algorithm for class group computations, when we do not have a small defining polynomial for the number field. Based on a result of Biasse and Fieker, we simplify their algorithm, improve the complexity…
A rack of order $n$ is a binary operation $\rack$ on a set $X$ of cardinality $n$, such that right multiplication is an automorphism. More precisely, $(X,\rack)$ is a rack provided that the map $x\mapsto x\rack y$ is a bijection for all…
The paper presents two algorithms for finding irreducible decomposition of monomial ideals. The first one is recursive, derived from staircase structures of monomial ideals. This algorithm has a good performance for highly non-generic…
We present an algorithm for the computation of logarithmic l-class groups of number fields. Our principal motivation is the effective determination of the l-rank of the wild kernel in the K-theory of number fields.
We prove that, for every modulus $\mathfrak{q}$, every class of the narrow ray class group $H_{\mathfrak{q}}(\mathbf{K})$ of an arbitrary number field $\mathbf{K}$ contains a product of three unramified prime ideals $\mathfrak{p}$ of degree…
We compute the quiver of any monoid that has a basic algebra over an algebraically closed field of characteristic zero. More generally, we reduce the computation of the quiver over a splitting field of a class of monoids that we term…
We study the local isomorphism classes, also known as genera or weak equivalence classes, of fractional ideals of orders in \'etale algebras. We provide a classification in terms of linear algebra objects over residue fields. As a…
The problem of finding the largest finite group with a certain class number (number of conjugacy classes), $k(G)$, has been investigated by a number of researchers since the early 1900's and has been solved by computer for $k(G) \leq 9$.…
We show that the K-groups K_{n}(O) for O the integers or an order in a CM field and n>0 appear as direct summands of the homotopy groups of various localisations of Zakharevich's K-theory space. After rationalisation and going to the…
A constructive procedure is given to determine all ideals of a solvable Lie algebra. This is used in determining algorithmically all conjugacy classes of subalgebras of a given solvable Lie algebra.
In this paper, we revisit the theory of perfect unary forms over real quadratic fields. Specifically, we deduce an infinite family of real quadratic fields $\mathbb{Q}(\sqrt{d})$ when $d=2$ or $3$ mod $4$, such that there are three classes…
This paper concerns the enumeration of isomorphism classes of modules of a polynomial algebra in several variables over a finite field. This is the same as the classification of commuting tuples of matrices over a finite field up to…
Landau's theorem on conjugacy classes asserts that there are only finitely many finite groups, up to isomorphism, with exactly $k$ conjugacy classes for any positive integer $k$. We show that, for any positive integers $n$ and $s$, there…
Factoring ideals in integral domains is a central topic in multiplicative ideal theory. In the present paper we study monoids of ideals and consider factorizations of ideals into multiplicatively irreducible ideals. The focus is on the…