Related papers: Saturated free algebras revisited
A famous result of Kostant states that the universal enveloping algebra of a semisimple complex Lie algebra is a free module over its center. We prove an analogue of this result for a class of filtered algebras and apply it to show the…
The main purpose of this article is to provide new results on algebraic independence of values of Mahler functions and their generalizations. Simultaneously, we establish new measures of algebraic independence for these values. Among the…
'Skolem arithmetic' is the complete theory $T$ of the multiplicative monoid $(\mathbb{N},\cdot)$. We give a full characterization of the $\varnothing$-definable stably embedded sets of $T$, showing in particular that, up to the relation of…
We give new and improved results on the freeness of subgroups of free profinite groups: A subgroup containing the normal closure of a finite word in the elements of a basis is free; Every infinite index subgroup of a finitely generated…
This paper introduces a SAT-based technique that calculates a compact and complete symmetry-break for finite model finding, with the focus on structures with a single binary operation (magmas). Classes of algebraic structures are typically…
$\mathbf{Theorem.}$ Let $K$ be an abstract elementary class (AEC) with amalgamation and no maximal models. Let $\lambda > \text{LS} (K)$. If $K$ is categorical in $\lambda$, then the model of cardinality $\lambda$ is Galois-saturated. This…
This book deals with the theory of generalized algebraic transformations, which is elaborated with the aim to provide a relatively simple theoretical tool that enables an exact treatment of diverse more complex lattice-statistical models.…
We consider the permutation group algebra defined by Cameron and show that if the permutation group has no finite orbits, then no homogeneous element of degree one is a zero-divisor of the algebra. We proceed to make a conjecture which…
In this paper we study residual solvability of the amalgamated product of two finitely generated free groups, in the case of doubles. We find conditions where this kind of structure is residually solvable, and show that in general this is…
In this paper, we observe the amalgamated free product structure of a Graph W*-probability space. In [16] and [17], we already observed the operator-valued freeness conditions on a graph W*-algebra. By using the conditions, we will consider…
Replacing finite groups by linear algebraic groups, we study an algebraic-geometric counterpart of the theory of free profinite groups. In particular, we introduce free proalgebraic groups and characterize them in terms of embedding…
Given a partially ordered set $P$ there exists the most general Boolean algebra $F(P)$ which contains $P$ as a generating set, called the {\it free Boolean algebra} over $P$. We study free Boolean algebras over posets of the form $P=P_0\cup…
We present some new examples of separable (\mathcal_\infty) spaces which are (\ell_r) saturated for some (1 < r < \infty).
An axiomatic treatment of `independence relations' (notions of independence) for complete first-order theories is presented, the principal examples being forking (due to Shelah) and thorn-forking (due to Onshuus). Thorn-forking is…
In this paper, we consider the relation between the group freeness and the amalgamated freeness of crossed product algebras.
We study varieties of certain ordered $\Sigma$-algebras with restricted completeness and continuity properties. We give a general characterization of their free algebras in terms of submonads of the monad of $\Sigma$-coterms. Varieties of…
Clause sets saturated by hierarchic ordered resolution do not offer a model representation that can be effectively queried, in general. They only offer the guarantee of the existence of a model. We present an effective symbolic model…
Since its introduction by Symons, the semigroup of maps with restricted range has been studied in the context of transformations on a set, or of linear maps on a vector space. Sets and vector spaces being particular examples of independence…
A theorem of Swan states that the locally free class group of a maximal order in a central simple algebra is isomorphic to a restricted ideal class group of the center. In this article we discuss this theorem and its generalization to…
Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field,…