Related papers: Primitive Element Theorem for Fields with Commutin…
We study the various term operations on the set of skew primitive elements of Hopf algebras, generated by skew primitive semi-invariants of an Abelian group of grouplike elements. All 1-linear binary operations are described and trilinear…
We study endomorphisms of a free group of finite rank by means of their action on specific sets of elements. In particular, we prove that every endomorphism of the free group of rank 2 which preserves an automorphic orbit (i.e., acts ``like…
Let G be a finite group. We explore the model theoretic properties of the class of differential fields of characteristic zero in m commuting derivations equipped with a G-action by differential field automorphisms. In the language of…
This paper proves a commutative algebraic extension of a generalized Skolem-Mahler-Lech theorem due to the first author. Let $A$ be a finitely generated commutative $K$-algebra over a field of characteristic $0$, and let $\sigma$ be a…
Given a prime power $q$ and a positive integer $n$, let $\mathbb{F}_{q^{n}}$ denote the finite field with $q^n$ elements. Also let $a,b$ be arbitrary members of the ground field $\mathbb{F}_{q}$. We investigate the existence of a non-zero…
Electromagnetic fields of an accelerated charge are derived from the first principles using Coulomb's law and the relativistic transformations. The electric and magnetic fields are derived first for an instantaneous rest frame of the…
Feit and Fine derived a generating function for the number of ordered pairs of commuting n by n matrices over the finite field F_q. This has been reproved and studied by Bryan and Morrison from the viewpoint of motivic Donaldson-Thomas…
The problem of expressing an element of K_2(F) in a more explicit form gives rise to many works. To avoid a restrictive condition in a work of Tate, Browkin considered cyclotomic elements as the candidate for the element with an explicit…
Let $\mathbb{F}_{q^n}$ be the extension of the field $\mathbb{F}_q$ of degree n, where $q$ is power of prime $p$, i.e $q=p^k$, where k is a positive integer. In this paper, we provide sufficient condition for the existence of a primitive…
The commutation principle of Ramirez, Seeger, and Sossa proved in the setting of Euclidean Jordan algebras says that when the sum of a real valued function $h$ and a spectral function $\Phi$ is minimized/maximized over a spectral set $E$,…
Let $X$ be a right Hilbert module over a $C^*$-algebra $A$ equipped with the canonical operator space structure. We define an elementary operator on $X$ as a map $\phi : X \to X$ for which there exists a finite number of elements $u_i$ in…
For $q=3^r$ ($r>0$), denote by $\mathbb{F}_q$ the finite field of order $q$ and for a positive integer $m\geq2$, let $\mathbb{F}_{q^m}$ be its extension field of degree $m$. We establish a sufficient condition for existence of a primitive…
In this version small mistakes are corrected and the exposition is changed as suggested by the referee (to appear in Canadian Journal of Mathematics). The first main result of the paper is a criterion for a partially commutative group $\GG$…
In spite of the analogies between Q_p and F_p((t)) which became evident through the work of Ax and Kochen, an adaptation of the complete recursive axiom system given by them for Q_p to the case of F_p((t)) does not render a complete axiom…
For each positive integer $n$, let $\mathbb F_{q^n}$ be the unique $n$-degree extension of the finite field $\mathbb F_q$ with $q$ elements, where $q$ is a prime power. It is known that for arbitrary $q$ and $n$, there exists an element…
We introduce a notion of isolated units, elementary particles or more general physical phenomena that do not significantly affect their surrounding environment, and we build a primitive ontology to describe their evolution and interaction.…
The cohomology of the degree-$n$ general linear group over a finite field of characteristic $p$, with coefficients also in characteristic $p$, remains poorly understood. For example, the lowest degree previously known to contain nontrivial…
An element $\alpha \in \mathbb F_{q^n}$ is \emph{normal} if $\mathcal{B} = \{\alpha, \alpha^q, \ldots, \alpha^{q^{n-1}}\}$ forms a basis of $\mathbb F_{q^n}$ as a vector space over $\mathbb F_{q}$; in this case, $\mathcal{B}$ is a normal…
With $\Fq$ the finite field of $q$ elements, we investigate the following question. If $\gamma$ generates $\Fqn$ over $\Fq$ and $\beta$ is a non-zero element of $\Fqn$, is there always an $a \in \Fq$ such that $\beta(\gamma + a)$ is a…
Let $r,n>1$ be integers and $q$ be any prime power $q$ such that $r\mid q^n-1$. We say that the extension $\mathbb{F}_{q^n}/\mathbb{F}_q$ possesses the line property for $r$-primitive elements property if, for every…