Free left n-dinilpotent doppelsemigroups

A doppelsemigroup is an algebraic system consisting of a set with two binary associative operations satisfying certain equations. Commutative dimonoids in the sense of Loday are examples of doppelsemigroups and two interassociative semigroups give rise to a doppelsemigroup. We introduce left (right) n-dinilpotent doppelsemigroups which are analogs of left (right) nilpotent semigroups of rank n considered by Schein. A free left (right) n-dinilpotent doppelsemigroup is constructed and the least left (right) n-dinilpotent congruence on a free doppelsemigroup is characterized. We also establish that the semigroups of the free left (right) n-dinilpotent doppelsemigroup are isomorphic and the automorphism group of the free left (right) n-dinilpotent doppelsemigroup is isomorphic to the symmetric group.     

Free products of doppelsemigroups

In this paper, we consider doppelsemigroups, which are sets with two binary associative operations satisfying additional axioms. Commutative dimonoids in the sense of Loday are examples of doppelsemigroups and two interassociative semigroups give rise to a doppelsemigroup. The main result of this paper is the construction of the free product of doppelsemigroups. We also construct the free doppelsemigroup, the free commutative doppelsemigroup, the free n-nilpotent doppelsemigroup, and characterize the least commutative congruence and the least n-nilpotent congruence on a free doppelsemigroup.     

Dimonoids

It is proved that a system of axioms for a dimonoid is independent and Cayley’s theorem for semigroups has an analog in the class of dimonoids. The least separative congruence is constructed on an arbitrary dimonoid endowed with a commutative operation. It is shown that an appropriate quotient dimonoid is a commutative separative semigroup. The least separative congruence on a free commutative dimonoid is characterized. It is stated that each dimonoid with a commutative operation is a semilattice of Archimedean subdimonoids, each dimonoid with a commutative periodic semigroup is a semilattice of unipotent subdimonoids, and each dimonoid with a commutative operation is a semilattice of a-connected subdimonoids. Various dimonoid constructions are presented.     

Certain congruences on free trioids

Loday and Ronco introduced the notion of a trioid and constructed the free trioid of rank 1. This paper is devoted to the study of congruences on trioids. We characterize the least dimonoid congruences and the least semigroup congruence on the free (commutative, rectangular) trioid.     

Geometry for palindromic automorphism groups of free groups

We examine the palindromic automorphism group , of a free group F _n , a group first defined by Collins in [5] which is related to hyperelliptic involutions of mapping class groups, congruence subgroups of , and symmetric automorphism groups of free groups. Cohomological properties of the group are explored by looking at a contractible space on which acts properly with finite quotient. Our results answer some conjectures of Collins and provide a few striking results about the cohomology of , such as that its rational cohomology is zero at the vcd. Received: January 17, 2000.     

Maximal and minimal prime ideals of incidence algebras

Abstract

In this paper we study the relationship between some homological properties such as the weak and the global dimension, the strong n-coherence, and the (n, d)-property, where n and d are two integers, of a commutative ring and its subrings retract. A special application is the transfer of these properties from a commutative ring to its fixed subring with respect to a subgroup of its group of automorphisms. It concludes with a discussion of the scopes and limits of our results.     

Limits of commutative triangular systems on simply connected step 2-nilpotent Lie groups

We prove that on simply connected step 2-nilpotent Lie groupsG any limit of a commutative infinitesimals triangular system of probability measures which are either all symmetric or supported by some discrete subgroupH is infinitely divisible onG resp.H.     

The Polycyclic Monoids P n and the Thompson Groups V n,1

We construct what we call the strong orthogonal completion C _n of the polycyclic monoid P _n on n generators. The inverse monoid C _n is congruence free and its group of units is the Thompson group V _n,1. Copies of C _n can be constructed from partitions of sets into n blocks each block having the same cardinality as the underlying set.     

Generalized Shuffles Related to Nijenhuis and TD-Algebras

Shuffle type products are well known in mathematics and physics. They are intimately related to Loday's dendriform algebras and were extensively used to give explicit constructions of free Rota–Baxter algebras. In the literature there exist at least two other Rota–Baxter type algebras, namely, the Nijenhuis algebra and the so-called TD-algebra. The explicit construction of the free unital commutative Nijenhuis algebra uses a modified quasi-shuffle product, called the right-shift shuffle. We show that another modification of the quasi-shuffle, the so-called left-shift shuffle, can be used to give an explicit construction of the free unital commutative TD-algebra. We explore some basic properties of TD-operators. Our construction is related to Loday's unital commutative tridendriform algebra, including the involutive case. The concept of Rota–Baxter, Nijenhuis and TD-bialgebras is introduced at the end, and we show that any commutative bialgebra provides such objects.     

Primary Decompositions in Varieties of Commutative Diassociative Loops

The decomposition theorem for torsion abelian groups holds analogously for torsion commutative diassociative loops. With this theorem in mind, we investigate commutative diassociative loops satisfying the additional condition (trivially satisfied in the abelian group case) that all nth powers are central, for a fixed n. For n = 2, we get precisely commutative C loops. For n = 3, a prominent variety is that of commutative Moufang loops.

