Displaying 1001 – 1020 of 10155

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...

Axiomatization of quasigroups

Jonathan D.H. Smith (2006)

Discussiones Mathematicae - General Algebra and Applications

Quasigroups were originally described combinatorially, in terms of existence and uniqueness conditions on the solutions to certain equations. Evans introduced a universal-algebraic characterization, as algebras with three binary operations satisfying four identities. Now, quasigroups are redefined as heterogeneous algebras, satisfying just two conditions respectively known as hypercommutativity and hypercancellativity.

Currently displaying 1001 – 1020 of 10155