Related papers: A M\"obius function on the centralizer lattice
This is an introduction to the M\"obius function of a poset. The chief novelty is in the exposition. We show how order-preserving maps from one poset to another can be used to relate their M\"obius functions. We derive the basic results on…
We describe the orbit structure for the action of the centralizer group of a linear operator on a finite-dimensional complex vector space. The main application is to the classification of solutions to a system of first-order ODEs with…
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.
We introduce the concept of a bounded below set in a lattice. This can be used to give a generalization of Rota's broken circuit theorem to any finite lattice. We then show how this result can be used to compute and combinatorially explain…
The M\"{o}bius function of the subgroup lettice of a finite group $G$ has been introduced by Hall and applied to investigate several different questions. We propose the following generalization. Let $A$ be a subgroup of the automorphism…
We study centralizer clones of finite lattices and semilattices. For semilattices, we give two characterizations of the centralizer and also derive formulas for the number of operations of a given essential arity in the centralizer. We also…
We investigate the occurrence of elements of order $p$ in the upper central series of a finite $p$-group.
We determine the M\"obius function of the poset of compositions of an integer. In fact we give two proofs of this formula, one using an involution and one involving discrete Morse theory. The composition poset turns out to be intimately…
We study filters in the partition lattice formed by restricting to partitions by type. The M\"obius function is determined in terms of the easier-to-compute descent set statistics on permutations and the M\"obius function of filters in the…
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…
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…
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…
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 X be a finite set. This paper describes some topological and combinatorial properties of the poset \Omega_X of order relations on X. In particular, the homotopy type of all the intervals in \Omega_X is precisely determined, and the…
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 $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$…
M\"obius inversion, originally a tool in number theory, was generalized to posets for use in group theory and combinatorics. It was later generalized to categories in two different ways, both of which are useful. We provide a unifying…
We study centralizers in certain algebras with valuation in order to generalize results by Hellstr\"{o}m and Silvestrov on centralizers in graded algebras. We prove that the centralizer of an element in the studied algebras is a free module…
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…
This paper analyzes the M\"obius ($\mu(i)$) function defined on the partially ordered set of triangular numbers ($\mathcal T(i)$) under the divisibility relation. We make conjectures on the asymptotic behavior of the classical M\"obius and…