Related papers: Transfinite normal and composition series of group…

We study the geometry of the stratification induced by an affine hyperplane arrangement H on the quotient of a complex affine space by the action of a discrete group preserving H. We give conditions ensuring normality or normality in…

In this paper we formalize some foundation concepts and theorems of group theory in a variant of type theory called the Calculus of Constructions with Definitions. In this theory we introduce definition of a group, which is both general and…

We show that if a group $G$ has a finite normal subgroup $L$ such that $G/L$ is hypercentral, then the index of the hypercenter of $G$ is bounded by a function of the order of $L$. This completes recent results generalizing classical…

We characterize the category of monads on $Set$ and the category of Lawvere theories that are equivalent to the category of regular equational theories.

In this paper, the notion of the conjugate of an L-subgroup by an L-point has been introduced. Then, several properties of conjugate L-subgroups have been studied analogous to their group-theoretic counterparts. Also, the notion of…

The theories of $\pi$-points and modules of constant Jordan type have been a topic of much recent interest in the field of finite group scheme representation theory. These theories allow for a finite group scheme module $M$ to be restricted…

We propose a new unifying framework for Thompson-like groups using a well-known device called operads and category theory as language. We discuss examples of operad groups which have appeared in the literature before. As a first…

We define and we characterize regular and c-regular cyclically ordered abelian groups. We prove that every dense c-regular cyclically ordered abelian group is elementarily equivalent to some cyclically ordered group of unimodular complex…

Jordan operator algebras are norm-closed spaces of operators on a Hilbert space which are closed under the Jordan product. The discovery of the present paper is that there exists a huge and tractable theory of possibly nonselfadjoint Jordan…

The attempt is to give a formal concpet of system, and with this provide a definition of category, that will also satisfy the definition of a system. An axiomatic base is given, for constructing the group of integers. In the process, we…

In constructive set theory, an ordinal is a hereditarily transitive set. In homotopy type theory (HoTT), an ordinal is a type with a transitive, wellfounded, and extensional binary relation. We show that the two definitions are equivalent…

Let $o(G)$ be the average order of a finite group $G$. We show that if $o(G)<c$, where $c\in \lbrace \frac{13}{6}, \frac{11}{4}\rbrace$, then $G$ is an elementary abelian 2-group or a solvable group, respectively. Also, we prove that the…

We show that Artin-Schelter regularity of a $\mathbb{Z}$-graded algebra can be examined by its associated $\mathbb{Z}^r$-graded algebra. We prove that there is exactly one class of four-dimensional Artin-Schelter regular algebras with two…

We survey the existing parts of a classification of finite groups generated by orthogonal transformations in a finite-dimensional Euclidean space whose fixed point subspace has codimension one or two and extend it to a complete…

We introduce the class of modules of constant Jordan type for a finite group scheme $G$ over a field $k$ of characteristic $p > 0$. This class is closed under taking direct sums, tensor products, duals, Heller shifts and direct summands,…

We classify decompositions of simple special finite-dimensional Jordan superalgebras over an algebraically closed field of characteristic zero into the sum of two proper simple subsuperalgebras.

Let G be a group and H be a subgroup of G which is either finite or of finite index in G. In this note, we give some characterizations for normality of H in G. As a consequence we get a very short and elementary proof of the Main Theorem of…

Empirical properties of generating systems for complex reflection groups and their braid groups have been observed by Orlik-Solomon and Brou\'e-Malle-Rouquier, using Shephard-Todd classification. We give a general existence result for…

We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in…

This paper investigates the critical group of a faithful representation of a finite group. It computes the order of the critical group in terms of the character values, and gives some restrictions on its subgroup structure. It also computes…