For a positive integer n, we denote by π(n) the set of all prime divisors of n. For a finite group G, the set [Formula: see text] is called the prime spectrum of G. Let [Formula: see text] mean that M is a maximal subgroup of G. We put [Formula: see text] and [Formula: see text]. In this notice, using well-known number-theoretical results, we present a number of examples to show that both K(G) and k(G) are unbounded in general. This implies that the problem “Are k(G) and K(G) bounded by some constant k?”, raised by Monakhov and Skiba in 2016, is solved in the negative.
Constructions are given of Noetherian maximal orders that are finitely presented algebras over a field K, defined by monomial relations. In order to do this, it is shown that the underlying homogeneous information determines the algebraic structure of the algebra. So, it is natural to consider such algebras as semigroup algebras K[S] and to investigate the structure of the monoid S. The relationship between the prime ideals of the algebra and those of the monoid S is one of the main tools. Results analogous to fundamental facts known for the prime spectrum of algebras graded by a finite group are obtained. This is then applied to characterize a large class of prime Noetherian maximal orders that satisfy a polynomial identity, based on a special class of submonoids of polycyclic-by-finite groups. The main results are illustrated with new constructions of concrete classes of finitely presented algebras of this type.
PRIMES OF HEIGHT ONE AND A CLASS OF NOETHERIAN FINITELY PRESENTED ALGEBRAS
