Abstract
All considered groups are torsion or do not contain infinitely generated subgroups. If such a group G acts transitively on a connected algebra A, then all elements of A have the same stabilizer, so this stabilizer is a normal subgroup (it is also shown that these facts are not true for arbitrary groups). Hence the automorphism group Aut(A) is a homomorphic image of G. In particular, if the action of G is, in addition, faithful, then G is isomorphic to Aut(A). By these results we first obtain that for each (not necessarily connected) algebra A, if all of its Aut(A)-orbits are connected, then Aut(A) is a subdirect product of automorphism groups of these orbits. Secondly, connected components of Aut(A)-orbits have automorphism extension property.
Next, we show that if A is a connected algebra such that Aut(A) acts transitively on it, then the group structure of Aut(A) may be transported on A such that the left multiplications are all automorphisms of A and the right multiplications are all unary term operations of A. Hence all the unary term operations of A are bijective, so they generate a subgroup of the group of all bijections of the carrier of A. It is shown that this group is anti-isomorphic to Aut(A). Thus the Birkhoff’s construction of an algebra with a given group of automorphisms is unique in some sense when restricted to groups we consider here.
The Birkhoff’s construction can be slightly modified so as to obtain a smaller set of operations. In fact, it is enough to take the right multiplications by generators. Moreover, we show that this is the best possible lower bound for the number of unary operations in the case of groups considered here. If we admit non-unary operations, then for finite and countable groups we can reduce the number of operations to one binary operation. On the other hand, if A is a connected algebra such that Aut(A) is torsion and acts on A transitively, then each element generates A. Hence if A is such an algebra with an uncountable group Aut(A), then the cardinality of the set of operations of A is greater or equal than the cardinality of Aut(A).
Acknowledgement
I would like to thank the anonymous referee for useful comments that helped to improve the final version of the paper.
References
[1] Bartol, W.—Rosselló, F.—Rudak, L.: Lectures on Algebras, Equations and Partiality. Technical report B–006, Univ. Illes Balears, Dept. Ciencies Mat. Inf., ed. RossellóF., 1992.Search in Google Scholar
[2] Birkhoff, G.: On groups of automorphisms, Rev. Un. Mat. Argentina 11 (1946), 155–157.Search in Google Scholar
[3] Burmeister, P.: A Model Theoretic Oriented Approach To Partial Algebras. Math. Research Band 32, Akademie Verlag, Berlin, 1986.10.1515/9783112720875Search in Google Scholar
[4] Burris, S.—Sankapanavar, H. P.: A Course in Universal Algebra. Grad. Texts in Math. 78, Springer-Verlag, New York-Berlin, 1981.10.1007/978-1-4613-8130-3Search in Google Scholar
[5] Frucht, R.: On the construction of partially ordered systems with a given group of automorphisms, Amer. Math. J. 72 (1950), 195–199.10.2307/2372146Search in Google Scholar
[6] Grátzer, G.: Universal Algebra, Springer-Verlag, New York, 1979.Search in Google Scholar
[7] Jónsson, B.: Topics in Universal Algebra. Lecture Notes in Math. 250, Springer-Verlag, 1972.10.1007/BFb0058648Search in Google Scholar
[8] Pióro, K.: On some non-obvious connections between graphs and unary partial algebras, Czechoslovak Math. J. 50(125) (2000), 295–320.10.1023/A:1022418818272Search in Google Scholar
[9] Robinson, D. J. S.: A Course in the Theory of Groups. Grad. Texts in Math. 80, Springer-Verlag, New York, 1996.Search in Google Scholar
[10] Rotman, J. J.: An Introduction to the Theory of Groups. Grad. Texts in Math. 148, Springer-Verlag, New York, 1995.10.1007/978-1-4612-4176-8Search in Google Scholar
© 2017 Mathematical Institute Slovak Academy of Sciences
Articles in the same Issue
- Outer measure on effect algebras
- Hamiltonian ordered algebras and congruence extension
- Automorphism groups with some finiteness conditions
- Only finitely many Tribonacci Diophantine triples exist
- Abundant semigroups with a *-normal idempotent
- Stability results for fractional differential equations with state-dependent delay and not instantaneous impulses
- Monotonicity results for delta fractional differences revisited
- M-Cantorvals of Ferens type
- Comparison of ψ-porous topologies
- On certain generalized matrix methods of convergence in (ℓ)-groups
- Some applications of first-order differential subordinations
- Hankel determinant for a class of analytic functions involving conical domains defined by subordination
- Nonoscillation and exponential stability of the second order delay differential equation with damping
- Positive solutions of perturbed nonlinear hammerstein integral equation
- Ricci solitons on 3-dimensional cosymplectic manifolds
- Probabilistic uniformization and probabilistic metrization of probabilistic convergence groups
- The super socle of the ring of continuous functions
- On the internal approach to differential equations 2. The controllability structure
- Finiteness of the discrete spectrum in a three-body system with point interaction
- On a subclass of Bazilevic functions
Articles in the same Issue
- Outer measure on effect algebras
- Hamiltonian ordered algebras and congruence extension
- Automorphism groups with some finiteness conditions
- Only finitely many Tribonacci Diophantine triples exist
- Abundant semigroups with a *-normal idempotent
- Stability results for fractional differential equations with state-dependent delay and not instantaneous impulses
- Monotonicity results for delta fractional differences revisited
- M-Cantorvals of Ferens type
- Comparison of ψ-porous topologies
- On certain generalized matrix methods of convergence in (ℓ)-groups
- Some applications of first-order differential subordinations
- Hankel determinant for a class of analytic functions involving conical domains defined by subordination
- Nonoscillation and exponential stability of the second order delay differential equation with damping
- Positive solutions of perturbed nonlinear hammerstein integral equation
- Ricci solitons on 3-dimensional cosymplectic manifolds
- Probabilistic uniformization and probabilistic metrization of probabilistic convergence groups
- The super socle of the ring of continuous functions
- On the internal approach to differential equations 2. The controllability structure
- Finiteness of the discrete spectrum in a three-body system with point interaction
- On a subclass of Bazilevic functions