
Page 


225  Small Flag Complexes with Torsion Adamaszek, Michał
We classify flag complexes on at most $12$ vertices with torsion in
the first homology group. The result is moderately computeraided.


231  On the Multiplicities of Characters in Table Algebras Bagherian, J.
In this paper we show that every module of a table algebra
can be considered as a faithful module of some quotient table
algebra.
Also we prove that every faithful module of a table algebra
determines a closed subset which is a cyclic group.
As a main result we give some information about multiplicities
of characters in table algebras.


240  Addendum to ``Limit Sets of Typical Homeomorphisms'' Bernardes, Nilson C. Jr.
Given an integer $n \geq 3$,
a metrizable compact topological $n$manifold $X$ with boundary,
and a finite positive Borel measure $\mu$ on $X$,
we prove that for the typical homeomorphism $f : X \to X$,
it is true that for $\mu$almost every point $x$ in $X$ the restriction of
$f$ (respectively of $f^{1}$) to the omega limit set $\omega(f,x)$
(respectively to the alpha limit set $\alpha(f,x)$) is topologically
conjugate to the universal odometer.


245  AssouadNagata Dimension of Wreath Products of Groups Brodskiy, N.; Dydak, J.; Lang, U.
Consider the wreath product $H\wr G$, where $H\ne 1$ is finite and $G$ is finitely generated.
We show that the AssouadNagata dimension $\dim_{AN}(H\wr G)$ of $H\wr G$
depends on the growth of $G$ as follows:
\par If the growth of $G$ is not bounded by a linear function, then $\dim_{AN}(H\wr G)=\infty$,
otherwise $\dim_{AN}(H\wr G)=\dim_{AN}(G)\leq 1$.


254  On Parseval Wavelet Frames with Two or Three Generators via the Unitary Extension Principle Christensen, Ole; Kim, Hong Oh; Kim, Rae Young
The unitary extension principle (UEP) by Ron and Shen yields a
sufficient condition for the construction of Parseval wavelet frames with
multiple generators. In this paper we characterize the UEPtype wavelet systems that
can be extended to a Parseval wavelet frame by adding just one UEPtype wavelet
system. We derive a condition that is necessary for the extension of a UEPtype
wavelet system to any Parseval wavelet frame with any number of generators, and
prove that this condition is also sufficient to ensure that an extension
with just two generators is possible.


264  On Semisimple Hopf Algebras of Dimension $pq^n$ Dai, Li; Dong, Jingcheng
Let $p,q$ be prime numbers with $p^2\lt q$, $n\in \mathbb{N}$, and $H$ a
semisimple Hopf algebra of dimension $pq^n$ over an algebraically
closed field of characteristic $0$. This paper proves that $H$ must
possess one of the following structures: (1) $H$ is semisolvable;
(2) $H$ is a Radford biproduct $R\# kG$, where $kG$ is the group
algebra of group $G$ of order $p$, and $R$ is a semisimple YetterDrinfeld
Hopf algebra in ${}^{kG}_{kG}\mathcal{YD}$ of dimension $q^n$.


270  Derivations on Toeplitz Algebras Didas, Michael; Eschmeier, Jörg
Let $H^2(\Omega)$ be the Hardy space on a strictly pseudoconvex domain $\Omega \subset
\mathbb{C}^n$,
and let $A \subset L^\infty(\partial \Omega)$ denote the subalgebra of all $L^\infty$functions $f$
with compact Hankel operator $H_f$. Given any closed subalgebra $B \subset A$ containing $C(\partial \Omega)$,
we describe the first Hochschild cohomology group of the
corresponding Toeplitz algebra $\mathcal(B) \subset B(H^2(\Omega))$.
In particular, we show that every derivation on $\mathcal{T}(A)$ is inner. These results are new even for $n=1$,
where it follows that every derivation on $\mathcal{T}(H^\infty+C)$ is inner, while there are noninner
derivations on $\mathcal{T}(H^\infty+C(\partial \mathbb{B}_n))$ over
the unit ball $\mathbb{B}_n$ in dimension $n\gt 1$.


277  On Mutually $m$permutable Product of Smooth Groups Elkholy, A. M.; ElLatif, M. H. Abd
Let $G$ be a
finite group and $H$, $K$ two subgroups of G. A group $G$ is said to
be a mutually mpermutable product of $H$ and $K$ if $G=HK$ and
every maximal subgroup of $H$ permutes with $K$ and every maximal
subgroup of $K$ permutes with $H$. In this paper, we investigate the
structure of a finite group which is a mutually mpermutable product
of two subgroups under the assumption that its maximal subgroups are
totally smooth.


