Related papers: One Lie group to define them all

This is a preliminary version of the first chapter of a book project on the character theory of finite groups of Lie type. It provides the foundations from the general theory of reductive algebraic groups over a finite field.

In this paper, the definition of Hom-Lie groups is given and one conntected component of Lie group $GL(V)$, which is not a subgroup of $GL(V)$, is a Hom-Lie group. More, we proved that there is a one-to-one relationship between Hom-Lie…

We examine subgroups of locally compact groups that are continuous homomorphic images of connected Lie groups and we give a criterion for being such an image. We also provide a new characterisation of Lie groups and a characterisation of…

We introduce an extension of first-order logic that comes equipped with additional predicates for reasoning about an abstract state. Sequents in the logic comprise a main formula together with pre- and postconditions in the style of Hoare…

For a class of groups $G$ over a field $\mathbb{F}$, including certain Lie groups, Algebraic groups and finite groups, we develop a general method to determine rational and real elements, thereby unifying earlier group-specific results into…

In this expository article, the real numbers are defined as infinite decimals. After defining an ordering relation and the arithmetic operations, it is shown that the set of real numbers is a complete ordered field. It is further shown that…

Weil prolongations of a Lie group are naturally Lie groups. It is not known in the theory of infinite-dimensional Lie groups how to construct a Lie group with a given Lie algebra as its Lie algebra or whether there exists such a Lie group…

Ulam asked whether all Lie groups can be represented faithfully on a countable set. We establish a reduction of Ulam's problem to the case of simple Lie groups. In particular, we solve the problem for all solvable Lie groups and more…

It is shown that there is a $C^*$-algebraic quantum group related to any double Lie group. An algebra underlying this quantum group is an algebra of a differential groupoid naturally associated with a double Lie group

We study groups definable in existentially closed geometric fields with commuting derivations. Our main result is that such a group can be definably embedded in a group interpretable in the underlying geometric field. Compared to earlier…

We consider some special type extensions of an arbitrary Lie algebra, which we call universal extensions. We show that these extensions are in one-to-one correspondence with finite dimensional associative commutative algebras. We also…

We study a new class of infinite dimensional Lie algebras, which has important applications to the theory of integrable equations. The construction of these algebras is very similar to the one for automorphic functions and this motivates…

We provide a setting-independent definition of reals by introducing the notion of a streak. We show that various standard constructions of reals satisfy our definition. We study the structure of reals by noting that its pieces correspond to…

We give parameterizations of the irreducible representations of finite groups of Lie type in their defining characteristic.

A topological group is called a pro-Lie group if it is isomorphic to a closed subgroup of a product of finite-dimensional real Lie groups. This class of groups is closed under the formation of arbitrary products and closed subgroups and…

We have recently begun a project to develop a more effective and efficient way to marshal inferences from background knowledge to facilitate deep natural language understanding. The meaning of a word is taken to be the entities,…

Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…

An extension of an abstract argumentation framework, called collective argumentation, is introduced in which the attack relation is defined directly among sets of arguments. The extension turns out to be suitable, in particular, for…

There exist six Lie groups of type $ E_6 $, and to be specific, ${E_6}^C , E_6, E_{6(6)}, E_{6(-2)}, E_{6(-14)}, E_{6(-26)}$. In order to define these groups, we use usually the Cayley algebra $ \mathfrak{C} $ and the split Cayley algebra $…

A logic family is a bunch of logics that belong together in some way. First-order logic is one of the examples. Logics organized into a structure occurs in abstract model theory, institution theory and in algebraic logic. Logic families…