<Emphasis Type="Italic">n</Emphasis>-Flat and <Emphasis Type="Italic">n</Emphasis>-FP-injective modules

In this paper, we study the existence of the n-flat preenvelope and the n-FP-injective cover. We also characterize n-coherent rings in terms of the n-FP-injective and n-flat modules.     

<Emphasis Type="Italic">n</Emphasis>-Abelian and <Emphasis Type="Italic">n</Emphasis>-exact categories

We introduce n-abelian and n-exact categories, these are analogs of abelian and exact categories from the point of view of higher homological algebra. We show that n-cluster-tilting subcategories of abelian (resp. exact) categories are n-abelian (resp. n-exact). These results allow to construct several examples of n-abelian and n-exact categories. Conversely, we prove that n-abelian categories satisfying certain mild assumptions can be realized as n-cluster-tilting subcategories of abelian categories. In analogy with a classical result of Happel, we show that the stable category of a Frobenius n-exact category has a natural \((n+2)\)-angulated structure in the sense of Geiß–Keller–Oppermann. We give several examples of n-abelian and n-exact categories which have appeared in representation theory, commutative algebra, commutative and non-commutative algebraic geometry.     

Eigenvalues of the Manifold Sp（n）/U（n）

In this paper, we give the eigenvalues of the manifold Sp(n)/U(n). We prove that an eigenvalue λ _s (f ₂, f ₂, …, f _n ) of the Lie group Sp(n), corresponding to the representation with label (f ₁, f ₂, ..., f _n ), is an eigenvalue of the manifold Sp(n)/U(n), if and only if f ₁, f ₂, …, f _n are all even.     

Maximal regular subsemibands of finite order-preserving transformation semigroups <Emphasis Type="Italic">K</Emphasis>(<Emphasis Type="Italic">n</Emphasis>,<Emphasis Type="Italic">r</Emphasis>)

Let O _n be the order-preserving transformation semigroup on X _n . For an arbitrary integer r such that 1≤r≤n−2, we completely describe the maximal regular subsemibands of the semigroup K(n,r)={α∈O _n :|im(α)|≤r}. We also formulate the cardinal number of such subsemigroups.     

Groups with less than <Emphasis Type="Italic">n</Emphasis> subgroups of index <Emphasis Type="Italic">n</Emphasis>

We characterise (residually-finite) groups which possess less than n subgroups of index n for almost all n ∈ ℕ.     

