Related papers: Codimension and pseudometric in co-Heyting algebra…

A homemorphism between domains in $\mathbb R^n$, $n\ge 2$ is quasiconformal, with its intricate analytic and geometric consequences, if the (pointwise) linear dilatation -- a purely metric quantity -- is uniformly bounded. Gehring proved…

Let $L$ be a finite dimensional Lie algebra over a field of characteristic $0$. Then by the original Levi theorem, $L = B \oplus R$ where $R$ is the solvable radical and $B$ is some maximal semisimple subalgebra. We prove that if $L$ is an…

The space of Lie algebra cohomology is usually described by the dimensions of components of certain degree even for the adjoint module as coefficients when the spaces of cochains and cohomology can be endowed with a Lie superalgebra…

Let $A$ be an associative algebra over a field $F$ of characteristic zero and let $L$ be a Lie algebra over $F$. If $L$ acts on $A$ by derivations, then such an action determines an action of its universal enveloping algebra $U(L)$ and in…

A Heyting algebra is supplemented if each element $a$ has a dual pseudo-complement $a^+$, and a Heyting algebra is centrally supplement if it is supplemented and each supplement is central. We show that each Heyting algebra has a centrally…

Let $L$ be a finite dimensional Lie $F$-algebra endowed with a generalized action by an associative algebra $H$. We investigate the exponential growth rate of the sequence of $H$-graded codimensions $c_n^H(L)$ of $L$ which is a measure for…

The ultrametric skeleton theorem [Mendel, Naor 2013] implies, among other things, the following nonlinear Dvoretzky-type theorem for Hausdorff dimension: For any $0<\beta<\alpha$, any compact metric space $X$ of Hausdorff dimension $\alpha$…

Let $K$ be a commutative Noetherian ring with identity, let $A$ be a $K$-algebra, and let $B$ be a subalgebra of $A$ such that $A/B$ is finitely generated as a $K$-module. The main result of the paper is that $A$ is finitely presented…

On a complete, connected, locally compact, non-compact geodesic space $(X,d)$, we assign each compact set a distance-like function. With the help of these functions, we obtain a pseudo-metric on the space of (non-empty) compact subsets of…

We show that any countable model of a model complete theory has an elementary extension with a "pseudofinite-like" quasidimension that detects dividing.

We introduce the dimension monoid of a lattice L, denoted by Dim L. The monoid Dim L is commutative and conical, the latter meaning that the sum of any two nonzero elements is nonzero. Furthermore, Dim L is given along with the dimension…

In this article we investigate the lattices of Dyck paths of type $A$ and $B$ under dominance order, and explicitly describe their Heyting algebra structure. This means that each Dyck path of either type has a relative pseudocomplement with…

We consider (symmetric, non-degenerate) bilinear spaces over a finite field and investigate the properties of their $\ell$-complementary subspaces, i.e., the subspaces that intersect their dual in dimension $\ell$. This concept generalizes…

We prove the following result: Let K be a lattice, let D be a distributive lattice with zero, and let $\phi$: Con K $\to$ D be a {&#8744;, 0}-homomorphism, where Conc K denotes the {&#8744;, 0}-semilattice of all &#64257;nitely generated…

The transcendental Hodge lattice of a projective manifold $M$ is the smallest Hodge substructure in $p$-th cohomology which contains all holomorphic $p$-forms. We prove that the direct sum of all transcendental Hodge lattices has a natural…

We present a comonadic approach to pretorsion theories on semiexact categories, i.e. categories equipped with a closed ideal of null morphisms that admits all kernels and all cokernels. We first prove that bihereditary pretorsion theories…

In this paper, first we prove that all finite dimensional special Heisenberg Lie superalgebras with even center have same dimension, say $(2m+1\mid n)$ for some non-negative integers $m,n$ and are isomorphism with them. Further, for a…

Let $k$ be a perfect field and let $X\subset {\mathbb P}^N$ be a hypersurface of degree $d$ defined over $k$ and containing a linear subspace $L$ defined over an algebraic closure $\overline{k}$ with $\mathrm{codim}_{{\mathbb P}^N}L=r$. We…

It is shown that for every $\e\in (0,1)$, every compact metric space $(X,d)$ has a compact subset $S\subseteq X$ that embeds into an ultrametric space with distortion $O(1/\e)$, and $$\dim_H(S)\ge (1-\e)\dim_H(X),$$ where $\dim_H(\cdot)$…

The classical Hausdorff dimension of finite or countable sets is zero. We define an analog for finite sets, called finite Hausdorff dimension which is non-trivial. It turns out that a finite bound for the finite Hausdorff dimension…