Dimensions of Zassenhaus filtration subquotients of some pro-p-groups

We compute the F_p-dimension of an n-th graded piece G_(n)/G_(n+1) of the Zassenhaus filtration for various finitely generated pro-p-groups G. These groups include finitely generated free pro-p-groups, Demushkin pro-p-groups and their free pro-p products. We provide a unifying principle for deriving these dimensions.     

The duality theorem for locally compact Abelian <Emphasis Type="Italic">n</Emphasis>-groups

We obtain a generalization of the Pontryagin-Van Campen theorem to the case of locally compact topological n-groups. We also consider the convolutions of measures and the Fourier transform on locally compact topological n-groups.     

On finite alperin <Emphasis Type="Italic">p</Emphasis>-groups with homocyclic commutator subgroup

We study metabelian Alperin groups, i.e., metabelian groups in which every 2-generated subgroup has a cyclic commutator subgroup. It is known that, if the minimum number d(G) of generators of a finite Alperin p-group G is n ≥ 3, then d(G′) ≤ C _n ² for p≠ 3 and d(G′) ≤ C _n ² + C _n ³ for p = 3. The first section of the paper deals with finite Alperin p-groups G with p≠ 3 and d(G) = n ≥ 3 that have a homocyclic commutator subgroup of rank C _n ² . In addition, a corollary is deduced for infinite Alperin p-groups. In the second section, we prove that, if G is a finite Alperin 3-group with homocyclic commutator subgroup G- of rank C _n ² + C _n ³ , then G″ is an elementary abelian group.     

Algebraic <Emphasis Type="Italic">K</Emphasis>-theory of Gorenstein projective modules

We introduce the Gorenstein algebraic K-theory space and the Gorenstein algebraic K-group of a ring, and show the relation with the classical algebraic K-theory space, and also show the ‘resolution theorem’ in this context due to Quillen. We characterize the Gorenstein algebraic K-groups by two different algebraic K-groups and by the idempotent completeness of the Gorenstein singularity category of the ring. We compute the Gorenstein algebraic K-groups along a recollement of the bounded Gorenstein derived categories of CM-nite Gorenstein algebras.     

Calculating the Number of Functions with a Given Endomorphism

An iterative procedure is proposed for calculating the number of k-valued functions of n variables such that each one has an endomorphism different from any constant and permutation. Based on this procedure, formulas are found for the number of three-valued functions of n variables such that each one has nontrivial endomorphisms. For any arbitrary semigroup of endomorphisms, the power is found of the set of all three-valued functions of n variables such that each one has endomorphisms from a specified semigroup.     

Finite groups whose all proper subgroups are <Emphasis Type="Italic">C</Emphasis>-groups

A group G is said to be a C-group if for every divisor d of the order of G, there exists a subgroup H of G of order d such that H is normal or abnormal in G. We give a complete classification of those groups which are not C-groups but all of whose proper subgroups are C-groups.     

Hadamard full propelinear codes of type Q; rank and kernel

Hadamard full propelinear codes (\(\mathrm{HFP}\)-codes) are introduced and their equivalence with Hadamard groups is proven; on the other hand, the equivalence of Hadamard groups, relative (4n, 2, 4n, 2n)-difference sets in a group, and cocyclic Hadamard matrices, is already known. We compute the available values for the rank and dimension of the kernel of \(\mathrm{HFP}\)-codes of type Q and we show that the dimension of the kernel is always 1 or 2. We also show that when the dimension of the kernel is 2 then the dimension of the kernel of the transposed code is 1 (so, both codes are not equivalent). Finally, we give a construction method such that from an \(\mathrm{HFP}\)-code of length 4n, dimension of the kernel \(k=2\), and maximum rank \(r=2n\), we obtain an \(\mathrm{HFP}\)-code of double length 8n, dimension of the kernel \(k=2\), and maximum rank \(r=4n\).     

