Formal conserved quantities for isothermic surfaces

Isothermic surfaces in \(S^n\) are characterised by the existence of a pencil \(\nabla ^t\) of flat connections. Such a surface is special of type \(d\) if there is a family \(p(t)\) of \(\nabla ^t\) -parallel sections whose dependence on the spectral parameter \(t\) is polynomial of degree \(d\) . We prove that any isothermic surface admits a family of \(\nabla ^t\) -parallel sections which is a formal Laurent series in \(t\) . As an application, we give conformally invariant conditions for an isothermic surface in \(S^3\) to be special.     

Transformations of discrete isothermic nets and discrete cmc-1 surfaces in hyperbolic space

Using a quaternionic calculus, the Christoffel, Darboux, Goursat, and spectral transformations for discrete isothermic nets are described, with their interrelations. The Darboux and spectral transformations are used to define discrete analogs for cmc-1 surfaces in hyperbolic space and to obtain a discrete version of Bryant's Weierstrass type representation. Received: 13 September 1999 / Revised version: 27 March 2000     

Algorithms for permutability in finite groups

In this paper we describe some algorithms to identify permutable and Sylow-permutable subgroups of finite groups, Dedekind and Iwasawa finite groups, and finite T-groups (groups in which normality is transitive), PT-groups (groups in which permutability is transitive), and PST-groups (groups in which Sylow permutability is transitive). These algorithms have been implemented in a package for the computer algebra system GAP.     

Bianchi surfaces in R3 and deformation of hyperelliptic curves

New solutions of the problem of describing hyperbolic surfaces of specified negative Gaussian curvature are obtained. The answer is given in terms of 9 functions.Translated from Matematicheskie Zametki, Vol. 52, No. 3, pp. 78–88, September, 1992.The first author (D. A. K.) wishes to express his appreciation to A. I. Bobenko for useful discussion.     

Stationary isothermic surfaces and some characterizations of the hyperplane in the N-dimensional Euclidean space

We consider the entire graph S of a continuous real function over RN−1 with N?3. Let Ω be a domain in RN with S as a boundary. Consider in Ω the heat flow with initial temperature 0 and boundary temperature 1. The problem we consider is to characterize S in such a way that there exists a stationary isothermic surface in Ω. We show that S must be a hyperplane under some general conditions on S. This is related to Liouville or Bernstein-type theorems for some elliptic Monge-Ampère-type equation.     

Two weaker variants of congruence permutability for monoid varieties

Semigroup Forum - We completely determine all varieties of monoids on whose free objects all fully invariant congruences or all fully invariant congruences contained in the least semilattice...     

Sylow permutability in locally finite groups

A theorem is established which describes the structure of locally finite groups in whose finite subgroups Sylow permutability is a transitive relation.     

On conditional permutability and factorized groups

Two subgroups \(A\) and \(B\) of a group \(G\) are said to be totally completely conditionally permutable (tcc-permutable) if \(X\) permutes with \(Y^g\) for some \(g\in \langle X,Y\rangle \) , for all \(X \le A\) and all \(Y\le B\) . In this paper, we study finite products of tcc-permutable subgroups, focussing mainly on structural properties of such products. As an application, new achievements in the context of formation theory are obtained.     

Finitary decidability implies congruence permutability for congruence modular varieties

We show that if a locally finite congruence modular varietyV is finitely decidable, thenV has to be congruence permutable.Presented by S. Burris.     

On the permutability of Backlund transformations

Let(?)=B_ηu:2(q-(?))+(⊿((?)-2q))+(2q_x+(?)_x))η=0,2(r-(?)+(⊿(2(?)-r)+(r_x+2(?)_x))η=0,u=(q,r)~Tbe the Backlund transformation (BT) of the hierarchy of AKNS equations,where η is a parameterand Δ=integral from -∞ to x (qr-(?))dx′.It is shown in this paper the infinitesimal BT B_(η+ε)B_η~(-1) admits thefollowing expansionB_(η+ε)B_η~(-1)u=u+εsum from n=0 to ∞ β_n(JL~(n+1)u)η~n,β_n=1+(-1)~n2~(-n-1),where L is the recurrence operator of the hierarchy and ε is an infinitesimal parameter.Thisexpansion implies the equivalence between the permutabiliy of BTs and the involution in pairs ofconserved densities.