Automorphisms for Skew PBW Extensions and Skew Quantum Polynomial Rings

In this work, I study the automorphisms of skew PBW extensions and skew quantum polynomials. I use Artamonov's works as reference for getting the principal results about automorphisms for generic skew PBW extensions and generic skew quantum polynomials. In general, if I have an endomorphism on a generic skew PBW extension and there are some x _i , x _j , x _u such that the endomorphism is not zero on these elements and the principal coefficients are invertible, then endomorphisms act over x _i as a _i x _i for some a _i in the ring of coefficients. Of course, this is valid for quantum polynomial rings, with r = 0, as such Artamonov shows in his work. We use this result for giving some more general results for skew PBW extensions, using filtred-graded techniques. Finally, I use localization to characterize some class the endomorphisms and automorphisms for skew PBW extensions and skew quantum polynomials over Ore domains.     

The Invariant Fields of the Sylow Groups of Classical Groups in the Natural Characteristic

Let X be any finite classical group defined over a finite field of characteristic p > 0. In this article, we determine the fields of rational invariants for the Sylow p-subgroups of X, acting on the natural module. In particular, we prove that these fields are generated by orbit products of variables and certain invariant polynomials which are images under Steenrod operations, applied to the respective invariant linear forms defining X.     

On Some Automorphisms of Orthogonal Groups in Odd Characteristic

In this paper, it is proved that the simple orthogonal groups O _2n+1(q) and O _2n ^± (q) (where q is odd) cannot be automorphism groups of finite left distributive quasigroups. This is a particular case of the conjecture stating that the automorphism group of a left distributive quasigroup is solvable. To complete the proof of the conjecture, one must test all finite groups.     

具不变集的平面多项式系统

本文证明了以y＝xm为不变集的平面n次多项式系统（m＞n）不会有极限环，但可以存在奇闭轨．     

On a Field-Theoretic Invariant for Extensions of Commutative Rings

Abstract

If R ? T is an extension of (commutative integral) domains, Λ(T/R) is defined as the supremum of the lengths of chains of intermediate fields in the extension k _R (Q ∩ R) ? k _T (Q), where Q runs over the prime ideals of T. The invariant Λ(T/R) is determined in case R and T are adjacent rings and in case Spec(R) = Spec(T) as sets. It is proved that if R is a domain with integral closure R′, then Λ(T/R) = 0 for all overrings T of R if and only if R′ is a Prüfer domain such that Λ(R′/R) = 0. If R ? T are domains such that the canonical map Spec(T) → Spec(R) is a homeomorphism (in the Zariski topology), then Λ(T/R) is bounded above by the supremum of the lengths of chains of rings intermediate between R and T. Examples are given to illustrate the sharpness of the results.     

X-Inner Automorphisms,Automorphisms, and Isomorphisms of Skew Polynomial Rings

Abstract

In this paper, we examine the X-inner automorphisms, automorphisms, and isomorphisms of skew polynomial rings of the form K[x][y;δ], where K is a field of characteristic 0 and δ is a derivation of K [x] such that x ^δ is a polynomial of degree ≥ 1. We 1.  determine the group of X-inner automorphisms of K [x][ y;δ],

2.  analyze the structure of the group of automorphisms of K [x][ y;δ], and

3.  examine the isomorphism classes of skew polynomial rings of the form K [x][ y;δ].

We also provide several examples which indicate the importance of the base field in computing the X-inner automorphisms, automorphisms, and isomorphism classes of K [x][ y;δ].     

On the Nontriviality of the Polynomial Invariant of Two-Component Link

ＯｎｔｈｅＮｏｎｔｒｉｖｉａｌｉｔｙｏｆｔｈｅＰｏｌｙｎｏｍｉａｌＩｎｖａｒｉａｎｔｏｆＴｗｏ－ＣｏｍｐｏｎｅｎｔＬｉｎｋ￥ＷａｎｇＸｉｎｇｙｕ；ＺｈａｏＧｕａｎｇｆｅｎｇ（ＨｅｎａｎＵｎｉｖｅｒｓｉｔｙ，Ｋａｉｆｅｎｇ，Ｈｅｎａｎ，４７５００１）（...     

Cyclotomic Polynomials and Finite Automorphisms of Groups

We introduce minimal polynomials for finite automorphisms of commutative groups and relate them to the exponent of the fixed points and to the reducibility of the group. Some results can be extended to the noncommutative case.     

粗糙不变子群的若干性质与粗糙商群

