The fraction of the bijections generating the near-ring of 0-preserving functions. (Q2580942)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The fraction of the bijections generating the near-ring of 0-preserving functions.
scientific article

    Statements

    The fraction of the bijections generating the near-ring of 0-preserving functions. (English)
    0 references
    0 references
    10 January 2006
    0 references
    Let \(G\) be an additively written finite group which may not be Abelian, and let \(0\) denote the identity element of \(G\). The article under review concerns the zero-symmetric nearring \(M_0(G)=\{f\colon G\to G\mid f(0)=0\}\). Denote by \(B_0(G)\) the set of all bijections on \(G\), and \(\text{Inv}(G)\) the set of all involutions (elements of order~\(2\)) in \(M_0(G)\). A mapping \(f\in B_0(G)\) may or may not generate \(M_0(G)\) as a nearring. Let \(m=|B_0(G)|\) and \(n=|\{f\in B_0(G)\mid f\) generates \(M_0(G)\}|\), and define \(p(G)=n/m\). Also put \(q(G)=1-p(G)\). The main theorem asserts that (1) \(q(G)\geq|\text{Inv}(G)|/2(|G|-1)\), and (2) there is an \(n_0\geq 0\) such that if \(|G|\geq n_0\), then \(q(G)\leq\text{Inv}(G)/(|G|-1)+3|G|^{-2/3}\). Note that a mapping \(f\in B_0(G)\) can generate \(M_0(G)\) only if it is not contained in a maximal subnearring of \(M_0(G)\). Thus, the proof of the theorem makes use of a previous article of the author [Commun. Algebra 33, No. 8, 2499-2518 (2005; Zbl 1081.16050)] on the characterization of the maximal subnearrings of \(M_0(G)\).
    0 references
    0 references
    zero-symmetric near-rings
    0 references
    0-completeness
    0 references
    maximal subnearrings
    0 references
    finite groups
    0 references

    Identifiers