Showing 1–10 of 10 results for author: Michailov, I M

Bogomolov multipliers for unitriangular groups

Authors: Ivo Michailov Michailov

Abstract: The Bogomolov multiplier $B_0(G)$ of a finite group $G$ is defined as the subgroup of the Schur multiplier consisting of the cohomology classes vanishing after restriction to all abelian subgroups of $G$. In this paper we give a positive answer to an open problem posed by Kang and Kunyavskiĭ in \cite{KK}. Namely, we prove that if $G$ is either a unitriangular group over $\f$, a quotient of its low… ▽ More The Bogomolov multiplier $B_0(G)$ of a finite group $G$ is defined as the subgroup of the Schur multiplier consisting of the cohomology classes vanishing after restriction to all abelian subgroups of $G$. In this paper we give a positive answer to an open problem posed by Kang and Kunyavskiĭ in \cite{KK}. Namely, we prove that if $G$ is either a unitriangular group over $\f$, a quotient of its lower central series, a subgroup of its lower central series, or a central product of two unitriangular groups, then $B_0(G)=0$. △ Less

Submitted 14 November, 2013; v1 submitted 15 August, 2013; originally announced August 2013.

Comments: Some errors are corrected in v2

MSC Class: 14E08; 14M20; 13A50

Bogomolov multipliers for some $p$-groups of nilpotency class 2

Authors: Ivo M. Michailov

Abstract: The Bogomolov multiplier $B_0(G)$ of a finite group $G$ is defined as the subgroup of the Schur multiplier consisting of the cohomology classes vanishing after restriction to all abelian subgroups of $G$. The triviality of the Bogomolov multiplier is an obstruction to Noether's problem. We show that if $G$ is a central product of $G_1$ and $G_2$, regarding $K_i\leq Z(G_i), i=1,2$, and… ▽ More The Bogomolov multiplier $B_0(G)$ of a finite group $G$ is defined as the subgroup of the Schur multiplier consisting of the cohomology classes vanishing after restriction to all abelian subgroups of $G$. The triviality of the Bogomolov multiplier is an obstruction to Noether's problem. We show that if $G$ is a central product of $G_1$ and $G_2$, regarding $K_i\leq Z(G_i), i=1,2$, and $θ:G_1\to G_2$ is a group homomorphism such that its restriction $θ\vert_{K_1}:K_1\to K_2$ is an isomorphism, then the triviality of $B_0(G_1/K_1), B_0(G_1)$ and $B_0(G_2)$ implies the triviality of $B_0(G)$. We give a positive answer to Noether's problem for all $2$-generator $p$-groups of nilpotency class $2$, and for one series of $4$-generator $p$-groups of nilpotency class $2$ (with the usual requirement for the roots of unity). △ Less

Submitted 18 July, 2016; v1 submitted 2 July, 2013; originally announced July 2013.

Comments: This is the revised version which appeared in Acta Math. Sinica (English Series). arXiv admin note: text overlap with arXiv:1304.1890

MSC Class: 14E08; 14M20; 13A50; 12F12

Journal ref: Acta Mathematica Sinica, English Series, May 2016, Volume 32, Issue 5, pp 541-552

Noether's problem for abelian extensions of cyclic $p$-groups II

Authors: Ivo M. Michailov

Abstract: Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$ automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's problem then asks whether $K(G)$ is rational (i.e., purely transcendental) over $K$. Let $p$ be any prime and let $G$ be a $p$-group of exponent $p^e$. Assume… ▽ More Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$ automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's problem then asks whether $K(G)$ is rational (i.e., purely transcendental) over $K$. Let $p$ be any prime and let $G$ be a $p$-group of exponent $p^e$. Assume also that {\rm (i)} char $K = p>0$, or {\rm (ii)} char $K \ne p$ and $K$ contains a primitive $p^e$-th root of unity. In this paper we prove that if $G$ is any $p$-group of nilpotency class 2, which has the ABC (Abelian-By-Cyclic) property, then $K(G)$ is rational over $K$. We also prove the rationality of $K(G)$ over $K$ for two 3-generator $p$-groups $G$ of arbitrary nilpotency class. △ Less

Submitted 15 September, 2013; v1 submitted 6 April, 2013; originally announced April 2013.

Comments: In this version I proved Noether's problem for all $p$-groups of nilpotency class 2, which have the ABC (Abelian-By-Cyclic) property. arXiv admin note: text overlap with arXiv:1307.0738; and text overlap with arXiv:0911.1162 by other authors

Noether's problem for abelian extensions of cyclic $p$-groups

Authors: Ivo M. Michailov

