All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 49 Next

Displaying 961 – 980 of 984

Showing per page

Automorphisms of metacyclic groups

Haimiao Chen, Yueshan Xiong, Zhongjian Zhu (2018)

Czechoslovak Mathematical Journal

A metacyclic group H can be presented as 〈 α , β : α n = 1 , β m = α t , β α β - 1 = α r 〉 for some n , m , t , r . Each endomorphism σ of H is determined by σ ( α ) = α x 1 β y 1 , σ ( β ) = α x 2 β y 2 for some integers x 1 , x 2 , y 1 , y 2 . We give sufficient and necessary conditions on x 1 , x 2 , y 1 , y 2 for σ to be an automorphism.

Automorphisms of models of bounded arithmetic

Ali Enayat (2006)

Fundamenta Mathematicae

We establish the following model-theoretic characterization of the fragment IΔ₀ + Exp + BΣ₁ of Peano arithmetic in terms of fixed points of automorphisms of models of bounded arithmetic (the fragment IΔ₀ of Peano arithmetic with induction limited to Δ₀-formulae). Theorem A. The following two conditions are equivalent for a countable model of the language of arithmetic: (a) satisfies IΔ₀ + BΣ₁ + Exp; (b) = I f i x ( j ) for some nontrivial automorphism j of an end extension of that satisfies IΔ₀. Here I f i x ( j ) is the...

Currently displaying 961 – 980 of 984