Search

In this paper we make explicit an application of the wreath product construction to the Galois groups of field extensions. More precisely, given a tower of fields F ⊆ K ⊆ L with L/F finite and separable, we explicitly construct an embedding of the Galois group Gal (L c / F) into the regular wreath product Gal (L c / K c) ≀ r Gal (K c / F) . Here Lc (resp. Kc) denotes the Galois closure of L/F (resp. K/F). Similarly, we also construct an explicit embedding of the Galois group Gal (L c / F) into the smaller sized wreath product Gal (L c / K) ≀ Ω Gal (K c / F) , where Ω = Hom F (K , K c) is acted on by composition of automorphisms in Gal (K c / F) . Moreover, when L/K is a Kummer extension we prove a sharper embedding, that is, that Gal (L c / F) embeds into the wreath product Gal (L / K) ≀ Ω Gal (K c / F) . As corollaries we obtain embedding theorems when L/K is cyclic and when it is quadratic with char (F) ≠ 2 . We also provide examples of these embeddings and as an illustration of the usefulness of these embedding theorems, we survey some recent applications of these types of results in field theory, arithmetic statistics, number theory and arithmetic geometry. [ABSTRACT FROM AUTHOR]

A graph Γ is said to be 2-arc-transitive if its automorphism group acts transitively on the set of 2-arcs of Γ . In this paper, we give a group-theoretic characterization of those connected 2-arc-transitive graphs which admit a vertex-transitive simple group. [ABSTRACT FROM AUTHOR]

AbstractWe find an explicit form of the inverse isomorphism from Shapiro’s lemma in terms of inhomogeneous cocycles and apply it to construct special nonsplit coverings of groups with a unique conjugacy class of involutions. [ABSTRACT FROM AUTHOR]

In Straubing (Theor. Comput. Sci. 13:137–150, 1981), Straubing introduced an n-ary the Schützenberger product on finite monoids. In this paper, we examine this generalization from another point of view and obtain an alternative n-generalized monoid construction of Schützenberger product to facilitate the intelligibility of Straubing's structure. Then, we find a generator and relator set for this product. Additionally, we compute a complete rewriting system and thus we obtain normal form structure of elements of this monoid construction which could be useful for Automata Theory. This gives us the solvability of the word problem for this product. [ABSTRACT FROM AUTHOR]

Let F be a non-cyclic free group of rank n. Consider the quotient F / [ F ″ , F ] , the free centre-by-metabelian group of rank n. In 1973, C. K. Gupta proved by purely group theoretic means that it contains an elementary abelian 2-group of rank ( 4 n) in its centre for n ≥ 4 , and exhibited an explicit generating set for this torsion subgroup. In this paper, using homological methods, we provide an alternative explicit generating set for it, and identify this torsion subgroup as the isolator of an explicitly given subgroup in the quotient F ″ / [ F ″ , F ′ ] . [ABSTRACT FROM AUTHOR]

Given a group G and n ≥ 0 , let W(G, n) be the associated iterated wreath product—unrestricted when G is infinite—viewed as a permutation group on Gn. We prove that the normalizer of W(G, n) in the symmetric group S (G n) is equal to M n ⋉ W (G , n) , where Mn is isomorphic to Aut (G) n . The action of Aut (G) n on W(G, n) is recursively described. Communicated by Mark Lewis [ABSTRACT FROM AUTHOR]

In the paper, we develop further the properties of Schur rings over infinite groups, with particular emphasis on the virtually cyclic group Z × Z p , where p is a prime. We provide structure theorems for primitive sets in these Schur rings. In the case of Fermat and safe primes, a complete classification theorem is proven, which states that all Schur rings over Z × Z p are traditional. We also draw analogs between Schur rings over Z × Z p and partitions of difference sets over Z p . [ABSTRACT FROM AUTHOR]

Let N and H be groups, and let G be an extension of H by N. In this article, we describe the structure of the complex group ring of G in terms of data associated with N and H. In particular, we present conditions on the building blocks N and H guaranteeing that G satisfies the zero-divisor and idempotent conjectures. Moreover, for central extensions involving amenable groups we present conditions on the building blocks guaranteeing that the Kadison–Kaplansky conjecture holds for the group C ∗ -algebra of G. [ABSTRACT FROM AUTHOR]

We establish a connection between the generalized conjugacy problem for a G-by- Z group, GCP (G ⋊ Z) , and two algorithmic problems for G: the generalized Brinkmann's conjugacy problem, GBrCP(G), and the generalized twisted conjugacy problem, GTCP(G). We explore this connection for generalizations of different kinds: relative to finitely generated subgroups, to their cosets, or to recognizable, rational, context-free or algebraic subsets of the group. Using this result, we are able to prove that GBrCP(G) is decidable (with respect to cosets) when G is a virtually polycyclic group, which implies in particular that the generalized Brinkmann's equality problem, GBrP(G), is decidable if G is a finitely generated abelian group. Finally, we prove that if G is a finitely generated virtually free group, then the simple versions of Brinkmann's equality problem and of the twisted conjugacy problem, BrP(G) and TCP(G), are decidable. [ABSTRACT FROM AUTHOR]