Abstract: Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$ automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's problem then asks whether $K(G)$ is rational (i.e., purely transcendental) over $K$. The first main result of this article is that $K(G)$ is rational over $K$… ▽ More Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$ automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's problem then asks whether $K(G)$ is rational (i.e., purely transcendental) over $K$. The first main result of this article is that $K(G)$ is rational over $K$ for a certain class of $p$-groups having an abelian subgoup of index $p$. The second main result is that $K(G)$ is rational over $K$ for any group of order $p^5$ or $p^6$ ($p$ is an odd prime) having an abelian normal subgroup such that its quotient group is cyclic. (In both theorems we assume that if $char K\ne p$ then $K$ contains a primitive $p^e$-th root of unity, where $p^e$ is the exponent of $G$.) △ Less

Submitted 30 January, 2013; originally announced January 2013.

Comments: arXiv admin note: text overlap with arXiv:1201.5555; and text overlap with arXiv:1201.5555, arXiv:0911.1162 by other authors

MSC Class: 14E08; 14M20; 13A50; 12F12

Journal ref: Pacific J. Math. 270 (2014) 167-189

Noether's problem for $p$-groups with an abelian subgroup of index $p$

Authors: Ivo M. Michailov

Abstract: Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$-automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's problem then asks whether $K(G)$ is rational over $K$. Let $p$ be an odd prime and let $G$ be a $p$-group of exponent $p^e$. Assume also that {\rm (i)} char… ▽ More Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$-automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's problem then asks whether $K(G)$ is rational over $K$. Let $p$ be an odd prime and let $G$ be a $p$-group of exponent $p^e$. Assume also that {\rm (i)} char $K = p>0$, or {\rm (ii)} char $K \ne p$ and $K$ contains a primitive $p^e$-th root of unity. In this paper we prove that $K(G)$ is rational over $K$ for the following two types of groups: {\rm (1)} $G$ is a finite $p$-group with an abelian normal subgroup $H$ of index $p$, such that $H$ is a direct product of normal subgroups of $G$ of the type $C_{p^b}\times (C_p)^c$ for some $b,c:1\leq b,0\leq c$; {\rm (2)} $G$ is any group of order $p^5$ from the isoclinic families with numbers $1,2,3,4,8$ and 9. △ Less

Submitted 3 September, 2013; v1 submitted 26 January, 2012; originally announced January 2012.

Comments: I added a new theorem for groups of order p^5. The paper will appear in Algebra Colloquium. arXiv admin note: text overlap with arXiv:0911.1162 by other authors

MSC Class: 12F12; 13A50; 11R32; 14E08

Galois realizability of groups of orders $p^5$ and $p^6$

Authors: Ivo Michailov Michailov

Abstract: Let $p$ be an odd prime, and let $k$ be an arbitrary field of characteristic not $p$. In this article we determine the obstructions for the realizability as Galois groups over $k$ of all groups of orders $p^5$ and $p^6$, that have an abelian quotient obtained by factoring out central subgroups of order $p$ or $p^2$. These obstructions are decomposed as products of $p$-cyclic algebras, provided tha… ▽ More Let $p$ be an odd prime, and let $k$ be an arbitrary field of characteristic not $p$. In this article we determine the obstructions for the realizability as Galois groups over $k$ of all groups of orders $p^5$ and $p^6$, that have an abelian quotient obtained by factoring out central subgroups of order $p$ or $p^2$. These obstructions are decomposed as products of $p$-cyclic algebras, provided that $k$ contains certain roots of unity. △ Less

Submitted 5 June, 2012; v1 submitted 12 January, 2012; originally announced January 2012.

Comments: In this version I corrected the statements of the main results. The paper will appear in Central European Journal of Mathematics

On realizability of $p$-groups as Galois groups

Authors: Ivo M. Michailov, Nikola P. Ziapkov

Abstract: In this article we survey and examine the realizability of $p$-groups as Galois groups over arbitrary fields. In particular we consider various cohomological criteria that lead to necessary and sufficient conditions for the realizability of such a group as a Galois group, the embedding problem (i.e., realizability over a given subextension), descriptions of such extensions, automatic realizations… ▽ More In this article we survey and examine the realizability of $p$-groups as Galois groups over arbitrary fields. In particular we consider various cohomological criteria that lead to necessary and sufficient conditions for the realizability of such a group as a Galois group, the embedding problem (i.e., realizability over a given subextension), descriptions of such extensions, automatic realizations among $p$-groups, and related topics. △ Less

Submitted 5 January, 2012; v1 submitted 7 December, 2011; originally announced December 2011.

Comments: In this version is added an example at the end of Section 6. Also, some mistakes are corrected and the references are updated

Noether's problem for central extensions of metacyclic $p$-groups

Authors: Ivo M. Michailov, Ivan S. Ivanov

