Minimal non-group-like twisted subsets with involutions

A subset K of some group G is called twisted if 1 ∈ K and xy ^?1 x ∈ K for all x, y ∈ K. We study the finite twisted subsets with an involution which are not subgroups but whose every proper twisted subset is a subgroup. We also consider the groups generated by twisted subsets.     

Minimal involution-free nongroup reduced twisted subsets

A subset K of a group G is said to be twisted if 1 ∈ K and the element xy ^?1 x lies in K for any x, y ∈ K. We study finite involution-free twisted subsets that are not subgroups but all of whose proper twisted subsets are subgroups. We also study the groups generated by such twisted subsets.     

Minimal non-group twisted subsets containing involutions

A subset K of a group G is said to be twisted if 1 ∈ K and xy⁻¹x ∈ K for any x, y ∈ K. We explore finite twisted subsets with involutions which are themselves not subgroups but every proper twisted subset of which is. Groups that are generated by such twisted subsets are classified. __________ Translated from Algebra i Logika, Vol. 46, No. 4, pp. 459–482, July–August, 2007.     

Cellularity of twisted semigroup algebras

In this paper, the cellularity of twisted semigroup algebras over an integral domain is investigated by introducing the concept of cellular twisted semigroup algebras of type JH. Partition algebras, Brauer algebras and Temperley-Lieb algebras all are examples of cellular twisted semigroup algebras of type JH. Our main result shows that the twisted semigroup algebra of a regular semigroup is cellular of type JH with respect to an involution on the twisted semigroup algebra if and only if the twisted group algebras of certain maximal subgroups are cellular algebras. Here we do not assume that the involution of the twisted semigroup algebra induces an involution of the semigroup itself. Moreover, for a twisted semigroup algebra, we do not require that the twisting decomposes essentially into a constant part and an invertible part, or takes values in the group of units in the ground ring. Note that trivially twisted semigroup algebras are the usual semigroup algebras. So, our results extend not only a recent result of East, but also some results of Wilcox.     

Estimation of the order of a group generated by a twisted subset

We prove that a group generated by a twisted subset is finite and its order is bounded by some function depending only on the order of the twisted subset.     

Nilpotency of the derived subgroup of a finite tangled group

We study finite groups whose every subset containing the identity and closed with respect to the operation x ○ y = xy ^?1 x is a subgroup. We prove that the derived subgroup of such a group is nilpotent, which implies that the derived length of such a group is at most three.     

Small Systems of Generators of Groups

A subset S of a group G is said to be large (left large) if there is a finite subset K such that G=KS=SK (G=KS). A subset S of a group G is said to be small (left small) if the subset G\setminus KSK (G\setminus KS) is large (left large). The following assertions are proved: (1) every infinite group is generated by some small subset; (2) in any infinite group G there is a left small subset S such that G=SS ^-1; (3) any infinite group can be decomposed into countably many left small subsets each generating the group.     

EP morphisms

The concept of an EP matrix is extended to a morphism of a category C with involution. It is shown that an EP morphism has a group inverse iff it has a Moore-Penrose inverse, and in this case the inverses are identical. On the other hand, if a morphism has a Moore-Penrose inverse that is a group inverse, then C is a full subcategory of a category in which φ is EP. Also, if C is an additive category with involution 1 and with 1-biproduct factorization, then a morphism of φ of C is EP iff there is a 1-biproduct J ⊕ K and an invertible morphism θ : J → J such that φ is congruent to a morphism of the form

$\text{θ 0}\text{0 0}\text{: J⊕K → J⊕K.}$

In particular, a square matrix over a principal-ideal domain with involution is EP iff it is congruent to a matrix of the form dg(θ, 0) with θ invertible.     

On the strongly closed subgroups or H-subgroups of finite groups

Let G be a finite group. Goldschmidt, Flores, and Foote investigated the concept: Let K ≤ G. A subgroup H of K is called strongly closed in K with respect to G if H ^g ∩ K ≤ H for all g ∈ G. In particular, when H is a subgroup of prime-power order and K is a Sylow subgroup containing it, H is simply said to be a strongly closed subgroup. Bianchi and the others called a subgroup H of G an H-subgroup if N _G (H) ∩ H ^g ≤ H for all g ∈ G. In fact, an H-subgroup of prime power order is the same as a strongly closed subgroup. We give the characterizations of finite non-T-groups whose maximal subgroups of even order are solvable T-groups by H-subgroups or strongly closed subgroups. Moreover, the structure of finite non-T-groups whose maximal subgroups of even order are solvable T-groups may be difficult to give if we do not use normality.     

Stability theorems for projections of convex sets

LetH ^n?1 denote the set of all (n ? 1)-dimensional linear subspaces of euclideann-dimensional spaceE ⁿ (n≧3), and letJ andK be two compact convex subsets ofE ⁿ. It is well-known thatJ andK are translation equivalent (or homothetic) if for allH ∈H ^n?1 the respective orthogonal projections, sayJ _H, K_H, are translation equivalent (or homothetic). This fact gives rise to the following stability problem: Ifε≧0 is given, and if for everyH ∈H ^n?1 a translate (or homothetic copy) ofK _H is within Hausdorff distanceε ofJ _H, how close isJ to a nearest translate (or homothetic copy) ofK? In the case of translations it is shown that under the above assumptions there is always a translate ofK within Hausdorff distance (1 + 2√2)ε ofJ. Similar results for homothetic transformations are proved and applications regarding the stability of characterizations of centrally symmetric sets and spheres are given. Furthermore, it is shown that these results hold even ifH ^n?1 is replaced by a rather small (but explicitly specified) subset ofH ^n?1.     