Bogomolov multipliers for some <Emphasis Type="Italic">p</Emphasis>-groups of nilpotency class 2

The Bogomolov multiplier B ₀(G) of a finite group G is defined as the subgroup of the Schur multiplier consisting of the cohomology classes vanishing after restriction to all abelian subgroups of G. The triviality of the Bogomolov multiplier is an obstruction to Noether’s problem. We show that if G is a central product of G ₁ and G ₂, regarding K _i ≤ Z(G _i ), i = 1, 2, and θ: G ₁ → G ₂ is a group homomorphism such that its restriction \(\theta {|_{{K_1}}}:{K_1} \to {K_2}\) is an isomorphism, then the triviality of B ₀(G ₁/K ₁),B ₀(G ₁) and B ₀(G ₂) implies the triviality of B ₀(G). We give a positive answer to Noether’s problem for all 2-generator p-groups of nilpotency class 2, and for one series of 4-generator p-groups of nilpotency class 2 (with the usual requirement for the roots of unity).     

On finite critical lattices

Critical lattices are considered, i.e., lattices without nontrivial endomorphisms and not containing nontrivial proper sublattices without nontrivial endomorphisms. It is proved that there exist n-element critical sublattices for any n ≥ 21.     

Residual <Emphasis Type="Italic">p</Emphasis>-finiteness of generalized free products of groups

Let p be a prime number. Recall that a group G is said to be a residually finite p-group if for every non-identity element a of G there exists a homomorphism of the group G onto a finite p-group such that the image of a does not coincide with the identity. We obtain a necessary and sufficient condition for the free product of two residually finite p-groups with finite amalgamated subgroup to be a residually finite p-group. This result is a generalization of Higman’s theorem on the free product of two finite p-groups with amalgamated subgroup.     

Quantum quaternion spheres

For the quantum symplectic group SP _q (2n), we describe the C ^?-algebra of continuous functions on the quotient space S P _q (2n)/S P _q (2n?2) as an universal C ^?-algebra given by a finite set of generators and relations. The proof involves a careful analysis of the relations, and use of the branching rules for representations of the symplectic group due to Zhelobenko. We then exhibit a set of generators of the K-groups of this C ^?-algebra in terms of generators of the C ^?-algebra.     

Most small $${\varvec{}}$$-grous have an automorhism of order 2

Let f(p, n) be the number of pairwise nonisomorphic p-groups of order \(p^n\), and let g(p, n) be the number of groups of order \(p^n\) whose automorphism group is a p-group. We prove that the limit, as p grows to infinity, of the ratio g(p, n) / f(p, n) equals 1/3 for \(n=6,7\).     

Different prime <Emphasis Type="Italic">N</Emphasis>-ideals and IFP <Emphasis Type="Italic">N</Emphasis>-Ideals

We provide some characterizations of completely prime (completely semiprime) and 3-prime (3-semiprime) N-groups. The relationship between a 3-prime (completely prime) N-ideal P of an N-group Γ and the ideal (P: Γ) of the near-ring N is investigated. Moreover, the notion of IFP N-ideal is defined. We prove that the concept of IFP N-ideal occurs naturally where N is a left permutable (left self distributive, subcommutative) near-ring and Γ a monogenic N-group. Also, we obtain some relationships between an IFP N-ideal P of an N-group Γ and the ideal (P: Γ) of the near-ring N.     

<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.     

Some relations among multiplicative and <Emphasis Type="Italic">q</Emphasis>-additive functions

We give all solutions of the equation f(n) = g(n) + h(n) for every n ∈ ?, where f is a completely multiplicative, g is a 2-additive, and h is a 3-additive function. We also determine all completely multiplicative functions f and all q-additive functions g for which f(n) = g ²(n) for every n ∈ ?.     

Algebraically closed and existentially closed Abelian lattice-ordered groups

