Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userAmusing Permutation Representations of Group Extensions
99
0
0.0
(
0
)
Authors
Yongju Bae
Ask ChatGPT about the research
No Arabic abstract
Wreath products of finite groups have permutation representations that are constructed from the permutation representations of their constituents. One can envision these in a metaphoric sense in which a rope is made from a bundle of threads. In this way, subgroups and quotients are easily visualized. The general idea is applied to the finite subgroups of the special unitary group of $(2times 2)$-matrices. Amusing diagrams are developed that describe the unit quaternions, the binary tetrahedral, octahedral, and icosahedral group as well as the dicyclic groups. In all cases, the quotients as subgroups of the permutation group are readily apparent. These permutation representations lead to injective homomorphisms into wreath products.
rate research
Read More
Let $G$ be a finitely generated group that can be written as an extension [ 1 longrightarrow K stackrel{i}{longrightarrow} G stackrel{f}{longrightarrow} Gamma longrightarrow 1 ] where $K$ is a finitely generated group. By a study of the BNS invariants we prove that if $b_1(G) > b_1(Gamma) > 0$, then $G$ algebraically fibers, i.e. admits an epimorphism to $Bbb{Z}$ with finitely generated kernel. An interesting case of this occurrence is when $G$ is the fundamental group of a surface bundle over a surface $F hookrightarrow X rightarrow B$ with Albanese dimension $a(X) = 2$. As an application, we show that if $X$ has virtual Albanese dimension $va(X) = 2$ and base and fiber have genus greater that $1$, $G$ is noncoherent. This answers for a broad class of bundles a question of J. Hillman.
We prove that various subgroups of the mapping class group $Mod(Sigma)$ of a surface $Sigma$ are at least exponentially distorted. Examples include the Torelli group (answering a question of Hamenstadt), the point-pushing and surface braid subgroups, and the Lagrangian subgroup. Our techniques include a method to compute lower bounds on distortion via representation theory and an extension of Johnson theory to arbitrary subgroups of $H_1(Sigma;mathbb{Z})$.
The paper establishes new relationship between cohomology, extensions and automorphisms of quandles. We derive a four term exact sequence relating quandle 1-cocycles, second quandle cohomology and certain group of automorphisms of an abelian extension of quandles. A non-abelian counterpart of this sequence involving dynamical cohomology classes is also established, and some applications to lifting of quandle automorphisms are given. Viewing the construction of the conjugation, the core and the generalised Alexander quandle of a group as an adjoint functor of some appropriate functor from the category of quandles to the category of groups, we prove that these functors map extensions of groups to extensions of quandles. Finally, we construct some natural group homomorphisms from the second cohomology of a group to the second cohomology of its core and conjugation quandles.
We prove that the cohomological dimension of the Torelli group for a closed connected orientable surface of genus g at least 2 is equal to 3g-5. This answers a question of Mess, who proved the lower bound and settled the case of g=2. We also find the cohomological dimension of the Johnson kernel (the subgroup of the Torelli group generated by Dehn twists about separating curves) to be 2g-3. For g at least 2, we prove that the top dimensional homology of the Torelli group is infinitely generated. Finally, we give a new proof of the theorem of Mess that gives a precise description of the Torelli group in genus 2. The main tool is a new contractible complex, called the complex of cycles, on which the Torelli group acts.
We discuss in this article a property of action of groups by isometries called well displacing. An action is said to be well displacing, if the displacement function is equivalent to the the displacement function for the action on the Cayley graph. We relate this property with the fact that orbit maps are quasi-isometric embeddings. We first describe countrexamples that shows this two notions are unrelated in general. On the other hand we explain that for a certain class of groups -- in particular hyperbolic groups -- these two properties are equivalent. In the course of our discussion, we introduce an intrinsic property of the group -- that we called the U-property -- which says quantitatively how the norm an element is controlled by the translation length of finitely many related conjugacy classes. This property play a central role in our discussion.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
