Related papers: Quadratic reciprocity in a finite group

Lagrange's Four Squares Theorem states that any positive integer can be expressed as the sum of four integer squares. We investigate the analogous question over Quaternion rings, focusing on squares of elements of Quaternion rings with…

Arithmetical properties of a finite group are properties of the group which are defined by its arithmetical parameters such as the order of the group, the element orders and so on. In this paper, we discuss a number of results on…

In this short note we introduce a new metric on certain finite groups. It leads to a class of groups for which the element orders satisfy an interesting inequality. This extends the class CP_2 studied in our previous paper [16].

Parshin's higher Witt pairing on an arithmetic surface can be combined with the higher tame pairing to form a symbol taking values in the absolute abelian Galois group of the function field. We prove reciprocity laws for this symbol using…

A tubular group $G$ is a finite graph of groups with $\mathbb{Z}^2$ vertex groups and $\mathbb{Z}$ edge groups. We characterize residually finite tubular groups: $G$ is residually finite if and only if its edge groups are separable. Methods…

The symbol is used to describe the Springer correspondence for the classical groups. We propose equivalent definitions of symbols for rigid partitions in the $B_n$, $C_n$, and $D_n$ theories uniformly. Analysing the new definition of symbol…

We discuss an unusual phenomenon in (integral) positive ternary quadratic forms. We also describe an interesting pairing of genera of ternary forms.

We define a class of finite groups based on the properties of the closed twins of their power graphs and study the structure of those groups. As a byproduct, we obtain results about finite groups admitting a partition by cyclic subgroups.

We apply the orbit method to obtain formula for multiplicities of certain representations of unipotent groups over the finite field.

In this paper we determine sufficient conditions for a quaternion algebra to split over a quadratic field. In the last section of the paper, we find a class of division symbol algebras of degree $n$ (where $n$ is a positive integer, $n\geq…

An extension of Quantum Group is described. We propose to unite the quantum groups with parameter q and with parameter modularly dual to q.

In this paper, the association scheme defined on the flags of a finite generalized quadrangle is considered. All possible fusions of this scheme are listed, and a full description for those of classes 2 and 3 is given. Furthermore, it is…

We characterize positive definiteness for some family of matrices. As an application we derive explicit value of the quadratic embedding constants of the path graphs.

We consider an arbitrary representation of the additive group over a field of characteristic zero and give an explicit description of a finite separating set in the corresponding ring of invariants.

We will explore the nature of when certain finite groups have an equal covering, and when finite groups do not. Not to be confused with the concept of a cover group, a covering of a group is a collection of proper subgroups whose…

On an algebraic curve there are Tate symbols, which satisfy Weil reciprocity law. The analogues in higher dimensions are the Parshin symbols, which satisfy Kato-Parshin reciprocity laws. We give a refinement of the Parshin symbol for…

We describe an explicit symplectic resolution for the quotient singularity arising from the four-dimensional symplectic represenation of the binary tetrahedral group.

We define an algebra of contravariant symbols on $S^2$ and give an algebraic proof of the Correspondence Principle for that algebra.

In this article, we introduce and study the concept of the exponent of a cyclic code over a finite field $\mathbb{F}_q.$ We give a relation between the exponent of a cyclic code and its dual code. Finally, we introduce and determine the…

A Latin square of order $n$ with symbols $a_1,\ldots,a_n$ can be considered as a multiplication table for binary operation in the set $A=\{a_1,\ldots,a_n\}$. We prove that, if this operation is associative, then $A$ is a group.