We maximize the total height of order ideals in direct products of finitely many finite chains. We also consider several order ideals simultaneously. As a corollary, a shifting property of some integer sequences, including digit sum sequences, is derived.
A power digraph, denoted by $G(n,k)$, is a directed graph with $\mathbb Z_{n}=\{0,1,\dots ,n-1\}$ as the set of vertices and $E=\{(a,b)\colon a^{k}\equiv b\pmod n\}$ as the edge set. In this paper we extend the work done by Lawrence Somer and Michal Křížek: On a connection of number theory with graph theory, Czech. Math. J. 54 (2004), 465–485, and Lawrence Somer and Michal Křížek: Structure of digraphs associated with quadratic congruences with composite moduli, Discrete Math. 306 (2006), 2174–2185. The heights of the vertices and the components of $G(n,k)$ for $n\geq 1$ and $k\geq 2$ are determined. We also find an expression for the number of vertices at a specific height. Finally, we obtain necessary and sufficient conditions on $n$ such that each vertex of indegree $0$ of a certain subdigraph of $G(n,k)$ is at height $q\geq 1$.
In this paper we introduce and investigate a Henstock-Kurzweil-type integral for Riesz-space-valued functions defined on (not necessarily bounded) subintervals of the extended real line. We prove some basic properties, among them the fact that our integral contains under suitable hypothesis the generalized Riemann integral and that every simple function which vanishes outside of a set of finite Lebesgue measure is integrable according to our definition, and in this case our integral coincides with the usual one.
It is well known by results of Golod and Shafarevich that the Hilbert $2$-class field tower of any real quadratic number field, in which the discriminant is not a sum of two squares and divisible by eight primes, is infinite. The aim of this article is to extend this result to any real abelian $2$-extension over the field of rational numbers. So using genus theory, units of biquadratic number fields and norm residue symbol, we prove that for every real abelian $2$-extension over $\mathbb Q$ in which eight primes ramify and one of theses primes $\equiv -1\pmod 4$, the Hilbert $2$-class field tower is infinite.
In this paper, we generalize the classical Hausdorff metric with t-norms and obtain its basic properties. Furthermore, for a given stationary fuzzy metric space with a t-norm without zero divisors, we propose a method for constructing a generalized Hausdorff fuzzy metric on the set of the nonempty bounded closed subsets. Finally we discuss several important properties as completeness, completion and precompactness.