Motivated by a classic result for free groups, one says that a group G has the Magnus property if the following holds: Whenever two elements generate the same normal subgroup of G, they are conjugate or inverse-conjugate in G. It is a natural problem to find out which relatively free groups display the Magnus property. We prove that a free polynilpotent group of any given class row has the Magnus property if and only if it is nilpotent of class at most 2. For this purpose we explore the Magnus property more generally in soluble groups, and we produce new techniques, both for establishing and for disproving the property. We also prove that a free center-by-(polynilpotent of given class row) group has the Magnus property if and only if it is nilpotent of class at most 2. On the way, we display 2-generated nilpotent groups (with non-trivial torsion) of any prescribed nilpotency class with the Magnus property. Similar examples of finitely generated, torsion-free nilpotent groups are hard to come by, but we construct a 4-generated, torsion-free, class-3 nilpotent group of Hirsch length 9 with the Magnus property. Furthermore, using a weak variant of the Magnus property and an ultraproduct construction, we establish the existence of metabelian, torsion-free, nilpotent groups of any prescribed nilpotency class with the Magnus property. [ABSTRACT FROM AUTHOR]

Let C 2 ≀ H n denote the wreath product of a cyclic group C 2 of order 2 with a subgroup H n of the symmetric group S n on n letters, and let A be the direct product of a cyclic group of order 2 u with u ≥ 1 and a cyclic group of order 2 v with u ≥ v ≥ 0 . The number of homomorphisms from A to C 2 ≀ H n is denoted by h (A , C 2 ≀ H n) . Let A n be the alternating group on n letters. When H n = A n , h (A , C 2 ≀ A n) has some 2-adic properties which are similar to those of h (A , C 2 ≀ S n) . The exponent of 2 in the decomposition of h (A , C 2 ≀ H n) into prime factors is denoted by ord2 (h (A , C 2 ≀ H n)) . Let [ x ] denote the largest integer not exceeding a real number x . For each n , τ ¯ 2 (u , v) (n) denotes ∑ j = 0 u - 1 [ n / 2 j ] + [ n / 2 u + 1 ] - [ n / 2 u + 2 ] if u = v and denotes ∑ j = 0 u - 1 [ n / 2 j ] - (u - v) [ n / 2 u ] if u ≥ v + 1 , which is known to be the lower bound of ord2 (h (A , C 2 ≀ S n)) . There are three types of 2-adic properties of h (A , C 2 ≀ A n) . The lower bound of ord2 (h (A , C 2 ≀ A n)) is τ ¯ 2 (u , v) (n) if u + δ v 0 ≤ v + 2 , and is τ ¯ 2 (u , v) (n) - 1 if u + δ v 0 ≥ v + 3 . Suppose that u + δ v 0 ≥ v + 2 . For any positive odd integer y , ord2 (h (A , C 2 ≀ A 2 u y)) and ord2 (h (A , C 2 ≀ A 2 u y + 1)) are described by certain 2-adic integers. The values { h (A , C 2 ≀ A n) } n = 0 ∞ are explained by certain 2-adic analytic functions. The results are obtained by using an explicit description of the generating function ∑ n = 0 ∞ h (A , C 2 ≀ A n) X n / (2 n n !) . [ABSTRACT FROM AUTHOR]

The celebrated Kaloujnine-Krasner theorem associates, with a short exact sequence 1 → N → ι G → π H → 1 of groups and a section s : H → G , an embedding Φ : G → N ≀ H of G into the (unrestricted) wreath product of N and H. Given two groups H and N, a short exact sequence as above is called an extension of H by N, denoted by (G ; ι , π) . Moreover, one says that two extensions (G 1 ; ι 1 , π 1) and (G 2 ; ι 2 , π 2) of H by N are equivalent if there exists a group isomorphism η : G 1 → G 2 such that ι 2 = η ° ι 1 and π 1 = π 2 ° η . We say that two embeddings Φ 1 : G 1 → N ≀ H and Φ 2 : G 2 → N ≀ H are equivalent if there exists a group isomorphism η : G 1 → G 2 such that Φ 1 = Φ 2 ° η . We show that two extensions (G 1 ; ι 1 , π 1) and (G 2 ; ι 2 , π 2) are equivalent if and only if the embeddings Φ 1 and Φ 2 , associated with any two sections s 1 : H → G 1 and s 2 : H → G 2 via the Kaloujnine-Krasner theorem, are equivalent. [ABSTRACT FROM AUTHOR]

Rota–Baxter operators for groups were recently introduced by Guo, Lang, and Sheng. Bardakov and Gubarev showed that with each Rota–Baxter operator, one can associate a skew brace. Skew braces on a group G can be characterised in terms of certain gamma functions from G to its automorphism group Aut (G) that are defined by a functional equation. For the skew braces obtained from a Rota–Baxter operator, the corresponding gamma functions take values in the inner automorphism group Inn (G) of G. In this paper, we give a characterisation of the gamma functions on a group G, with values in Inn (G) , that come from a Rota–Baxter operator, in terms of the vanishing of a certain element in a suitable second cohomology group. Exploiting this characterisation, we are able to exhibit examples of skew braces whose corresponding gamma functions take values in the inner automorphism group, but cannot be obtained from a Rota–Baxter operator. For gamma functions that can be obtained from a Rota–Baxter operators, we show how to get the latter from the former, exploiting the knowledge that a suitable central group extension splits. [ABSTRACT FROM AUTHOR]

This paper aims to deepen the theory of bijective non-degenerate set-theoretic solutions of the Yang–Baxter equation, not necessarily involutive, by means of q-cycle sets. We entirely focus on the finite indecomposable ones, among which we especially study the class of simple solutions. In particular, we provide a group-theoretic characterization of these solutions, including their permutation groups. Finally, we deal with some open questions. [ABSTRACT FROM AUTHOR]