讨论粗糙集理论在代数系统——群上的应用。基于有关粗糙群、粗糙子群和粗糙不变子群的基本概念以及粗糙子群的一些性质和有关粗糙不变子群的定理，讨论了粗糙不变子群的若干性质和粗糙商群的概念，并给出了这些性质的严格证明。     

Defining Multiplication in Some Additive Expansions of Polynomial Rings

Adapting a result of R. Villemaire on expansions of Presburger arithmetic, we show how to define multiplication in some expansions of the additive reduct of certain Euclidean rings. In particular, this applies to polynomial rings over a finite field.     

可换环上Abel李代数的全形的导子和自同构

决定了可换环上Abel李代数的全形的导子代数和自同构群.     

Automorphisms and Derivations of Certain Solvable Lie Algebras Over Commutative Rings

Let L be a finite-dimensional complex simple Lie algebra, L _? be the ?-span of a Chevalley basis of L, and L _R  = R ?_? L _? be a Chevalley algebra of type L over a commutative ring R with identity. Let ?(R) be the solvable subalgebra of L _R spanned by the basis elements of the maximal toral subalgebra and the root vectors associated with positive roots. In this article, we prove that under some conditions for R, any automorphism of ?(R) is uniquely decomposed as a product of a graph automorphism, a diagonal automorphism and an inner automorphism, and any derivation of ?(R) is uniquely decomposed as a sum of an inner derivation induced by root vectors and a diagonal derivation. Correspondingly, the automorphism group and the derivation algebra of ?(R) are determined.     

Commuting Derivations and Automorphisms of Certain Nilpotent Lie Algebras Over Commutative Rings

Let L be a finite-dimensional complex simple Lie algebra, L _? be the ?-span of a Chevalley basis of L, and L _R  = R ?_? L _? be a Chevalley algebra of type L over a commutative ring R. Let 𝒩(R) be the nilpotent subalgebra of L _R spanned by the root vectors associated with positive roots. A map ? of 𝒩(R) is called commuting if [?(x), x] = 0 for all x ∈ 𝒩(R). In this article, we prove that under some conditions for R, if Φ is not of type A ₂, then a derivation (resp., an automorphism) of 𝒩(R) is commuting if and only if it is a central derivation (resp., automorphism), and if Φ is of type A ₂, then a derivation (resp., an automorphism) of 𝒩(R) is commuting if and only if it is a sum (resp., a product) of a graded diagonal derivation (resp., automorphism) and a central derivation (resp., automorphism).     

项链李代数的同构与同构群

研究了一些特殊箭图的同构,这些特殊箭图包括垂直叠加的箭图和水平叠加的箭图. 跟以前的研究方法相比, 文中的研究方法是不同的和新颖的, 即利用指标数组把复杂的李运算转换为多重指标集的运算.     

Polynomial Interpolation of the Discrete Logarithm

Recently, Coppersmith and Shparlinski proved several results on the interpolation of the discrete logarithm in the finite prime field by polynomials modulo p and modulo p-1, respectively. In this paper most of these results are extended to arbitrary .     

Polynomial Invariants of Certain Pseudo-Symplectic Groups Over Finite Fields of Characteristic Two

Let F _q be a finite field of characteristic two, S be a nonsingular non-alternate symmetric matrix over F _q and Ps _n (F _q , S) be the associated pseudo-symplectic group. Let Ps _n (F _q , S) act linearly on the polynomial ring F _q [x ₁,…, x _n ]. In this note, we find an explicit set of generators of the ring of invariants of Ps _n (F _q , S) for n = 2, 4 and 2ν +1. In particular, the results assert that the ring of invariants of Ps ₄(F _q , S) is not a polynomial algebra but is an example of hypersurface and the ring of invariants of Ps _2ν+1(F _q , S) is a complete intersection.     

Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts

Let M be a countable recursively saturated model of PA and H an open subgroup of G = Aut(M). We prove that I(H) = sup {b ∈ M : (?? ∈ G\H) ?u < b fu = u and J(H) = inf{b ∈ M H} may be invariant, i. e. fixed by all automorphisms of M.     

The structure of Leavitt path algebras and the Invariant Basis Number property

In this paper, we provide the structure of the Leavitt path algebra of a finite graph via some step-by-step process of source eliminations, and restate Kanuni and Özaydin's nice criterion for Leavitt path algebras of finite graphs having Invariant Basis Number via matrix-theoretic language. Consequently, we give a matrix-theoretic criterion for the Leavitt path algebra of a finite graph having Invariant Basis Number in terms of a sequence of source eliminations. Using these results, we show certain classes of finite graphs for which Leavitt path algebras have Invariant Basis Number, as well as investigate the Invariant Basis Number property of Leavitt path algebras of certain Cayley graphs of finite groups.