283  Infinite Dimensional DeWitt Supergroups and their Bodies Fulp, Ronald
For Dewitt super groups $G$ modeled via an underlying finitely
generated Grassmann algebra it is wellknown that when there exists a
body group $BG$ compatible with the group operation on $G,$ then
generically the kernel $K$ of the body homomorphism is nilpotent. This
is not true when the underlying Grassmann algebra is infinitely
generated. We show that it is quasinilpotent in the sense that as a
Banach Lie group its Lie algebra $\kappa$ has the property that for
each $a\in \kappa$, $ad_a$ has a zero spectrum. We also show that
the exponential mapping from $\kappa$ to $K$ is surjective and that
$K$ is a quotient manifold of the Banach space $\kappa$ via a lattice
in $\kappa.$


289  Closure of the Cone of Sums of $2d$powers in Certain Weighted $\ell_1$seminorm Topologies Ghasemi, Mehdi; Marshall, Murray; Wagner, Sven
In a paper from 1976, Berg, Christensen and Ressel prove that the
closure of the cone of sums of squares $\sum
\mathbb{R}[\underline{X}]^2$ in the polynomial ring
$\mathbb{R}[\underline{X}] := \mathbb{R}[X_1,\dots,X_n]$ in the
topology induced by the $\ell_1$norm is equal to
$\operatorname{Pos}([1,1]^n)$, the cone consisting of all polynomials
which are nonnegative on the hypercube $[1,1]^n$. The result is
deduced as a corollary of a general result, established in the same
paper, which is valid for any commutative semigroup.
In later work, Berg and Maserick and Berg, Christensen and Ressel
establish an even more general result, for a commutative semigroup
with involution, for the closure of the cone of sums of squares of
symmetric elements in the weighted $\ell_1$seminorm topology
associated to an absolute value.
In the present paper we give a new proof of these results which is
based on Jacobi's representation theorem from 2001. At the same time,
we use Jacobi's representation theorem to extend these results from
sums of squares to sums of $2d$powers, proving, in particular, that
for any integer $d\ge 1$, the closure of the cone of sums of
$2d$powers $\sum \mathbb{R}[\underline{X}]^{2d}$ in
$\mathbb{R}[\underline{X}]$ in the topology induced by the
$\ell_1$norm is equal to $\operatorname{Pos}([1,1]^n)$.


303  Octonion Algebras over Rings are not Determined by their Norms Gille, Philippe
Answering a question of H. Petersson, we provide
a class of examples of pair of octonion algebras over a ring having isometric
norms.


310  Leftorderable Fundamental Group and Dehn Surgery on the Knot $5_2$ Hakamata, Ryoto; Teragaito, Masakazu
We show that the resulting manifold by $r$surgery on the knot $5_2$, which is
the twobridge knot corresponding to the rational number $3/7$, has leftorderable
fundamental group if the slope $r$ satisfies $0\le r \le 4$.


318  Duality of Preenvelopes and Pure Injective Modules Huang, Zhaoyong
Let $R$ be an arbitrary ring and $()^+=\operatorname{Hom}_{\mathbb{Z}}(,
\mathbb{Q}/\mathbb{Z})$ where $\mathbb{Z}$ is the ring of integers
and $\mathbb{Q}$ is the ring of rational numbers, and let
$\mathcal{C}$ be a subcategory of left $R$modules and $\mathcal{D}$
a subcategory of right $R$modules such that $X^+\in \mathcal{D}$
for any $X\in \mathcal{C}$ and all modules in $\mathcal{C}$ are pure
injective. Then a homomorphism $f: A\to C$ of left $R$modules with
$C\in \mathcal{C}$ is a $\mathcal{C}$(pre)envelope of $A$ provided
$f^+: C^+\to A^+$ is a $\mathcal{D}$(pre)cover of $A^+$. Some
applications of this result are given.


326  On Zerodivisors in Group Rings of Groups with Torsion Ivanov, S. V.; Mikhailov, Roman
Nontrivial pairs of zerodivisors in group rings are
introduced and discussed. A problem on the existence of nontrivial
pairs of zerodivisors in group rings of free Burnside groups of odd
exponent $n \gg 1$ is solved in the affirmative. Nontrivial pairs of
zerodivisors are also found in group rings of free products of groups
with torsion.


