Related papers: Equations over direct powers of algebraic structur…

We discuss the problems of incompleteness and inexpressibility. We introduce almost self-referential formulas, use them to extend set theory, and relate their expressive power to that of infinitary logic. We discuss the nature of proper…

We extend Borel's theorem on the dominance of word maps from semisimple algebraic groups to some perfect groups. In another direction, we generalize Borel's theorem to some words with constants. We also consider the surjectivity problem for…

We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (generally simultaneous) equations. For classes of regular…

We prove coherence of relatively quasi-free algebras over noetherian rings. Chase criterion for coherence is used.

This paper explores relational syllogistic logics, a family of logical systems related to reasoning about relations in extensions of the classical syllogistic. These are all decidable logical systems. We prove completeness theorems and…

In this paper we obtain the Wedderburn-Artin decomposition of a semisimple group algebra associated to a direct product of finite groups. We also provide formulae for the number of all possible group codes, and their dimensions, that can be…

We define and investigate nilpotent Lie algebras associated with quadratic forms. We also present their connections with Lie algebras and Ringel-Hall algebras associated with representation directed algebras.

We show that the class of groups where EDT0L languages can be used to describe solution sets to systems of equations is closed under direct products, wreath products with finite groups, and passing to finite index subgroups. We also add the…

We show that strong approximate lattices in higher-rank semi-simple algebraic groups are arithmetic.

Over the function field of a complex algebraic curve, strong approximation off a non-empty finite set of places holds for the complement of a codimension $2$ closed subset in a homogeneous space under a semisimple algebraic group, and for…

We determine the structure of the semisimple group algebra of certain groups over the rationals and over those finite fields where the Wedderburn decompositions have the least number of simple components. We apply our work to obtain similar…

A cell algebra structure is found for a family of generalized Schur algebras previously studied by the author. This cell algebra structure is then used to construct the irreducible representations of these algebras and to determine when the…

In this paper, we investigate the notions of almost Noetherian rings and modules. In details, we give the Cohen type theorem, Eakin-Nagata type theorem, Kaplansky type Theorem and Hilbert basis theorem and some other rings constructions for…

A brief survey of some aspects of noetherian Hopf algebras is given, concentrating on structure, homology, and classification, and accompanied by a panoply of open problems.

Representable implication algebras are known to be axiomatised by a finite number of equations (making the representation and finite representation problems decidable here). We show that this also holds in the context of unary (and binary)…

We study local equivalence of bounded complexes over a polynomial ring $R[w]$, where $R$ is a noetherian ring. We provide a homological algebra approach to the results, the variants of which have been proved in many places in the…

Quadratic algebras related to the reflection equations are introduced. They are quantum group comodule algebras. The quantum group $F_q(GL(2))$ is taken as the example. The properties of the algebras (center, representations, realizations,…

We prove some new relations between weak approximation and some rational equivalence relations (Brauer and R-equivalence) in algebraic groups over arithmetical fields. By using weak approximation and local - global approach, we compute…

We develop a structure theory of connected solvable spherical subgroups in semisimple algebraic groups. Based on this theory, we obtain an explicit classification of all such subgroups up to conjugation.

Powers of a polynomial $\operatorname{GL}$-representation are topologically Noetherian under the action of $\operatorname{Sym} \times \operatorname{GL}$. We extend this result to powers of algebraic representations of the orthogonal and the…