相关论文: Constructing the hyperdefinable group from the gro…

The aim of this paper is to generalise the notion of p-stability to fusion systems. We study the question how Qd(p) is involved in finite simple groups. We show that with a single exception a simple group involving Qd(p) has a subgroup…

We construct a map from fundamental groups of complements to some plane configurations to the groups $G_{n}^{k}$ for large $k$. We discuss connection between the groups $G_{n}^{k}$ for different $G_{n}^{k}$ and their geometric realization.

In this paper one construction of composition formations was introduced. This construction contains formations of quasinilpotent groups, $c$-supersoluble groups, groups defined by ranks of chief factors and some new classes of groups. A…

We prove by using simple number-theoretic arguments formulae concerning the number of elements of a fixed order and the number of cyclic subgroups of a direct product of several finite cyclic groups. We point out that certain multiplicative…

Regular algebraic $K$-theory for groups is a homology theory for discrete groups closely connected (but different from) group homology. It also gives a version of algebraic $K$-theory for rings by the simple functorial mapping assigning to…

We show the existence of and explicitly construct generic polynomials for various groups, over fields of positive characteristic. The methods we develop apply to a broad class of connected linear algebraic groups defined over finite fields…

We investigate a hierarchy of arithmetical structures obtained by a transfinite addition of a canonic universal predicate, where the canonic universal predicate for M is defined as a minimum universal predicate for M in terms of…

We give new characterizations of sofic groups: -- A group $G$ is sofic if and only if it is a subgroup of a quotient of a direct product of alternating or symmetric groups. -- A group $G$ is sofic if and only if any system of equations…

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 study the concept of hypervaluations on hyperfields. In particular, we show that any hypervaluation from a hyperfield onto an ordered canonical hypergroup is the composition of a hypervaluation onto an ordered abelian group (which…

The concept of configuration was first introduced by Rosenblatt and Willis to give a condition for amenability of groups. We show that if $G_1$ and $G_2$ have the same configuration sets and $H_1$ is a normal subgroup of $G_1$ with abelian…

We consider abstract-argumentation-theoretic coalition formability in this work. Taking a model from political alliance among political parties, we will contemplate profitability, and then formability, of a coalition. As is commonly…

We prove an analogue of the fixed-point theorem for the case of definably amenable groups.

Chords in musical harmony can be viewed as objects having shapes (major/minor/etc.) attached to base sets (pitch class sets). The base set and the shape set are usually given the structure of a group, more particularly a cyclic group. In a…

In this paper, we survey some of the recent advances on embeddings into finitely generated (left-orderable) simple group such that the overgroup preserves algorithmic, geometric, or algebraic information about the embedded group. We discuss…

Satisfiability is a classic problem in computational complexity theory, in which one wishes to determine whether an assignment of values to a collection of Boolean variables exists in which all of a collection of clauses composed of logical…

We give a general construction of topological groups from combinatorial structures such as trees, towers, gaps, and subadditive functions. We connect topological properties of corresponding groups with combinatorial properties of these…

We introduce a notion of the ``explanation" of one (generalized) probabilistic model by another as particular kind of span in the category $\Prob$ of probabilistic models and morphisms. We show that explanations compose under a standard…

Lie groupoids generalize transformation groups, and so provide a natural language for studying orbifolds and other noncommutative geometries. In this paper, we investigate a connection between orbifolds and equivariant stable homotopy…

We prove a version of Hrushovski's socle lemma for rigid groups in an arbitrary simple theory.