Related papers: On basic and Bass quaternion orders

In this paper, we give an axiomatization of the ordinal number system, in the style of Dedekind's axiomatization of the natural number system. The latter is based on a structure $(N,0,s)$ consisting of a set $N$, a distinguished element…

Let $R$ be a regular local ring containing a field, let $I$ be an ideal with $d=\text{ht}{I}$, and assume $\text{ht}{p}=d$ for every minimal prime $p$ of $I$. We compute the Bass numbers $\mu^{0}(q,H_{I}^{d}(R))$ and…

We apply SU(4)-symmetric model to examine possible ordered states in AB stacked bilayer graphene (AB-BLG). The Hamiltonian of the system possesses this symmetry under certain assumptions. In such a model the multicomponent order parameter…

Using methods of descriptive set theory, in particular, the determinacy of infinite games of perfect information, we answer several questions from the literature regarding different notions of bases in Banach spaces and lattices. For the…

We focus on formulae $\exists X.\, \varphi(\vec{Y}, X)$ of monadic second-order logic over the full binary tree, such that the witness $X$ is a well-founded set. The ordinal rank $\mathrm{rank}(X) < \omega_1$ of such a set $X$ measures its…

If $(R,\mathfrak{m})$ is a complete local ring of mixed characteristic $(0,p)$ and $R/pR$ is an $F$-pure Gorenstein domain, we find a sufficient condition for $R$ to be perfectoid pure. This condition is related to the Cohen-Macaulayness of…

Dedekind stated and proved the well-known fact that a lattice is modular if and only if it does not contain a pentagon as a sublattice. In this paper we consider a similar result in the literature for the case of certain class of modular…

Let $o(G)$ be the average order of the elements of $G$, where $G$ is a finite group. We show that there is no polynomial lower bound for $o(G)$ in terms of $o(N)$, where $N\trianglelefteq G$, even when $G$ is a prime-power order group and…

We prove that the Fourier dimension of any Boolean function with Fourier sparsity $s$ is at most $O\left(s^{2/3}\right)$. Our proof method yields an improved bound of $\widetilde{O}(\sqrt{s})$ assuming a conjecture of…

In the context of space-time block codes (STBCs), the theory of generalized quaternion and biquaternion algebras (i.e., tensor products of two quaternion algebras) over arbitrary base fields is presented, as well as quadratic form theoretic…

A bi-order on a group $G$ is a total, bi-multiplication invariant order. A subset $S$ in an ordered group $(G,\leqslant)$ is convex if for all $f\leqslant g$ in $S$, every element $h\in G$ satisfying $f\leqslant h \leqslant g$ belongs to…

For tensors of fixed order, we establish three types of upper bounds for the geometric rank in terms of the subrank. Firstly, we prove that, under a mild condition on the characteristic of the base field, the geometric rank of a tensor is…

This note is purely expository. In the course of the Kolmogorov-Arnold solution of Hilbert's 13th problem on superpositions there appeared the notion of basic embedding. A subset K of R^2 is basic if for each continuous function f:K->R…

Two bases of states are presented for modules of the graded parafermionic conformal field theory associated to the coset $\osp(1,2)_k/\uh(1)$. The first one is formulated in terms of the two fundamental (i.e., lowest dimensional)…

This paper provides the next step towards classification of algebras of generalized quaternion type. Previously algebras with 2-regular Gabriel quiver were classified (a quiver is 2-regular if at each vertex, two arrows start and two arrows…

The set A of nonnegative integers is called a basis of order h if every nonnegative integer can be represented as the sum of exactly h not necessarily distinct elements of A. An additive basis A of order h is called thin if there exists c >…

We introduce two partially ordered sets, $P^A_n$ and $P^B_n$, of the same cardinalities as the type-A and type-B noncrossing partition lattices. The ground sets of $P^A_n$ and $P^B_n$ are subsets of the symmetric and the hyperoctahedral…

Let $D$ be a quaternion algebra over a number field $F$, and $\mathscr{G}$ be an arbitrary genus of $O_F$-orders of full rank in $D$. Let $K$ be a quadratic field extension of $F$ that embeds into $D$, and $B$ be an $O_F$-order in $K$ that…

Let K be a function field with constant field k and let "infinity" be a fixed place of K. Let C be the Dedekind domain consisting of all those elements of K which are integral outside "infinity". The group G=GL_2(C) is important for a…

We characterize simply connected John domains in the plane with the aid of weak tangents of the boundary. Specifically, we prove that a bounded simply connected domain $D$ is a John domain if and only if, for every weak tangent $Y$ of…