Some Properties of Euler’s Function and of the Function τ and Their Generalizations in Algebraic Number Fields

In this paper, we find some inequalities which involve Euler’s function, extended Euler’s function, the function τ, and the generalized function τ in algebraic number fields.

Function Theories in Cayley-Dickson Algebras and Number Theory

In the recent years a lot of effort has been made to extend the theory of hyperholomorphic functions from the setting of associative Clifford algebras to non-associative Cayley-Dickson algebras, starting with the octonions.An important question is whether there appear really essentially different features in the treatment with Cayley-Dickson algebras that cannot be handled in the Clifford analysis setting. Here we give one concrete example: Cayley-Dickson algebras admit the construction of direct analogues of so-called CM-lattices, in particular, lattices that are closed under multiplication.Canonical examples are lattices with components from the algebraic number fields $$\mathbb{Q}{[\sqrt{m1}, \ldots \sqrt{mk}]}$$ Q [ m 1 , … mk ] . Note that the multiplication of two non-integer lattice paravectors does not give anymore a lattice paravector in the Clifford algebra. In this paper we exploit the tools of octonionic function theory to set up an algebraic relation between different octonionic generalized elliptic functions which give rise to octonionic elliptic curves. We present explicit formulas for the trace of the octonionic CM-division values.

Some Properties of Extended Euler’s Function and Extended Dedekind’s Function

In this paper, we find some properties of Euler’s function and Dedekind’s function. We also generalize these results, from an algebraic point of view, for extended Euler’s function and extended Dedekind’s function, in algebraic number fields. Additionally, some known inequalities involving Euler’s function and Dedekind’s function, we generalize them for extended Euler’s function and extended Dedekind’s function, working in a ring of integers of algebraic number fields.

Renamings and a Condition-free Formalization of Kronecker’s Construction

Summary In [7], [9], [10] we presented a formalization of Kronecker’s construction of a field extension E for a field F in which a given polynomial p ∈ F [X]\F has a root [5], [6], [3]. A drawback of our formalization was that it works only for polynomial-disjoint fields, that is for fields F with F ∩ F [X] = ∅. The main purpose of Kronecker’s construction is that by induction one gets a field extension of F in which p splits into linear factors. For our formalization this means that the constructed field extension E again has to be polynomial-disjoint. In this article, by means of Mizar system [2], [1], we first analyze whether our formalization can be extended that way. Using the field of polynomials over F with degree smaller than the degree of p to construct the field extension E does not work: In this case E is polynomial-disjoint if and only if p is linear. Using F [X]/<p> one can show that for F = ℚ and F = ℤ n the constructed field extension E is again polynomial-disjoint, so that in particular algebraic number fields can be handled. For the general case we then introduce renamings of sets X as injective functions f with dom(f) = X and rng(f) ∩ (X ∪ Z) = ∅ for an arbitrary set Z. This, finally, allows to construct a field extension E of an arbitrary field F in which a given polynomial p ∈ F [X]\F splits into linear factors. Note, however, that to prove the existence of renamings we had to rely on the axiom of choice.