arXiv:1803.08347v1 [math.GR] 22 Mar 2018

A Note on Matching in Groups and Field Extensions

∗

Babak Hassanzadeh
Department of Mathematics, Azarbaijan shahid Madani University,
Tbriz, Iran
E-mail address: babakmath777@gmail.com

Abstract

The purpose of this note is to give a number of open problems on matching
theory and their relation to the well-known results in this area. We also give
a linear analogue of the acyclic matchings.

1

Results and Discussion

Definition 1. Assume that G is an abelian group and A and B are two non-empty
finite subsets of G with |A| = |B|. A matching from A to B is a bijection f : A → B
∗

Key Words: Acyclic matching, matchable bases, strong matching.

1

satisfying a + f (a) 6∈ A, for any a ∈ A. Also for any matching f : A → B, we define
the function mf as follows:
mf : G → N ∪ {0}
x 7→ |{a ∈ A; a + f (a) = x}| .
A matching f is called to be acyclic if for any matching g : A → B with mf = mg ,
we have f = g.
We say G has the (acyclic) matching property if for any finite non-empty subsets A
and B of G with |A| = |B| and 0 6∈ B, there exists at least one (acyclic) matching
from A to B.
We have the following theorems about the matching property:
Theorem 1. ([8, Theorem 3.1]) An abelian group G has the matching property if
and only if G is either torsion free or cyclic of prime order.
Theorem 2. ([8, Theorem 4.1]) If G is abelian torsion-free group, then G has the
acyclic matching property.
Theorem 3. ([2, Prop 2.2 and 2.3]) There are infinitely many prime p for which
Z/pZ has no acyclic matching property.
Conjecture 1. There are infinitely many prime p for which Z/pZ has the acyclic
matching property.
Problem 1. It would be interesting to find some families of primes {pi } such that
Z/pi Z has no matching property. (We already found two such families in [2].) One
can use the local matching property in groups to formulate such primes [3].
2

Definition 2. Let K ⊆ L be a field extension and A and B be two n-dimensional
K-subspaces of L and A = {a2 , . . . , an } and B = {b1 , . . . , bn } be bases for A and B,
respectively. We say A is matched to B if
ˆ
a−1
i A ∩ B ⊆ hb1 , . . . , bi , . . . , bn i,
for any 1 ≤ i ≤ n.
Also, we say A is matched to B if for any basis A of A, there exists a basis B of B
such that A is matched to B.
Definition 3. A strong matching from A to B is a linear isomorphism ϕ : A → B
such that any basis A of A is matched to the basis ϕ(A) of B.

We have the following theorems:
Theorem 4. ([7, Theorem 6.3]) Let A and B be n-dimensional K-subspaces of L
distinct from {0}. There is a strong matching from A to B if and only if AB ∩ A =
{0}. In this case, any isomorphism ϕ : A → B is a strong matching.
Definition 4. If K ⊆ L is a field extension, we say that it has the linear matching
property if for any two n-dimensional K-subspaces A and B of L with n ≥ 1 and
1 6∈ B, A is matched to B.

The following theorem is about the characterization of all field extensions satisfying the linear matching property.

3

Theorem 5. ([7, Theorem 5.2]) Let K ⊆ L be a field extension. Then it has
the linear matching property if and only if L contains no proper finite-dimensional
extension over K. See also [1] for the more precise version of THeorem 5.

Our definition of the linear acyclic matching property:
Definition 5. We say that two linear isomorphism f, g : A → B are equivalent
if there exists a linear automorphism φ : A → A such that for all a ∈ A one has
af (a) = φ(a)g(φ(a)), and two strong matchings f, g : A → B are equivalent if they
are equivalent as linear isomorphism. Then, we define a acyclic matching from A to
B to be a strong matching f : A → B such that for any strong matching g : A → B
that is equivalent to f , one has f = cg, for some constant c ∈ K. Finally we say
that K ⊆ L satisfies the linear acyclic matching property if for every pair A nad
B of non-zero equi-dimensional K-subspace of L with AB ∩ A = {0}, there is at
least one acyclic matching from A to B. See [4 and 5] for more details on linear
analogous of matchings.
Theorem 6. ([1, Theorem 4.5]) Let K ⊆ L be a purely transcendental field extension of a field K. Then K ⊆ L satisfies the linear acyclic matching property.
Conjecture 2. There are infinitely many prime p such that there exists a field
extension K ⊆ L with [L : K] = p and no linear acyclic matching property.

The main possible key to solve Conjecture 2 is an elementary linear algebra
theorem which states that a finite dimensional vector space over an infinite field
4

cannot be written as a finite union of its proper subspaces [6].

References
[1] S. Akbari, M. Aliabadi, Erratum to: Matching subspaces in a field extensions, arXiv:
1507.06983.
[2] M. Aliabadi, M. Hadian, A. Jafari, On matching property in groups and vector spaces.
J. Algebra Appl, Volume 15, No. 1 (2016). 165001.
[3] M. Aliabadi, M. J. Janardhanan, On local matching property in groups and vector
spaces, Australas. J. Combin. 70 (2018), 75-85.
[4] M. Aliabadi, M. R. Darafsheh, On maximal and minimal linear matching property,
Algebra Discrete Math. 15(2013), no. 2, 174-178.
[5] M. Aliabadi, H. Jolany, A. Khajohnejad, M. J. Moghaddamzadeh, H. Shahmohamad,
Acyclicity for groups and vector spaces, Southeast Asian Bulletin of Mathematics (2017)
41: 797-805.
[6] M. Aliabadi, Sh. Friedland, Linear algebra and matrices, Society for Industrial and
Applied Mathematics (SIAM), Philadelphia, PA, 2018. ISBN: 978-1-611975-13-0.
[7] S. Eliahou, C. Lecouvey, Matching subspaces in a field extension, J. Algebra. 324
(2010), 3420-3430.
[8] J. Losonzcy, On matching in groups, Adv. In Appl, Math. 20 (1998), 385-391.

5

