Related papers: Realizing orders in rational sphere product algebr…
A \emph{gerechte framework} is a partition of an $n \times n$ array into $n$ regions of $n$ cells each. A \emph{realization} of a gerechte framework is a latin square of order $n$ with the property that when its cells are partitioned by the…
For an algebraic number $\alpha$ of degree $n$, let $\mathcal{M}_{\alpha}$ be the $\mathbb{Z}$-module generated by $1,\alpha ,\ldots ,\alpha^{n-1}$; then $\mathbb{Z}_{\alpha}:=\{\xi\in\mathbb{Q} (\alpha ):\,…
The natural partial ordering of the orbit types of the action of the group of local gauge transformations on the space of connections in space-time dimension d<=4 is investigated. For that purpose, a description of orbit types in terms of…
In this article, we study the cohomology ring of real moment-angle complexes over a simplicial complex $K$. Combinatorial generators for the cohomology can be given in terms of $K$. For $K$ the boundary of an $n$-gon, we give a full…
A relation algebra is called measurable when its identity is the sum of measurable atoms, and an atom is called measurable if its square is the sum of functional elements. In this paper we show that atomic measurable relation algebras have…
In this thesis, four realizations of the Onsager algebra are explored. We begin with its original definition as introduced by Lars Onsager. We then examine how the Onsager algebra can be presented as a Lie algebra with two generators and…
We determine the algebraic and transcendental lattices of a general cubic fourfold with a symplectic automorphism of prime order. We prove that cubic fourfolds admitting a symplectic automorphism of order at least three are rational, and we…
An algebra denoted $m\mathfrak{H}$ with three generators is introduced and shown to admit embeddings of the Hahn algebra and the rational Hahn algebra. It has a real version of the deformed Jordan plane as a subalgebra whose connection with…
We describe absolutely ordered $p$-normed spaces, for $1 \le p \le \infty$ which presents a model for "non-commutative" vector lattices and includes order theoretic orthogonality. To demonstrate its relevance, we introduce the notion of…
An elegant description of the general form of order automorphisms of effect algebras has been known in the complex case. We present a much simpler proof based on the projective geometry which works also in the real case. As an application…
The W_3 algebra of central charge 6/5 is realized as a subalgebra of the vertex operator algebra V_{\sqrt{2}A_2} associated with a lattice of type \sqrt{2}A_2 by using both coset construction and orbifold theory. It is proved that W_3 is…
Third-order ordinary differential equations with Lie symmetry algebras isomorphic to the nonsolvable algebra $\mathfrak{sl}(2,\mathbb{R})$ admit solvable structures. These solvable structures can be constructed by using the basis elements…
In this paper, we develop a method for constructing left-orders on the fundamental groups of rational homology 3-spheres. We begin by constructing the holonomy extension locus of a rational homology solid torus $M$, which encodes the…
The computation of a maximal order of an order in a semisimple algebra over a global field is a classical well-studied problem in algorithmic number theory. In this paper we consider the related problems of computing all minimal overorders…
Following ideas of Lawvere and Linton we prove that classical varieties are precisely the exact categories with a varietal generator. This means a strong generator which is abstractly finite and regularly projective. An analogous…
In Part 1, we describe six projective-type model structures on the category of differential graded modules over a differential graded algebra A over a commutative ring R. When R is a field, the six collapse to three and are well-known, at…
First we prove that any inner automorphism in the stabilizer of a graded-simple unital associative algebra whose grading group is abelian is the conjugation by a homogeneous element. Now consider a grading by an abelian group on an…
We shall generalize the notion of a Laver table to algebras which may have many generators, several fundamental operations, fundamental operations of arity higher than 2, and to algebras where only some of the operations are…
A trinomial algebra is a commutative finitely generated algebra given by a system of compatible relations each of which is a polynomial with three terms. Such algebras arise as the Cox rings of varieties admitting a complexity one torus…
The cohomology ring of a finite group, with coefficients in a finite field, can be computed by a machine, as Carlson has showed. Here "compute" means to find a presentation in terms of generators and relations, and involves only the…