Many analogies between commutative C and Moufang loops have been noted in the literature, often obtained by interchanging the role of the primes 2 and 3. We show that the correct encompassing variety for these two classes of loops is the variety of commutative RIF loops. In particular, when Q is a commutative RIF loop: all squares in Q are Moufang elements, all cubes are C elements, Moufang elements of Q form a normal subloop M ₀(Q) such that Q/M ₀(Q) is a C loop of exponent 2 (a Steiner loop), C elements of L form a normal subloop C ₀(Q) such that Q/C ₀(Q) is a Moufang loop of exponent 3. Since squares (resp., cubes) are central in commutative C (resp., Moufang) loops, it follows that Q modulo its center is of exponent 6. Returning to the decomposition theorem, we find that every torsion, commutative RIF loop is a direct product of a C 2-loop, a Moufang 3-loop, and an abelian group with each element of order prime to 6.

We also discuss the definition of Moufang elements and the quasigroups associated with commutative RIF loops.     

Constructive Matrix and Orderable Groups

We study into the relationship between constructivizations of an associative commutative ring K with unity and constructivizations of matrix groups GL _n(K) (general), SL _n(K) (special), and UT _n(K) (unitriangular) over K. It is proved that for n 3, a corresponding group is constructible iff so is K. We also look at constructivizations of ordered groups. It turns out that a torsion-free constructible Abelian group is orderly constructible. It is stated that the unitriangular matrix group UT _n(K) over an orderly constructible commutative associative ring K is itself orderly constructible. A similar statement holds also for finitely generated nilpotent groups, and countable free nilpotent groups.     

On Schur's Q-functions and the Primitive Idempotents of a Commutative Hecke Algebra

Let B _n denote the centralizer of a fixed-point free involution in the symmetric group S _2n . Each of the four one-dimensional representations of B _n induces a multiplicity-free representation of S _2n , and thus the corresponding Hecke algebra is commutative in each case. We prove that in two of the cases, the primitive idempotents can be obtained from the power-sum expansion of Schur's Q-functions, from which follows the surprising corollary that the character tables of these two Hecke algebras are, aside from scalar multiples, the same as the nontrivial part of the character table of the spin representations of S _n.     

Some Properties of Bell Groups

For any integer n ≠ 0,1, a group G is said to be “n-Bell” if it satisfies the identity [x ⁿ ,y] = [x,y ⁿ ]. It is known that if G is an n-Bell group, then the factor group G/Z ₂(G) has finite exponent dividing 12n ⁵(n ? 1)⁵. In this article we show that this bound can be improved. Moreover, we prove that every n-Bell group is n-nilpotent; consequently, using results of Baer on finite n-nilpotent groups, we give the structure of locally finite n-Bell groups. Finally, we are concerned with locally graded n-Bell groups for special values of n.     

Computation of the Characteristic Polynomial of an Endomorphism of a Free Module

We present two methods of computing the characteristic polynomial of an endomorphism of a free module over a commutative domain. The methods require O(n ³) and O(n ^log7) ring operations, respectively. Bibliography: 6 titles.     

On lattices embeddable into subsemigroup lattices. III: Nilpotent semigroups

We prove that the class of the lattices embeddable into subsemigroup lattices of n-nilpotent semigroups is a finitely based variety for all n < ω. Repnitski? showed that each lattice embeds into the subsemigroup lattice of a commutative nilsemigroup of index 2. In this proof he used a result of Bredikhin and Schein which states that each lattice embeds into the suborder lattices of an appropriate order. We give a direct proof of the Repnitski? result not appealing to the Bredikhin-Schein theorem, so answering a question in a book by Shevrin and Ovsyannikov.     

Solvable Subgroups of Out(F n ) are Virtually Abelian

Let F _n be the free group of rank n, let Aut(F _n ) be its automorphism group and let Out(F _n ) be its outer automorphism group. We show that every solvable subgroup of Out(F _n ) has a finite index subgroup that is finitely generated and free Abelian. We also show that every Abelian subgroup of Out(F _n ) has a finite index subgroup that lifts to Aut(F _n ).     

Anti-tori in Square Complex Groups

An anti-torus is a subgroup 〈a,b 〉 in the fundamental group of a compact non-positively curved space X, acting in a specific way on the universal covering space X such that a and b do not have any commuting nontrivial powers. We construct and investigate anti-tori in a class of commutative transitive fundamental groups of finite square complexes, in particular for the groups Γ_p,l originally studied by Mozes [Israel J. Math. 90(1–3) (1995), 253–294]. It turns out that anti-tori in Γ_p,l directly correspond to non commuting pairs of Hamilton quaternions. Moreover, free anti-tori in Γ_p,l are related to free groups generated by two integer quaternions, and also to free subgroups of . As an application, we prove that the multiplicative group generated by the two quaternions 1+2i and 1+4k is not free.     

Groups elementarily equivalent to a free 2-nilpotent group of finite rank

We give a characterization of groups elementarily equivalent to a free 2-nilpotent group of finite rank. Translated from Algebra i Logika, Vol. 48, No. 2, pp. 203–244, March–April, 2009.     

The Euler Class Group of a Noetherian Ring

For a commutative Noetherian ring A of finite Krull dimension containing the field of rational numbers, an Abelian group called the Euler class group is defined. An element of this group is attached to a projective A-module of rank = dim A and it is shown that the vanishing of this element is necessary and sufficient for P to split off a free summand of rank 1. As one of the applications of this result, it is shown that for any n-dimensional real affine domain, a projective module of rank n (with trivial determinant), all of whose generic sections have n generated vanishing ideals, necessarily splits off a free direct summand of rank 1.