On finite commutative IP-loops with elementary abelian inner mapping groups of order $p^5$

Markku Niemenmaa

Displaying similar documents to “On finite commutative IP-loops with elementary abelian inner mapping groups of order $p^{5}$ ”

On finite commutative loops which are centrally nilpotent

Emma Leppälä, Markku Niemenmaa (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $Q$ be a finite commutative loop and let the inner mapping group $I (Q) ≅ C_{p^{n}} \times C_{p^{n}}$ , where $p$ is an odd prime number and $n \geq 1$ . We show that $Q$ is centrally nilpotent of class two.

On sequences over a finite abelian group with zero-sum subsequences of forbidden lengths

Weidong Gao, Yuanlin Li, Pingping Zhao, Jujuan Zhuang (2016)

Colloquium Mathematicae

Similarity:

Let G be an additive finite abelian group. For every positive integer ℓ, let $d i s c_{ℓ} (G)$ be the smallest positive integer t such that each sequence S over G of length |S| ≥ t has a nonempty zero-sum subsequence of length not equal to ℓ. In this paper, we determine $d i s c_{ℓ} (G)$ for certain finite groups, including cyclic groups, the groups $G = C ₂ \oplus C_{2 m}$ and elementary abelian 2-groups. Following Girard, we define disc(G) as the smallest positive integer t such that every sequence S over G with |S| ≥ t has nonempty zero-sum...

Endomorphism kernel property for finite groups

Heghine Ghumashyan, Jaroslav Guričan (2022)

Mathematica Bohemica

Similarity:

A group $G$ has the endomorphism kernel property (EKP) if every congruence relation $θ$ on $G$ is the kernel of an endomorphism on $G$ . In this note we show that all finite abelian groups have EKP and we show infinite series of finite non-abelian groups which have EKP.

Number of solutions in a box of a linear equation in an Abelian group

Maciej Zakarczemny (2016)

Colloquium Mathematicae

Similarity:

For every finite Abelian group Γ and for all $g, a ₁, . . ., a_{k} \in Γ$ , if there exists a solution of the equation $\sum_{i = 1}^{k} a_{i} x_{i} = g$ in non-negative integers $x_{i} \leq b_{i}$ , where $b_{i}$ are positive integers, then the number of such solutions is estimated from below in the best possible way.

Self-small products of abelian groups

Josef Dvořák, Jan Žemlička (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $A$ and $B$ be two abelian groups. The group $A$ is called $B$ -small if the covariant functor $Hom (A, -)$ commutes with all direct sums $B^{(κ)}$ and $A$ is self-small provided it is $A$ -small. The paper characterizes self-small products applying developed closure properties of the classes of relatively small groups. As a consequence, self-small products of finitely generated abelian groups are described.

The evolution and Poisson kernels on nilpotent meta-abelian groups

Richard Penney, Roman Urban (2013)

Studia Mathematica

Similarity:

Let S be a semidirect product S = N⋊ A where N is a connected and simply connected, non-abelian, nilpotent meta-abelian Lie group and A is isomorphic to $ℝ^{k}$ , k>1. We consider a class of second order left-invariant differential operators on S of the form $ℒ_{α} = L^{a} + Δ_{α}$ , where $α \in ℝ^{k}$ , and for each $a \in ℝ^{k}, L^{a}$ is left-invariant second order differential operator on N and $Δ_{α} = Δ - ⟨ α, \nabla ⟩$ , where Δ is the usual Laplacian on $ℝ^{k}$ . Using some probabilistic techniques (e.g., skew-product formulas for diffusions on S and N respectively)...

On a generalization of Abelian sequential groups

Saak S. Gabriyelyan (2013)

Fundamenta Mathematicae

Similarity:

Let (G,τ) be a Hausdorff Abelian topological group. It is called an s-group (resp. a bs-group) if there is a set S of sequences in G such that τ is the finest Hausdorff (resp. precompact) group topology on G in which every sequence of S converges to zero. Characterizations of Abelian s- and bs-groups are given. If (G,τ) is a maximally almost periodic (MAP) Abelian s-group, then its Pontryagin dual group ${(G, τ)}^{\land}$ is a dense -closed subgroup of the compact group ${(G_{d})}^{\land}$ , where $G_{d}$ is the group G with...

On a translation property of positive definite functions

Lars Omlor, Michael Leinert (2010)

Banach Center Publications

Similarity:

If G is a locally compact group with a compact invariant neighbourhood of the identity e, the following property (*) holds: For every continuous positive definite function h≥ 0 with compact support there is a constant $C_{h} > 0$ such that $\int L_{x} h \cdot g \leq C_{h} \int h g$ for every continuous positive definite g≥0, where $L_{x}$ is left translation by x. In [L], property (*) was stated, but the above inequality was proved for special h only. That “for one h” implies “for all h” seemed obvious, but turned out not to be obvious at...

Automorphic loops and metabelian groups

Mark Greer, Lee Raney (2020)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Given a uniquely 2-divisible group $G$ , we study a commutative loop $(G, \circ)$ which arises as a result of a construction in “Engelsche elemente noetherscher gruppen” (1957) by R. Baer. We investigate some general properties and applications of “ $\circ$ ” and determine a necessary and sufficient condition on $G$ in order for $(G, \circ)$ to be Moufang. In “A class of loops categorically isomorphic to Bruck loops of odd order” (2014) by M. Greer, it is conjectured that $G$ is metabelian if and only if $(G, \circ)$ is an automorphic...

A property which ensures that a finitely generated hyper-(Abelian-by-finite) group is finite-by-nilpotent

Fares Gherbi, Nadir Trabelsi (2024)

Czechoslovak Mathematical Journal

Similarity:

Let $𝔐$ be the class of groups satisfying the minimal condition on normal subgroups and let $Ω$ be the class of groups of finite lower central depth, that is groups $G$ such that $γ_{i} (G) = γ_{i + 1} (G)$ for some positive integer $i$ . The main result states that if $G$ is a finitely generated hyper-(Abelian-by-finite) group such that for every $x \in G$ , there exists a normal subgroup $H_{x}$ of finite index in $G$ satisfying $〈 x, x^{h} 〉 \in 𝔐 Ω$ for every $h \in H_{x}$ , then $G$ is finite-by-nilpotent. As a consequence of this result, we prove that a finitely generated...

On dicyclic groups as inner mapping groups of finite loops

Emma Leppälä, Markku Niemenmaa (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $G$ be a finite group with a dicyclic subgroup $H$ . We show that if there exist $H$ -connected transversals in $G$ , then $G$ is a solvable group. We apply this result to loop theory and show that if the inner mapping group $I (Q)$ of a finite loop $Q$ is dicyclic, then $Q$ is a solvable loop. We also discuss a more general solvability criterion in the case where $I (Q)$ is a certain type of a direct product.

Nonassociative triples in involutory loops and in loops of small order

Aleš Drápal, Jan Hora (2020)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A loop of order $n$ possesses at least $3 n^{2} - 3 n + 1$ associative triples. However, no loop of order $n > 1$ that achieves this bound seems to be known. If the loop is involutory, then it possesses at least $3 n^{2} - 2 n$ associative triples. Involutory loops with $3 n^{2} - 2 n$ associative triples can be obtained by prolongation of certain maximally nonassociative quasigroups whenever $n - 1$ is a prime greater than or equal to $13$ or $n - 1 = p^{2 k}$ , $p$ an odd prime. For orders $n \leq 9$ the minimum number of associative triples is reported for both general...

On the Davenport constant and group algebras

Daniel Smertnig (2010)

Colloquium Mathematicae

Similarity:

For a finite abelian group G and a splitting field K of G, let (G,K) denote the largest integer l ∈ ℕ for which there is a sequence $S = g ₁ \cdot . . . \cdot g_{l}$ over G such that $(X^{g ₁} - a ₁) \cdot . . . \cdot (X^{g_{l}} - a_{l}) \neq 0 \in K [G]$ for all $a ₁, . . ., a_{l} \in K^{\times}$ . If (G) denotes the Davenport constant of G, then there is the straightforward inequality (G) - 1 ≤ (G,K). Equality holds for a variety of groups, and a conjecture of W. Gao et al. states that equality holds for all groups. We offer further groups for which equality holds, but we also give the first examples of groups G for...

Isolated subgroups of finite abelian groups

Marius Tărnăuceanu (2022)

Czechoslovak Mathematical Journal

Similarity:

We say that a subgroup $H$ is isolated in a group $G$ if for every $x \in G$ we have either $x \in H$ or $〈 x 〉 \cap H = 1$ . We describe the set of isolated subgroups of a finite abelian group. The technique used is based on an interesting connection between isolated subgroups and the function sum of element orders of a finite group.

Universal acyclic resolutions for arbitrary coefficient groups

Michael Levin (2003)

Fundamenta Mathematicae

Similarity:

We prove that for every compactum X and every integer n ≥ 2 there are a compactum Z of dimension ≤ n+1 and a surjective $U V^{n - 1}$ -map r: Z → X such that for every abelian group G and every integer k ≥ 2 such that $d i m_{G} X \leq k \leq n$ we have $d i m_{G} Z \leq k$ and r is G-acyclic.

Completely bounded lacunary sets for compact non-abelian groups

Kathryn Hare, Parasar Mohanty (2015)

Studia Mathematica

Similarity:

In this paper, we introduce and study the notion of completely bounded $Λ_{p}$ sets ( $Λ_{p}^{c b}$ for short) for compact, non-abelian groups G. We characterize $Λ_{p}^{c b}$ sets in terms of completely bounded $L^{p} (G)$ multipliers. We prove that when G is an infinite product of special unitary groups of arbitrarily large dimension, there are sets consisting of representations of unbounded degree that are $Λ_{p}$ sets for all p < ∞, but are not $Λ_{p}^{c b}$ for any p ≥ 4. This is done by showing that the space of completely bounded $L^{p} (G)$ ...

How to construct a Hovey triple from two cotorsion pairs

James Gillespie (2015)

Fundamenta Mathematicae

Similarity:

Let be an abelian category, or more generally a weakly idempotent complete exact category, and suppose we have two complete hereditary cotorsion pairs $(, \tilde{})$ and $(\tilde{},)$ in satisfying $\tilde{} \subseteq$ and $\cap \tilde{} = \tilde{} \cap$ . We show how to construct a (necessarily unique) abelian model structure on with (resp. $\tilde{}$ ) as the class of cofibrant (resp. trivially cofibrant) objects, and (resp. $\tilde{}$ ) as the class of fibrant (resp. trivially fibrant) objects.

The density of representation degrees

Martin Liebeck, Dan Segal, Aner Shalev (2012)

Journal of the European Mathematical Society

Similarity:

For a group $G$ and a positive real number $x$ , define $d_{G} (x)$ to be the number of integers less than $x$ which are dimensions of irreducible complex representations of $G$ . We study the asymptotics of $d_{G} (x)$ for algebraic groups, arithmetic groups and finitely generated linear groups. In particular we prove an “alternative” for finitely generated linear groups $G$ in characteristic zero, showing that either there exists $α > 0$ such that $d_{G} (x) > x^{α}$ for all large $x$ , or $G$ is virtually abelian (in which case $d_{G} (x)$ is bounded). ...

Displaying similar documents to “On finite commutative IP-loops with elementary abelian inner mapping groups of order p 5 ”

Displaying similar documents to “On finite commutative IP-loops with elementary abelian inner mapping groups of order $p^{5}$ ”