Related papers: One Lie group to define them all
We prove completeness for the main examples of infinite-dimensional Lie groups and some related topological groups.
Consider the real free Lie algebra $\mathfrak{fr}_n$ with generators $\omega_1$, \dots, $\omega_n$. Since it is positively graded, it has a completion $\overline{\mathfrak{fr}}_n$ consisting of formal series. By the Campbell--Hausdorff…
Lie theory is, beyond any doubt, an absolutely essential part of differential geometry. It is therefore necessary to seek its generalization to $\mathbb{Z}$-graded geometry. In particular, it is vital to construct non-trivial and explicit…
Quantum theory can be formulated as a theory of operations, more specific, of complex represented operations from real Lie groups. Hilbert space eigenvectors of acting Lie operations are used as states or particles. The simplest simple Lie…
We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is…
This is a translation. I have added translations for (possibly) outdated definitions in an appendix at the end. In this paper, we define distributive groups and show some properties of them. We then concern ourselves with the homogeinity of…
We show that any complex (respectively real) representation of finite group naturally generates a open-closed (respectively Klein) topological field theory over complex numbers. We relate the 1-point correlator for the projective plane in…
This paper describes the first-order logical environment FOLE. Institutions in general, and logical environments in particular, give equivalent heterogeneous and homogeneous representations for logical systems. As such, they offer a…
I present the most fundamental features of an implemented system designed to manipulate representations of regular languages. The system is structured into two layers, allowing regular languages to be represented in an increasingly compact,…
We analyze definably compact groups in o-minimal expansions of ordered groups as a combination of semi-linear groups and groups definable in o-minimal expansions of real closed fields. The analysis involves structure theorems about their…
Axiomatizing mathematical structures and theories is an objective of Mathematical Logic. Some axiomatic systems are nowadays mere definitions, such as the axioms of Group Theory; but some systems are much deeper, such as the axioms of…
Following the structure theory approach for rings, the aim of this paper is to study some distinguished classes of Lie algebras. We introduce the notion of a Lie-module and discuss some relations of it with various classes of ideals of a…
Given a regular language L, we effectively construct a unary semigroup that recognizes the topological closure of L in the free unary semigroup relative to the variety of unary semigroups generated by the pseudovariety R of all finite…
To any finite ordered subset and any finite partition of a group a set of tuples of positive integers, named as configurations, is associated that describes the group's behavior. The present paper provides an exposition of this notion and…
We construct an infinite family of real cyclotomic fields with non-trivial class group. This result generalizes the result in [1] in the sense that our family includes theirs.
We define basic notions in the category of conic representations of a topological group and prove elementary facts about them. We show that a conic representation determines an ordinary dynamical system of the group together with a…
A group is $\textit{finitely axiomatizable}$ (FA) in a class $\mathcal{C}$ if it can be determined up to isomorphism within $\mathcal{C}$ by a sentence in the first-order language of group theory. We show that profinite groups of various…
We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; then we construct isotypic but not isomorphic structures with…
We prove that for every finitely generated subgroup of a virtually connected Lie group which admits a finite dimensional model for the classifying space for proper actions the assembly map in algebraic K-theory is split injective. We also…
Given a definably amenable approximate subgroup $A$ of a (local) group in some first-order structure, there is a type-definable subgroup $H$ normalised by $A$ and contained in $A^4$ such that every definable superset of $H$ has positive…