335  Alexandroff Manifolds and Homogeneous Continua Karassev, A.; Todorov, V.; Valov, V.
ny homogeneous,
metric $ANR$continuum is a $V^n_G$continuum provided $\dim_GX=n\geq
1$ and $\check{H}^n(X;G)\neq 0$, where $G$ is a principal ideal
domain.
This implies that any homogeneous $n$dimensional metric $ANR$continuum is a $V^n$continuum in the sense of Alexandroff.
We also prove that any finitedimensional homogeneous metric continuum
$X$, satisfying $\check{H}^n(X;G)\neq 0$ for some group $G$ and $n\geq
1$, cannot be separated by
a compactum $K$ with $\check{H}^{n1}(K;G)=0$ and $\dim_G K\leq
n1$. This provides a partial answer to a question of
KallipolitiPapasoglu
whether any twodimensional homogeneous Peano continuum cannot be separated by arcs.


344  On Localized Unstable $K^1$groups and Applications to Selfhomotopy Groups Kishimoto, Daisuke; Kono, Akira; Tsutaya, Mitsunobu
The computing method for the $p$localization of the group
$[X,\mathrm{U}(n)]$
by Hamanaka in 2004
is revised. As an application, an explicit description of the
selfhomotopy group of $\mathrm{Sp}(3)$ localized at $p\ge 5$ is given and
the homotopy nilpotency of $\mathrm{Sp}(3)$ localized at $p\ge 5$ is determined.


357  Representation Equivalent Bieberbach Groups and Strongly Isospectral Flat Manifolds Lauret, Emilio A.
Let $\Gamma_1$ and $\Gamma_2$ be Bieberbach groups contained in the
full isometry group $G$ of $\mathbb{R}^n$.
We prove that if the compact flat manifolds $\Gamma_1\backslash\mathbb{R}^n$ and
$\Gamma_2\backslash\mathbb{R}^n$ are strongly isospectral then the Bieberbach groups
$\Gamma_1$ and $\Gamma_2$ are representation equivalent, that is, the
right regular representations $L^2(\Gamma_1\backslash G)$ and
$L^2(\Gamma_2\backslash G)$ are unitarily equivalent.


364  How Lipschitz Functions Characterize the Underlying Metric Spaces Li, Lei; Wang, YaShu
Let $X, Y$ be metric spaces and $E, F$ be Banach spaces. Suppose that
both $X,Y$ are realcompact, or both $E,F$ are realcompact.
The zero set of a vectorvalued function $f$ is denoted by $z(f)$.
A linear bijection $T$ between local or generalized Lipschitz vectorvalued function spaces
is said to preserve zeroset containments or nonvanishing functions
if
\[z(f)\subseteq z(g)\quad\Longleftrightarrow\quad z(Tf)\subseteq z(Tg),\]
or
\[z(f) = \emptyset\quad \Longleftrightarrow\quad z(Tf)=\emptyset,\]
respectively.
Every zeroset containment preserver, and every nonvanishing function preserver when
$\dim E =\dim F\lt +\infty$, is a weighted composition operator
$(Tf)(y)=J_y(f(\tau(y)))$.
We show that the map $\tau\colon Y\to X$ is a locally (little) Lipschitz homeomorphism.


375  A Problem on Edgemagic Labelings of Cycles López, S. C.; MuntanerBatle; RiusFont
Kotzig and Rosa defined in 1970 the concept of edgemagic labelings as
follows: let $G$ be a simple $(p,q)$graph (that is, a graph of order $p$
and size $q$ without loops or multiple edges). A bijective function $f:V(G)\cup
E(G)\rightarrow \{1,2,\ldots,p+q\}$ is an edgemagic labeling of $G$ if
$f(u)+f(uv)+f(v)=k$, for all $uv\in E(G)$. A graph that admits an edgemagic
labeling is called an edgemagic graph, and $k$ is called the magic sum
of the labeling. An old conjecture of Godbold and Slater sets that all
possible theoretical magic sums are attained for each cycle of order $n\ge
7$. Motivated by this conjecture, we prove that for all $n_0\in \mathbb{N}$,
there exists $n\in \mathbb{N}$, such that the cycle $C_n$ admits at least
$n_0$ edgemagic labelings with at least $n_0$ mutually distinct magic
sums. We do this by providing a lower bound for the number of magic sums
of the cycle $C_n$, depending on the sum of the exponents of the odd primes
appearing in the prime factorization of $n$.


