Related papers: The $A$-M\"{o}bius function of a finite group

The M\"obius function of the subgroup lattice of a finite group has been introduced by Hall and applied to investigate several questions. In this paper, we consider the M\"obius function defined on an order ideal related to the lattice of…

For a fixed odd prime $\ell$, we define a variant of the classical M\"{o}bius function on the poset of isomorphism classes of finite abelian $\ell$-groups, then we prove an analog of Hall's theorem on the vanishing of the M\"{o}bius…

The M\"obius function for a group, $G$, was introduced in 1936 by Hall in order to count ordered generating sets of $G$. In this paper we determine the M\"obius function of the simple small Ree groups, $R(q)={}^2G_2(q)$ where $q=3^{2m+1}$…

We compute the M\"obius function for the subgroup lattice of the simple Suzuki group $Sz(q)$; this is used to enumerate normal subgroups of certain Hecke groups with quotients isomorphic to $Sz(q)$.

Let $G$ be a finite group, $\mu$ be the M\"obius function on the subgroup lattice of $G$, and $\lambda$ be the M\"obius function on the poset of conjugacy classes of subgroups of $G$. It was proved by Pahlings that, whenever $G$ is…

Let $\text{AGL}(1,\Bbb F_q)$ denote the affine linear group of dimension one over the finite field $\Bbb F_q$. We determine the M\"obius function of the lattice of subgroups of $\text{AGL}(1,\Bbb F_q)$.

We consider the M\"obius function on the poset of element centers and obtain some new results regarding centralizers in a $p$-group.

The paper presents some results for reducing the computation of the M\"obius functon of a M\"obius category that arises from a combinatorial inverse semigroup to that of locally finite partially ordered sets. We illustrate the computation…

In this paper, we investigate the M{\"o}bius function $\mu\_{\mathcal{S}}$ associated to a (locally finite) poset arising from a semigroup $\mathcal{S}$ of $\mathbb{Z}^m$. We introduce and develop a new approach to study…

We use discrete Morse theory to determine the M\"obius function of generalized factor order. Ordinary factor order on the Kleene closure A* of a set A is the partial order defined by letting u\leq w if w contains u as a subsequence of…

Let $G$ be the simple group ${\rm PSU}(2,2^{2^n})$, $n>0$. For any subgroup $H$ of $G$, we compute the M\"obius function $\mu_L(H,G)$ of $H$ in the subgroup lattice $L$ of $G$, and the M\"obius function $\mu_{\bar L}([H],[G])$ of $[H]$ in…

Let $G$ and $A$ be finite groups with $A$ acting on $G$ by automorphisms. In this paper we introduce the concept of "good action"; namely we say the action of $A$ on $G$ is good, if $H=[H,B]C_H(B)$ for every subgroup $B$ of $A$ and every…

Let $G$ be the simple group ${\rm PSL}(3,2^p)$, where $p$ is a prime number. For any subgroup $H$ of $G$, we compute the M\"obius function of $H$ in the subgroup lattice of $G$. To this aim, we describe the intersections of maximal…

Let P be a poset and let P* be the set of all finite length words over P. Generalized subword order is the partial order on P* obtained by letting u \leq w if and only if there is a subword u' of w having the same length as u such that each…

This paper studies the M\"obius function and related questions about the finiteness of the poset of submodules of semisimple and general modules. We show how to calculate the M\"obius function for semisimple modules based on endomorphism…

Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms, we first prove some results on the solvability of finite groups in which some maximal $A$-invariant subgroups have indices a prime or the square of a…

A finite group $G$ is said to satisfy $C_\pi$ for a set of primes $\pi$, if $G$ possesses exactly one class of conjugate $\pi$-Hall subgroups. In the paper we obtain a criterion for a finite group $G$ to satisfy $C_\pi$ in terms of a normal…

In these notes we study several categorical generalizations of the M\"obius function and discuss the relations between the various approaches. We emphasize the topological and geometric meaning of these constructions.

Let $S$ be a numerical semigroup and let $\left(\mathbb{Z},\leqslant\_S\right)$ be the (locally finite) poset induced by $S$ on the set of integers $\mathbb{Z}$ defined by $x \leqslant\_S y$ if and only if $y-x\in S$ for all integers $x$…

For a finite group $G$, we associate the quantity $\beta(G)=\frac{|L(G)|}{|G|}$, where $L(G)$ is the subgroup lattice of $G$. Different properties and problems related to this ratio are studied throughout the paper. We determine the second…