Abstract: Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$ automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's problem then asks whether $K(G)$ is rational over $K$. In [M. Kang, Noether's problem for metacyclic $p$-groups, Adv. Math. 203(2005), 554-567], Kang proves th… ▽ More Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$ automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's problem then asks whether $K(G)$ is rational over $K$. In [M. Kang, Noether's problem for metacyclic $p$-groups, Adv. Math. 203(2005), 554-567], Kang proves the rationality of $K(G)$ over $K$ if $G$ is any metacyclic $p$-group and $K$ is any field containing enough roots of unity. In this paper, we give a positive answer to the Noether's problem for all central group extensions of the general metacyclic $p$-group, provided that $K$ is infinite and it contains sufficient roots of unity. △ Less

Submitted 15 September, 2011; v1 submitted 29 August, 2011; originally announced August 2011.

MSC Class: 12F12; 13A50; 11R32; 14E08

Noether's problem for the groups with a cyclic subgroup of index 4

Authors: Ming-chang Kang, Ivo M. Michailov, Jian Zhou

Abstract: Let $G$ be a finite group and $k$ be a field. Let $G$ act on the rational function field $k(x_g:g\in G)$ by $k$-automorphisms defined by $g\cdot x_h=x_{gh}$ for any $g,h\in G$. Noether's problem asks whether the fixed field $k(G)=k(x_g:g\in G)^G$ is rational (i.e. purely transcendental) over $k$. Theorem 1. If $G$ is a group of order $2^n$ ($n\ge 4$) and of exponent $2^e$ such that (i) $e\ge n-2$… ▽ More Let $G$ be a finite group and $k$ be a field. Let $G$ act on the rational function field $k(x_g:g\in G)$ by $k$-automorphisms defined by $g\cdot x_h=x_{gh}$ for any $g,h\in G$. Noether's problem asks whether the fixed field $k(G)=k(x_g:g\in G)^G$ is rational (i.e. purely transcendental) over $k$. Theorem 1. If $G$ is a group of order $2^n$ ($n\ge 4$) and of exponent $2^e$ such that (i) $e\ge n-2$ and (ii) $ζ_{2^{e-1}} \in k$, then $k(G)$ is $k$-rational. Theorem 2. Let $G$ be a group of order $4n$ where $n$ is any positive integer (it is unnecessary to assume that $n$ is a power of 2). Assume that {\rm (i)} $\fn{char}k \ne 2$, $ζ_n \in k$, and {\rm (ii)} $G$ contains an element of order $n$. Then $k(G)$ is rational over $k$, except for the case $n=2m$ and $G \simeq C_m \rtimes C_8$ where $m$ is an odd integer and the center of $G$ is of even order (note that $C_m$ is normal in $C_m \rtimes C_8$) ; for the exceptional case, $k(G)$ is rational over $k$ if and only if at least one of $-1, 2, -2$ belongs to $(k^{\times})^2$. △ Less

Submitted 16 August, 2011; originally announced August 2011.

Comments: arXiv admin note: incorporates virtually all of arXiv:1009.2299

MSC Class: 13A50

Noether's problem for some 2-groups

Authors: Ming-chang Kang, Ivo M. Michailov, Jian Zhou

Abstract: Let $G$ be a finite group and $k$ be a field. Let $G$ act on the rational function field $k(x_g:g\in G)$ by $k$-automorphisms defined by $g\cdot x_h=x_{gh}$ for any $g,h\in G$. Noether's problem asks whether the fixed field $k(G)=k(x_g:g\in G)^G$ is rational (i.e. purely transcendental) over $k$. We will prove that, if $G$ is a group of order $2^n$ ($n\ge 4$) and of exponent $2^e$ such that (i)… ▽ More Let $G$ be a finite group and $k$ be a field. Let $G$ act on the rational function field $k(x_g:g\in G)$ by $k$-automorphisms defined by $g\cdot x_h=x_{gh}$ for any $g,h\in G$. Noether's problem asks whether the fixed field $k(G)=k(x_g:g\in G)^G$ is rational (i.e. purely transcendental) over $k$. We will prove that, if $G$ is a group of order $2^n$ ($n\ge 4$) and of exponent $2^e$ such that (i) $e\ge n-2$ and (ii) $ζ_{2^{e-1}} \in k$, then $k(G)$ is $k$-rational.13A50,14E08,14M20,12F12 △ Less

Submitted 5 September, 2011; v1 submitted 13 September, 2010; originally announced September 2010.

Comments: The content of this paper became part of a new paper "Noether's problem for the groups with a cyclic subgroup of index 4" which has been posted in arXiv

MSC Class: 13A50; 14E08; 14M20; 12F12