The Involutory Dimension of Involution Posets

The involutory dimension, if it exists, of an involution poset P:=(P,,) is the minimum cardinality of a family of linear extensions of , involutory with respect to , whose intersection is the ordering . We show that the involutory dimension of an involution poset exists iff any pair of isotropic elements are orthogonal. Some characterizations of the involutory dimension of such posets are given. We study prime order ideals in involution posets and use them to generate involutory linear extensions of the partial ordering on orthoposets. We prove several of the standard results in the theory of the order dimension of posets for the involutory dimension of involution posets. For example, we show that the involutory dimension of a finite orthoposet does not exceed the cardinality of an antichain of maximal cardinality. We illustrate the fact that the order dimension of an orthoposet may be different from the involutory dimension.     

Lie properties of symmetric elements in group rings

Let ¹ be an involution of a group G extended linearly to the group algebra KG. We prove that if G contains no 2-elements and K is a field of characteristic $p\ne 2$, then the 1-symmetric elements of KG are Lie nilpotent (Lie n-Engel) if and only if KG is Lie nilpotent (Lie n-Engel).     

Cylinders in del Pezzo fibrations

We show that a del Pezzo fibration π: V → W of degree d contains a vertical open cylinder, that is, an open subset whose intersection with the generic fiber of π is isomorphic to Z × A_K¹ for some quasi-projective variety Z defined over the function field K of W, if and only if d ≥ 5 and π: V → W admits a rational section. We also construct twisted cylinders in total spaces of threefold del Pezzo fibrations π: V → P¹ of degree d ≤ 4.     

Fractional Covers for Convolution Products

A non-zero vector-valued sequence u ∈ ?^q(X′) is a cover for a subset M of ?_P(X) if, for some 0 < α ≤ 1, ∥u * h∥ _∞ ≥ α ∥u∥_q ∥h∥_p for all h ∈ M. Covers of ?¹ = ?¹(R) are important in worst case system identification in ?¹ and in the reconstruction of elements in a normed space from corrupted functional values. We investigate the existence of covers for certain naturally occurring subspaces of ?^p(X). We show that there exist finitely supported covers for some subspaces, and obtain lower bounds for their ’lengths’. We also obtain similar results for covers associated with convolution products for spaces of measurable vector-valued functions defined on the positive real axis.     

Automorphismen Von Cayleyalgebren Über Algebraischen Erweiterungen Endlicher KÖrper Ungerader Charakteristik

Let C denote the (split) Cayley algebra over a finite field K of odd characteristic. Given any automorphism σ of C, which is not expressible as the product of two involutory automorphisms, we show that the minimal polynomial of σ is (x ? l)(x² + x + 1)³]. This result remains true, if K is replaced by an infinite algebraic extension K′ of K. Furthermore the automorphism group of C over K′ is bireflectional iff every polynomial of degree 3 in K′[x] is reducible. This corrects and extends the results achieved by Huberta Lausch in [2].     

On strong reality of the unipotent Lie-type subgroups over a field of characteristic 2

A group G is called strongly real if its every nonidentity element is strongly real, i.e. conjugate with its inverse by an involution of G. We address the classical Lie-type groups of rank l, with l ≤ 4 and l ≤ 13, over an arbitrary field, and the exceptional Lie-type groups over a field K with an element η such that the polynomial X ² + X + η is irreducible either in K[X] or K ₀[X] (in particular, if K is a finite field). The following question is answered for the groups under study: What unipotent subgroups of the Lie-type groups over a field of characteristic 2 are strongly real?     

On the Regularity of Crossed Products

We study some generalizations of the notion of regular crossed products K * G. For the case when K is an algebraically closed field, we give necessary and sufficient conditions for the twisted group ring K * G to be an n-weakly regular ring, a ξ^* N-ring or a ring without nilpotent elements.     

Twisted K-theory of differentiable stacks

In this paper, we develop twisted K-theory for stacks, where the twisted class is given by an S¹-gerbe over the stack. General properties, including the Mayer-Vietoris property, Bott periodicity, and the product structure are derived. Our approach provides a uniform framework for studying various twisted K-theories including the usual twisted K-theory of topological spaces, twisted equivariant K-theory, and the twisted K-theory of orbifolds. We also present a Fredholm picture, and discuss the conditions under which twisted K-groups can be expressed by so-called “twisted vector bundles”.Our approach is to work on presentations of stacks, namely groupoids, and relies heavily on the machinery of K-theory (KK-theory) of C^∗-algebras.     

Admissible majorants for model subspaces, and arguments of inner functions

Let Θ be an inner function in the upper half-plane ?⁺ and let K _Θ denote the model subspace H ² ? Θ H ² of the Hardy space H ² = H ²(?⁺). A nonnegative function w on the real line is said to be an admissible majorant for K _Θ if there exists a nonzero function f ∈ K _Θ such that {f} ? w a.e. on ?. We prove a refined version of the parametrization formula for K _Θ-admissible majorants and simplify the admissibility criterion (in terms of arg Θ) obtained in [8]. We show that, for every inner function Θ, there exist minimal K _Θ-admissible majorants. The relationship between admissibility and some weighted approximation problems is considered.