Cyclotomic Hecke Algebras of <Emphasis Type="Italic">G</Emphasis>(<Emphasis Type="Italic">r</Emphasis>, <Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">n</Emphasis>)

In this note, we find a monomial basis of the cyclotomic Hecke algebra \({\mathcal{H}_{r,p,n}}\) of G(r,p,n) and show that the Ariki-Koike algebra \({\mathcal{H}_{r,n}}\) is a free module over \({\mathcal{H}_{r,p,n}}\), using the Gröbner-Shirshov basis theory. For each irreducible representation of \({\mathcal{H}_{r,p,n}}\), we give a polynomial basis consisting of linear combinations of the monomials corresponding to cozy tableaux of a given shape.     

Mappings of preserving <Emphasis Type="Italic">n</Emphasis>-distance one in <Emphasis Type="Italic">n</Emphasis>-normed spaces

We give a positive answer to the Aleksandrov problem in n-normed spaces under the surjectivity assumption. Namely, we show that every surjective mapping preserving n-distance one is affine, and thus is an n-isometry. This is the first time the Aleksandrov problem is solved in n-normed spaces with only the surjectivity assumption even in the usual case \(n=2\). Finally, when the target space is n-strictly convex, we prove that every mapping preserving two n-distances with an integer ratio is an affine n-isometry.     

Cocyclic <Emphasis Type="Italic">n</Emphasis>-groups

We describe all cocyclic n-groups and the structure of (n, 2)-rings of endomorphisms of cocyclic n-groups. We prove that a cocyclic n-group is defined uniquely by its (n, 2)-ring of endomorphisms.     

The Center of <Emphasis Type="Italic">Dist</Emphasis> (<Emphasis Type="Italic">GL</Emphasis>(<Emphasis Type="Italic">m</Emphasis>|<Emphasis Type="Italic">n</Emphasis>)) in Positive Characteristic

The purpose of this paper is to investigate central elements in distribution algebras D i s t(G) of general linear supergroups G = G L(m|n). As an application, we compute explicitly the center of D i s t(G L(1|1)) and its image under Harish-Chandra homomorphism.     

Classification of regular embeddings of <Emphasis Type="Italic">n</Emphasis>-dimensional cubes

An orientably-regular map is a 2-cell embedding of a connected graph or multigraph into an orientable surface, such that the group of all orientation-preserving automorphisms of the embedding has a single orbit on the set of all arcs (incident vertex-edge pairs). Such embeddings of the n-dimensional cubes Q _n were classified for all odd n by Du, Kwak and Nedela in 2005, and in 2007, Jing Xu proved that for n=2m where m is odd, they are precisely the embeddings constructed by Kwon in 2004. Here, we give a classification of orientably-regular embeddings of Q _n for all n. In particular, we show that for all even n (=2m), these embeddings are in one-to-one correspondence with elements σ of order 1 or 2 in the symmetric group S _n such that σ fixes n, preserves the set of all pairs B _i ={i,i+m} for 1≤i≤m, and induces the same permutation on this set as the permutation B _i ↦ B _f(i) for some additive bijection f:ℤ _m →ℤ _m . We also give formulae for the numbers of embeddings that are reflexible and chiral, respectively, showing that the ratio of reflexible to chiral embeddings tends to zero for large even n.     

<Emphasis Type="Italic">C</Emphasis>*-simplicity of <Emphasis Type="Italic">n</Emphasis>-periodic products

The C*-simplicity of n-periodic products is proved for a large class of groups. In particular, the n-periodic products of any finite or cyclic groups (including the free Burnside groups) are C*-simple. Continuum-many nonisomorphic 3-generated nonsimple C*-simple groups are constructed in each of which the identity xⁿ = 1 holds, where n ≥ 1003 is any odd number. The problem of the existence of C*-simple groups without free subgroups of rank 2 was posed by de la Harpe in 2007.     

A note on <Emphasis Type="Italic">n</Emphasis>! modulo <Emphasis Type="Italic">p</Emphasis>

Let p be a prime, \(\varepsilon >0\) and \(0<L+1<L+N < p\). We prove that if \(p^{1/2+\varepsilon }< N <p^{1-\varepsilon }\), then

$$\begin{aligned} \#\{n!\,\,({\mathrm{mod}} \,p);\,\, L+1\le n\le L+N\} > c (N\log N)^{1/2},\,\, c=c(\varepsilon )>0. \end{aligned}$$

We use this bound to show that any \(\lambda \not \equiv 0\ ({\mathrm{mod}}\, p)\) can be represented in the form \(\lambda \equiv n_1!\cdots n_7!\ ({\mathrm{mod}}\, p)\), where \(n_i=o(p^{11/12})\). This refines the previously known range for \(n_i\).

     

On (<Emphasis Type="Italic">n</Emphasis>,<Emphasis Type="Italic">m</Emphasis>)-semigroups

We generalize Green’s lemma and Green’s theorem for usual binary semigroups to (n,m)-semigroups, define and describe the regularity for an element of an (n,m)-semigroup, give some criteria for an element of an (n,m)-semigroup to be invertible, and further apply the invertibility for (n,m)-semigroups to (n,m)-groups and give some equivalent characterizations for (n,m)-groups. We establish Hosszú-Gluskin theorems for (n,m)-semigroups in two cases, as generalizations of the corresponding theorems for n-groups.     

On a new property of <Emphasis Type="Italic">n</Emphasis>-poised and <Emphasis Type="Italic">G</Emphasis><Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> sets

In this paper we consider n-poised planar node sets, as well as more special ones, called G C _n sets. For the latter sets each n-fundamental polynomial is a product of n linear factors as it always holds in the univariate case. A line ? is called k-node line for a node set \(\mathcal X\) if it passes through exactly k nodes. An (n + 1)-node line is called maximal line. In 1982 M. Gasca and J. I. Maeztu conjectured that every G C _n set possesses necessarily a maximal line. Till now the conjecture is confirmed to be true for n ≤ 5. It is well-known that any maximal line M of \(\mathcal X\) is used by each node in \(\mathcal X\setminus M, \)meaning that it is a factor of the fundamental polynomial. In this paper we prove, in particular, that if the Gasca-Maeztu conjecture is true then any n-node line of G C _n set \(\mathcal {X}\) is used either by exactly \(\binom {n}{2}\) nodes or by exactly \(\binom {n-1}{2}\) nodes. We prove also similar statements concerning n-node or (n ? 1)-node lines in more general n-poised sets. This is a new phenomenon in n-poised and G C _n sets. At the end we present a conjecture concerning any k-node line.     

On the directions problem in <Emphasis Type="Italic">AG</Emphasis>(<Emphasis Type="Italic">n</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)

We prove that if q = p ^h , p a prime, do not exist sets U í AG(n,q){U {\subseteq} AG(n,q)}, with |U| = q ^k and 1 < k < n, determining N directions where

Generalized fuzzy <Emphasis Type="Italic">n</Emphasis>-ary subhypergroups of a commutative <Emphasis Type="Italic">n</Emphasis>-ary hypergroup

In this paper, by means of a new idea, the concept of (invertible) (∈,∈∨q)-fuzzy n-ary subhypergroups of a commutative n-ary hypergroup is introduced and some related properties are investigated. A kind of n-ary quotient hypergroup by an (∈, ∈∨q)-fuzzy n-ary subhypergroup is provided and the relationships among (∈, ∈∨q)-fuzzy n-ary subhypergroups, n-ary quotient hypergroups and homomorphism are investigated. Several isomorphism theories of n-ary hypergroups are established.     

EKR Sets for Large <Emphasis Type="Italic">n</Emphasis> and <Emphasis Type="Italic">r</Emphasis>

Let \(\mathcal {A}\subset \left( {\begin{array}{c}[n]\\ r\end{array}}\right) \) be a compressed, intersecting family and let \(X\subset [n]\). Let \(\mathcal {A}(X)=\{A\in \mathcal {A}:A\cap X\ne \emptyset \}\) and \(\mathcal {S}_{n,r}=\left( {\begin{array}{c}[n]\\ r\end{array}}\right) (\{1\})\). Motivated by the Erd?s–Ko–Rado theorem, Borg asked for which \(X\subset [2,n]\) do we have \(|\mathcal {A}(X)|\le |\mathcal {S}_{n,r}(X)|\) for all compressed, intersecting families \(\mathcal {A}\)? We call X that satisfy this property EKR. Borg classified EKR sets X such that \(|X|\ge r\). Barber classified X, with \(|X|\le r\), such that X is EKR for sufficiently large n, and asked how large n must be. We prove n is sufficiently large when n grows quadratically in r. In the case where \(\mathcal {A}\) has a maximal element, we sharpen this bound to \(n>\varphi ^{2}r\) implies \(|\mathcal {A}(X)|\le |\mathcal {S}_{n,r}(X)|\). We conclude by giving a generating function that speeds up computation of \(|\mathcal {A}(X)|\) in comparison with the naïve methods.     

On <Emphasis Type="Italic">CEP</Emphasis>-subgroups of <Emphasis Type="Italic">n</Emphasis>-periodic products

There is a well-known fact, that any group G ₁ is a CEP-subgroup both for the direct product G ₁ × G ₂ and the free productG ₁ * G ₂ of G ₁ with any group G ₂. The paper gives a necessary and sufficient condition providing that a multiplier G _i of a n-periodic product Π _i∈I ⁿ G _i of any family of groups {G _i } _i∈I is a CEP-subgroup. Particularly, the found criterionmeans that any group G ₁ of odd period n ≥ 665 is a CEP-subgroup of the n-periodic product Π _i∈I ⁿ G _i for any group G ₂.     

<Emphasis Type="Italic">L</Emphasis>-fuzzy roughness of <Emphasis Type="Italic">n</Emphasis>-ary polygroups

In this paper, we consider the relations among L-fuzzy sets, rough sets and n-ary polygroup theory. Some properties of (normal) TL-fuzzy n-ary subpolygroups of an n-ary polygroup are first obtained. Using the concept of L-fuzzy sets, the notion of ϑ-lower and T-upper L-fuzzy rough approximation operators with respect to an L-fuzzy set is introduced and some related properties are presented. Then a new algebraic structure called (normal) TL-fuzzy rough n-ary polygroup is defined and investigated. Also, the (strong) homomorphism of ϑ-lower and T-upper L-fuzzy rough approximation operators is studied.