If \({\mathcal{G}}\) is an Abelian lattice-ordered (l-) group, then \({\mathcal{G}}\) is algebraically (existentially) closed just in case every finite system of l-group equations (equations and inequations), involving elements of \({\mathcal{G}}\), that is solvable in some Abelian l-group extending \({\mathcal{G}}\) is solvable already in \({\mathcal{G}}\). This paper establishes two systems of axioms for algebraically (existentially) closed Abelian l-groups, one more convenient for modeltheoretic applications and the other, discovered by Weispfenning, more convenient for algebraic applications. Among the model-theoretic applications are quantifierelimination results for various kinds of existential formulas, a new proof of the amalgamation property for Abelian l-groups, Nullstellensätze in Abelian l-groups, and the display of continuum-many elementary-equivalence classes of existentially closed Archimedean l-groups. The algebraic applications include demonstrations that the class of algebraically closed Abelian l-groups is a torsion class closed under arbitrary products, that the class of l-ideals of existentially closed Abelian l-groups is a radical class closed under binary products, and that various classes of existentially closed Abelian l-groups are closed under bounded Boolean products.     

On balanced colorings of the <Emphasis Type="Italic">n</Emphasis>-cube

A 2-coloring of the n-cube in the n-dimensional Euclidean space can be considered as an assignment of weights of 1 or 0 to the vertices. Such a colored n-cube is said to be balanced if its center of mass coincides with its geometric center. Let B _n,2k be the number of balanced 2-colorings of the n-cube with 2k vertices having weight 1. Palmer, Read, and Robinson conjectured that for n≥1, the sequence \(\{B_{n,2k}\}_{k=0,1,\ldots,2^{n-1}}\) is symmetric and unimodal. We give a proof of this conjecture. We also propose a conjecture on the log-concavity of B _n,2k for fixed k, and by probabilistic method we show that it holds when n is sufficiently large.     

Degree sum of a pair of independent edges and <Emphasis Type="Italic">Z</Emphasis><Subscript>3</Subscript>-connectivity

Let G be a 2-edge-connected simple graph on n vertices. For an edge e = uv ∈ E(G), define d(e) = d(u) + d(v). Let F denote the set of all simple 2-edge-connected graphs on n ≥ 4 vertices such that G ∈ F if and only if d(e) + d(e’) ≥ 2n for every pair of independent edges e, e’ of G. We prove in this paper that for each G ∈ F, G is not Z ₃-connected if and only if G is one of K _2,n?2, K _3,n?3, K _2,n?2 ⁺ , K _3,n?3 ⁺ or one of the 16 specified graphs, which generalizes the results of X. Zhang et al. [Discrete Math., 2010, 310: 3390–3397] and G. Fan and X. Zhou [Discrete Math., 2008, 308: 6233–6240].     

On <Emphasis Type="Italic">n</Emphasis>-cubic Pyramid Algebras

In this paper we study a class of algebras having n-dimensional pyramid shaped quiver with n-cubic cells, which we called n-cubic pyramid algebras. This class of algebras includes the quadratic dual of the basic n-Auslander absolutely n-complete algebras introduced by Iyama. We show that the projective resolutions of the simples of n-cubic pyramid algebras can be characterized by n-cuboids, and prove that they are periodic. So these algebras are almost Koszul and (n?1)-translation algebras. We also recover Iyama’s cone construction for n-Auslander absolutely n-complete algebras using n-cubic pyramid algebras and the theory of n-translation algebras.     

The characterization problem for designs with the parameters of AG<Subscript>d</Subscript>(<Emphasis Type="Italic">n</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)

We start a new characterization of the geometric 2-design AG _d (n,q) among all simple 2-designs with the same parameters by handling the cases d ∈ {1,2,3,n — 2}. For d ≠ 1, our characterization is in terms of line sizes, and for d = 1 in terms of the number of affine hyperplanes. We also show that the number of non-isomorphic resolvable designs with the parameters of AG₁(n,q) grows exponentially with linear growth of n.