381  On Complex Explicit Formulae Connected with the Möbius Function of an Elliptic Curve Łydka, Adrian
We study analytic properties function $m(z, E)$, which is defined on the upper halfplane as an integral from the shifted $L$function of an elliptic curve. We show that $m(z, E)$ analytically continues to a meromorphic function on the whole complex plane and satisfies certain functional equation. Moreover, we give explicit formula for $m(z, E)$ in the strip $\Im{z}\lt 2\pi$.


390  Simplicity of Some Twin Tree Automorphism Groups with Trivial Commutation Relations Morita, Jun; Rémy, Bertrand
We prove simplicity for incomplete rank 2 KacMoody groups over algebraic closures of finite fields with trivial commutation relations between root groups corresponding to prenilpotent pairs.
We don't use the (yet unknown) simplicity of the corresponding finitely generated groups (i.e., when the ground field is finite).
Nevertheless we use the fact that the latter groups are just infinite
(modulo center).


401  Curvature of $K$contact SemiRiemannian Manifolds Perrone, Domenico
In this paper we characterize $K$contact semiRiemannian manifolds
and Sasakian semiRiemannian manifolds in terms of
curvature. Moreover, we show that any conformally flat $K$contact
semiRiemannian manifold is Sasakian and of constant sectional
curvature $\kappa=\varepsilon$, where $\varepsilon =\pm 1$ denotes
the causal character of the Reeb vector field. Finally, we give some
results about the curvature of a $K$contact Lorentzian manifold.


413  On the Comaximal Graph of a Commutative Ring Samei, Karim
Let $R$ be a commutative ring with $1$. In [P. K. Sharma, S. M.
Bhatwadekar, A note on graphical representation of rings, J.
Algebra 176(1995) 124127], Sharma and Bhatwadekar defined a
graph on $R$, $\Gamma(R)$, with vertices as elements of $R$, where
two distinct vertices $a$ and $b$ are adjacent if and only if $Ra
+ Rb = R$. In this paper, we consider a subgraph $\Gamma_2(R)$ of
$\Gamma(R)$ which consists of nonunit elements. We investigate
the behavior of $\Gamma_2(R)$ and $\Gamma_2(R) \setminus \operatorname{J}(R)$,
where $\operatorname{J}(R)$ is the Jacobson radical of $R$. We associate the
ring properties of $R$, the graph properties of $\Gamma_2(R)$ and
the topological properties of $\operatorname{Max}(R)$. Diameter, girth, cycles
and dominating sets are investigated and the algebraic and the
topological characterizations are given for graphical properties
of these graphs.


424  A Note on Amenability of Locally Compact Quantum Groups Sołtan, Piotr M.; Viselter, Ami
In this short note we introduce a notion called ``quantum injectivity''
of locally compact quantum groups, and prove that it is equivalent
to amenability of the dual. Particularly, this provides a new characterization
of amenability of locally compact groups.


431  The Rasmussen Invariant, Fourgenus and Threegenus of an Almost Positive Knot Are Equal Tagami, Keiji
An oriented link is positive if it has a link diagram whose crossings are all positive.
An oriented link is almost positive if it is not positive and has a link diagram with exactly one negative crossing.
It is known that the Rasmussen invariant, $4$genus and $3$genus of a positive knot are equal.
In this paper, we prove that the Rasmussen invariant, $4$genus and $3$genus of an almost positive knot are equal.
Moreover, we determine the Rasmussen invariant of an almost positive knot in terms of its almost positive knot diagram.
As corollaries, we prove that all almost positive knots are not homogeneous, and there is no almost positive knot of $4$genus one.


439  The Fixed Point Locus of the Verschiebung on $\mathcal{M}_X(2, 0)$ for Genus2 Curves $X$ in Charateristic $2$ Yang, YanHong
We prove that for every ordinary genus$2$ curve $X$ over a finite
field $\kappa$ of characteristic $2$ with
$\textrm{Aut}(X/\kappa)=\mathbb{Z}/2\mathbb{Z} \times S_3$, there exist
$\textrm{SL}(2,\kappa[\![s]\!])$representations of $\pi_1(X)$ such
that the image of $\pi_1(\overline{X})$ is infinite. This result
produces a family of examples similar to Laszlo's counterexample
to de Jong's question regarding the finiteness of the geometric
monodromy of representations of the fundamental group.

