Related papers: Non-elementary classes of representable posets

An element w of a Weyl group W is called elliptic if it has no eigenvalue 1 in the standard reflection representation. We determine the order of any representative g in a semisimple algebraic group G of an elliptic element w in the…

As the prototypical category, $\mathbf{Set}$ has many properties which make it special amongst categories. From the point of view of mathematical logic, one such property is that $\mathbf{Set}$ has enough structure to "properly" formalise…

Rao and Zhao classified the irreducible integrable modules with finite dimensional weight spaces for the untwisted affine superalgebras which are not $\hat{A}(m,n)$ ($m\ne n$) or $\hat{C}(m)$. Here we treat the latter affine superalgebras…

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…

Suppose $\ell$ is a prime number, ${\mathbf Q}_\ell$ is the field of $\ell$-adic numbers, ${\mathbf F}_\ell$ is the finite field of $\ell$ elements, and $d$ is a positive integer. Suppose $G$ is a finite subgroup of a symplectic group…

This paper has been withdrawn by the authors due to a crucial computational error. In this paper we deal with the finite case. We prove that a finite bounded ordered set can be represented as the order of principal congruences of a finite…

The commutative and homological algebra of modules over posets is developed, as closely parallel as possible to the algebra of finitely generated modules over noetherian commutative rings, in the direction of finite presentations, primary…

Representation theorems relate seemingly complex objects to concrete, more tractable ones. In this paper, we take advantage of the abstraction power of category theory and provide a general representation theorem for a wide class of…

In their recent paper on posets with a pseudocomplementation denoted by * the first and the third author introduced the concept of a *-ideal. This concept is in fact an extension of a similar concept introduced in distributive…

We prove that the determinant (pseudo-representation) associated to the Hecke algebra of Katz modular forms of weight one and level prime to p is unramified at p.

In order to study the axiomatization of the if-then-else construct over possibly non-halting programs and tests, the notion of $C$-sets was introduced in the literature by considering the tests from an abstract $C$-algebra. This paper…

A poset $P = (X,\prec)$ has an interval representation if each $x \in X$ can be assigned a real interval $I_x$ so that $x \prec y$ in $P$ if and only if $I_x$ lies completely to the left of $I_y$. Such orders are called \emph{interval…

We lay the foundations of the first-order model theory of Coxeter groups. Firstly, with the exception of the $2$-spherical non-affine case (which we leave open), we characterize the superstable Coxeter groups of finite rank, which we show…

Let $F$ be a non archimedean local field of characteristic not $2$. Let $D$ be a division algebra of dimension $d^2$ over its center $F$, and $E$ a quadratic extension of $F$. If $m$ is a positive integer, to a character $\chi$ of $E^*$,…

Let $\mathcal A$ be a unital algebra equipped with an involution $(\cdot)^\dagger$, and suppose that the multiplicative set $\mathcal S\subseteq \mathcal A$ generated by the elements of the form $1 + a^\dagger a$ satisfies the Ore…

We prove that there exist profinite Heyting algebras that are not isomorphic to the profinite completion of any Heyting algebra. This resolves an open problem from 2009. More generally, we characterize those varieties of Heyting algebras in…

A subset $A$ of a vector space $X$ is called $\alpha$-lineable whenever $A$ contains, except for the null vector, a subspace of dimension $\alpha$. If $X$ has a topology, then $A$ is $\alpha$-spaceable if such subspace can be chosen to be…

It is shown that if $\alpha ,\zeta $ are ordinals such that $1\leq \zeta <\alpha <\zeta \omega ,$ then there is an operator from $C(\omega ^{\omega ^\alpha })$ onto itself such that if $Y$ is a subspace of $C(\omega ^{\omega ^\alpha })$…

For a permutation $\omega \in S_{n}$ Denoncourt constructed a poset $M_{\omega}$ which is the set of join-irreducibles of the Lehmer codes of the permutations in $[e, \omega]$ in the inversion order on $S_{n}$. In this paper we show that…

Motivated by the decidability question for the theory of real exponentiation and by the Transfer Conjecture for o-minimal exponential fields, we show that, under the assumption of Schanuel's Conjecture, the prime model of real…